Follow
Ivo Krka
Ivo Krka
Vivodyne
Verified email at diffine.com - Homepage
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
159*2014
Obtaining ground-truth software architectures
J Garcia, I Krka, C Mattmann, N Medvidovic
2013 35th International Conference on Software Engineering (ICSE), 901-910, 2013
1072013
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
812010
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
66*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
612013
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
48*2016
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
35*2009
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
30*2017
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
212012
Revisiting the Anatomy and Physiology of the Grid
CA Mattmann, J Garcia, I Krka, D Popescu, N Medvidovic
Journal of Grid Computing 13, 19-34, 2015
20*2015
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
182010
Component-aware triggered scenarios
I Krka, N Medvidovic
2014 IEEE/IFIP Conference on Software Architecture, 129-138, 2014
142014
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
142010
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
122012
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
112017
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
112013
Distributing refinements of a system-level partial behavior model
I Krka, N Medvidovic
2013 21st IEEE International Requirements Engineering Conference (RE), 72-81, 2013
9*2013
Revisiting compatibility of input-output modal transition systems
I Krka, N D’Ippolito, N Medvidović, S Uchitel
FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16 …, 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