An Architecture-Driven Software
Mobility Framework (PDF) Sam Malek, George Edwards, Yuriy Brun,
Hossein Tajalli, Joshua Garcia, Ivo Krka, Nenad Medvidovic, Marija
Mikic-Rakic, Gaurav Sukhatme
Journal of Systems and Software, 83(6), June 2010.
A Comprehensive Exploration of
Challenges in Architecture-based Reliability Estimation (PDF) Ivo Krka, George Edwards, Leslie Cheung, Leana Golubchik, Nenad Medvidovic
Architecting Dependable Systems VI, Lecture Notes in Computer
Science, 2009.
Conference Publications
Synthesizing Partial Component-Level
Behavior Models from System Specifications (PDF) Ivo Krka, Yuriy Brun, George Edwards, Nenad Medvidovic
The 7th Joint Meeting of the European Software Engineering
Conference and ACM SIGSOFT Symposium on the Foundations of Software
Engineering (ESEC/FSE09), Amsterdam, Netherlands, August 2009.
(acceptance rate 15%)
Short Papers and Workshop Publications
From Requirements to Partial Behavior
Models: an Iterative Approach to Incremental Specification
Refinement (PDF) Ivo
Krka
Doctoral Symposium, the 18th ACM SIGSOFT Symposium on the
Foundations of Software Engineering (FSE10), Santa Fe, USA, November
2010.
Using Dynamic Execution Traces and
Program Invariants to Enhance Behavioral Model Inference (PDF) Ivo
Krka, Yuriy Brun, Daniel Popescu, Joshua Garcia, Nenad Medvidovic
New Ideas and Emerging Results Track of the 32nd International
Conference on Software Engineering (ICSE10 NIER), Cape Town, South
Africa, May 2010. (acceptance rate 25%)
Probabilistic Automata for
Architecture-Based Reliability Assessment (PDF) Ivo
Krka, Leana Golubchik, Nenad Medvidovic
ICSE 2010 Workshop on Quantitative Stochastic Models in the
Verification and Design of Software Systems (QUOVADIS10), Cape Town,
South Africa, May 2010. (acceptance rate 50%)
The Anatomy and Physiology of the Grid
Revisited (PDF) Chris A. Mattmann, Joshua Garcia,
Ivo
Krka, Daniel Popescu, Nenad Medvidovic
Joint Working IEEE/IFIP Conference on Software Architecture &
European Conference on Software Architecture (WICSA/ECSA09),
Cambridge, UK, September 2009. (acceptance rate 48%)
Synthesizing and Utilizing
Partial-Behavior Models During Requirements Elicitation (PDF) Ivo
Krka
Doctoral Symposium, the 7th Joint Meeting of the European Software Engineering
Conference and ACM SIGSOFT Symposium on the Foundations of Software
Engineering (ESEC/FSE09), Amsterdam, Netherlands, August 2009.
From System Specifications to Component
Behavioral Models (PDF) Ivo Krka, George Edwards, Yuriy Brun,
Nenad Medvidovic
New Ideas and Emerging Results Track of the 31st International
Conference on Software Engineering (ICSE09 NIER), Vancouver,
Canada, May 2009. (acceptance rate 33%)
Architecture-Based Software Reliability
Estimation: Problem Space, Challenges, and Strategies (PDF) Ivo Krka, Leslie Cheung, George Edwards, Leana Golubchik, Nenad Medvidovic
DSN 2008 Workshop on Architecting Dependable
Systems (WADS08), Anchorage, AK, USA, June 2008. (acceptance rate
37%)
Theses and Non-Refereed Publications
Personalized Navigation System Based on
Service Composition Ivo Krka
Diploma Thesis (in Croatian), Faculty of Electrical Engineering and
Computing, University of Zagreb, Croatia, May 2007.
Geographic Navigation System Simulation Ivo Krka
Exploring ICT Frontiers: Agents, IP Multimedia Subsystem, and
Distributed Computing (eds. Sasa Desic et al.), Technical Report
ETK/D-SC2005, Ericsson Nikola Tesla, Zagreb, Croatia, September
2005.
The University of Southern California does not screen or control the content on this website and thus does not guarantee the accuracy, integrity, or quality of such content. All content on this website is provided by and is the sole responsibility of the person from which such content originated, and such content does not necessarily reflect the opinions of the University administration or the Board of Trustees