A Comprehensive Exploration of Challenges in Architecture-Based Reliability Estimation. - Ivo Krka; George Edwards; Leslie Cheung; Leana Golubchik; Nenad Medvidovic (WADS, 2008)

From system specifications to component behavioral models. - Ivo Krka; George Edwards; Yuriy Brun; Nenad Medvidovic (ICSE Companion, 2009)

Synthesizing partial component-level behavior models from system specifications. - Ivo Krka; Yuriy Brun; George Edwards; Nenad Medvidovic (ESEC/SIGSOFT FSE, 2009)

The anatomy and physiology of the grid revisited. - Chris Mattmann; Joshua Garcia; Ivo Krka; Daniel Popescu 001; Nenad Medvidovic (WICSA/ECSA, 2009)

Using dynamic execution traces and program invariants to enhance behavioral model inference. - Ivo Krka; Yuriy Brun; Daniel Popescu 001; Joshua Garcia; Nenad Medvidovic (ICSE (2), 2010)

Probabilistic automata for architecture-based reliability assessment. - Ivo Krka; Leana Golubchik; Nenad Medvidovic (QUOVADIS@ICSE, 2010)

From requirements to partial behavior models: an iterative approach to incremental specification refinement. - Ivo Krka (SIGSOFT FSE, 2010)

An architecture-driven software mobility framework. - Sam Malek; George Edwards; Yuriy Brun; Hossein Tajalli; Joshua Garcia; Ivo Krka; Nenad Medvidovic; Marija Mikic-Rakic; Gaurav S. Sukhatme (J. Syst. Softw., 2010)

Engineering Heterogeneous Robotics Systems: A Software Architecture-Based Approach. - Nenad Medvidovic; Hossein Tajalli; Joshua Garcia; Ivo Krka; Yuriy Brun; George Edwards (Computer, 2011)

Revisiting modal interface automata. - Ivo Krka; Nenad Medvidovic (FormSERA@ICSE, 2012)

A Framework for Obtaining the Ground-Truth in Architectural Recovery. - Joshua Garcia; Ivo Krka; Nenad Medvidovic; Chris Douglas (WICSA/ECSA, 2012)

Architecture-level reliability prediction of concurrent systems. - Leslie Cheung; Ivo Krka; Leana Golubchik; Nenad Medvidovic (ICPE, 2012)

How software architects collaborate: Insights from collaborative software design in practice. - Jae Young Bang; Ivo Krka; Nenad Medvidovic; Naveen N. Kulkarni; Srinivas Padmanabhuni (CHASE@ICSE, 2013)

Obtaining ground-truth software architectures. - Joshua Garcia; Ivo Krka; Chris Mattmann; Nenad Medvidovic (ICSE, 2013)

Distributing refinements of a system-level partial behavior model. - Ivo Krka; Nenad Medvidovic (RE, 2013)

Revisiting Compatibility of Input-Output Modal Transition Systems. - Ivo Krka; Nicolás D'Ippolito; Nenad Medvidovic; Sebastián Uchitel (FM, 2014)

Automatic mining of specifications from invocation traces and method invariants. - Ivo Krka; Yuriy Brun; Nenad Medvidovic (SIGSOFT FSE, 2014)

Component-Aware Triggered Scenarios. - Ivo Krka; Nenad Medvidovic (WICSA, 2014)

Scalable and Accurate Prediction of Availability of Atomic Web Services. - Marin Silic; Goran Delac; Ivo Krka; Sinisa Srbljic (IEEE Trans. Serv. Comput., 2014)

Revisiting the Anatomy and Physiology of the Grid. - Chris A. Mattmann; Joshua Garcia; Ivo Krka; Daniel Popescu 001; Nenad Medvidovic (J. Grid Comput., 2015)

Hierarchical Label Propagation and Discovery for Machine Generated Email. - James B. Wendt; Michael Bendersky; Lluis Garcia Pueyo; Vanja Josifovski; Balint Miklos; Ivo Krka; Amitabh Saikia; Jie Yang; Marc-Allen Cartright; Sujith Ravi (WSDM, 2016)

Template Induction over Unstructured Email Corpora. - Julia Proskurnia; Marc-Allen Cartright; Lluis Garcia Pueyo; Ivo Krka; James B. Wendt; Tobias Kaufmann 004; Balint Miklos (WWW, 2017)