Ivo Krka
Title
Cited by
Cited by
Year
Automatic mining of specifications from invocation traces and method invariants
I Krka, Y Brun, N Medvidovic
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations …, 2014
127*2014
An architecture-driven software mobility framework
S Malek, G Edwards, Y Brun, H Tajalli, J Garcia, I Krka, N Medvidovic, ...
Journal of Systems and Software 83 (6), 972-989, 2010
752010
Obtaining ground-truth software architectures
J Garcia, I Krka, C Mattmann, N Medvidovic
2013 35th International Conference on Software Engineering (ICSE), 901-910, 2013
652013
Synthesizing partial component-level behavior models from system specifications
I Krka, Y Brun, G Edwards, N Medvidovic
Proceedings of the 7th joint meeting of the European software engineering …, 2009
60*2009
Scalable and accurate prediction of availability of atomic web services
M Silic, G Delac, I Krka, S Srbljic
IEEE Transactions on Services Computing 7 (2), 252-264, 2013
492013
A comprehensive exploration of challenges in architecture-based reliability estimation
I Krka, G Edwards, L Cheung, L Golubchik, N Medvidovic
Architecting Dependable Systems VI, 202-227, 2009
32*2009
Hierarchical label propagation and discovery for machine generated email
JB Wendt, M Bendersky, L Garcia-Pueyo, V Josifovski, B Miklos, I Krka, ...
Proceedings of the Ninth ACM International Conference on Web Search and Data …, 2016
30*2016
Engineering heterogeneous robotics systems: A software architecture-based approach
N Medvidovic, H Tajalli, J Garcia, I Krka, Y Brun, G Edwards
Computer 44 (5), 62-71, 2010
192010
Revisiting the Anatomy and Physiology of the Grid
CA Mattmann, J Garcia, I Krka, D Popescu, N Medvidovic
Journal of Grid Computing 13 (1), 19-34, 2015
18*2015
A framework for obtaining the ground-truth in architectural recovery
J Garcia, I Krka, N Medvidovic, C Douglas
2012 Joint Working IEEE/IFIP Conference on Software Architecture and …, 2012
152012
Template induction over unstructured email corpora
J Proskurnia, MA Cartright, L Garcia-Pueyo, I Krka, JB Wendt, T Kaufmann, ...
Proceedings of the 26th International Conference on World Wide Web, 1521-1530, 2017
13*2017
Component-aware triggered scenarios
I Krka, N Medvidovic
2014 IEEE/IFIP Conference on Software Architecture, 129-138, 2014
122014
Probabilistic automata for architecture-based reliability assessment
I Krka, L Golubchik, N Medvidovic
Proceedings of the 2010 ICSE Workshop on Quantitative Stochastic Models in …, 2010
122010
How software architects collaborate: Insights from collaborative software design in practice
JY Bang, I Krka, N Medvidovic, N Kulkarni, S Padmanabhuni
2013 6th International Workshop on Cooperative and Human Aspects of Software …, 2013
102013
Architecture-level reliability prediction of concurrent systems
L Cheung, I Krka, L Golubchik, N Medvidovic
Proceedings of the 3rd ACM/SPEC International Conference on Performance …, 2012
102012
Systems and methods for estimating message similarity
I Krka, I Gilad, K Kurach, A Dai, L MacDermed, PJ Liu, B Miklos, A Damian
US Patent 9,774,553, 2017
72017
Distributing refinements of a system-level partial behavior model
I Krka, N Medvidovic
2013 21st IEEE International Requirements Engineering Conference (RE), 72-81, 2013
7*2013
Revisiting compatibility of input-output modal transition systems
I Krka, N D’Ippolito, N Medvidović, S Uchitel
International Symposium on Formal Methods, 367-381, 2014
6*2014
Deriving component-level behavior models from scenario-based requirements
I Krka
University of Southern California, 2014
5*2014
Requirements management for netcentric enterprises—Final report (Technical report SERC-2011-TR-021). Hoboken, NJ: Stevens Institute of Technology
DA Bodner, N Medvidovic, JA Lane, BW Boehm, WC Kessler, WB Rouse, ...
Systems Engineering Research Center, 2011
12011
The system can't perform the operation now. Try again later.
Articles 1–20