Ivo Krka
Ivo Krka
Bestätigte E-Mail-Adresse bei google.com - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
145*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
792010
Obtaining ground-truth software architectures
J Garcia, I Krka, C Mattmann, N Medvidovic
2013 35th International Conference on Software Engineering (ICSE), 901-910, 2013
762013
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
64*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
532013
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
37*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
34*2009
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
19*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
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
16*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
162012
Component-aware triggered scenarios
I Krka, N Medvidovic
2014 IEEE/IFIP Conference on Software Architecture, 129-138, 2014
132014
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
132010
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
122013
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
Distributing refinements of a system-level partial behavior model
I Krka, N Medvidovic
2013 21st IEEE International Requirements Engineering Conference (RE), 72-81, 2013
8*2013
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
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20