Ivo Krka

Publication Activity (10 Years)

Years Active: 2008-2017
Publications (10 Years): 2

Top Topics

Concurrent Systems

Top Venues

IEEE Trans. Serv. Comput.

Publications

Julia Proskurnia, Marc-Allen Cartright, Lluis Garcia Pueyo, Ivo Krka, James B. Wendt, Tobias Kaufmann, Balint Miklos
Template Induction over Unstructured Email Corpora. WWW (2017)
James B. Wendt, Michael Bendersky, Lluis Garcia Pueyo, Vanja Josifovski, Balint Miklos, Ivo Krka, Amitabh Saikia, Jie Yang, Marc-Allen Cartright, Sujith Ravi
Hierarchical Label Propagation and Discovery for Machine Generated Email. WSDM (2016)
Chris A. Mattmann, Joshua Garcia, Ivo Krka, Daniel Popescu, Nenad Medvidovic
Revisiting the Anatomy and Physiology of the Grid. J. Grid Comput. 13 (1) (2015)
Ivo Krka, Nenad Medvidovic
Component-Aware Triggered Scenarios. WICSA (2014)
Ivo Krka, Yuriy Brun, Nenad Medvidovic
Automatic mining of specifications from invocation traces and method invariants. SIGSOFT FSE (2014)
Marin Silic, Goran Delac, Ivo Krka, Sinisa Srbljic
Scalable and Accurate Prediction of Availability of Atomic Web Services. IEEE Trans. Serv. Comput. 7 (2) (2014)
Ivo Krka, Nicolás D'Ippolito, Nenad Medvidovic, Sebastián Uchitel
Revisiting Compatibility of Input-Output Modal Transition Systems. FM (2014)
Ivo Krka, Nenad Medvidovic
Distributing refinements of a system-level partial behavior model. RE (2013)
Joshua Garcia, Ivo Krka, Chris Mattmann, Nenad Medvidovic
Obtaining ground-truth software architectures. ICSE (2013)
Jae Young Bang, Ivo Krka, Nenad Medvidovic, Naveen N. Kulkarni, Srinivas Padmanabhuni
How software architects collaborate: Insights from collaborative software design in practice. CHASE@ICSE (2013)
Ivo Krka, Nenad Medvidovic
Revisiting modal interface automata. FormSERA@ICSE (2012)
Joshua Garcia, Ivo Krka, Nenad Medvidovic, Chris Douglas
A Framework for Obtaining the Ground-Truth in Architectural Recovery. WICSA/ECSA (2012)
Leslie Cheung, Ivo Krka, Leana Golubchik, Nenad Medvidovic
Architecture-level reliability prediction of concurrent systems. ICPE (2012)
Nenad Medvidovic, Hossein Tajalli, Joshua Garcia, Ivo Krka, Yuriy Brun, George Edwards
Engineering Heterogeneous Robotics Systems: A Software Architecture-Based Approach. Computer 44 (5) (2011)
Ivo Krka, Leana Golubchik, Nenad Medvidovic
Probabilistic automata for architecture-based reliability assessment. QUOVADIS@ICSE (2010)
Ivo Krka
From requirements to partial behavior models: an iterative approach to incremental specification refinement. SIGSOFT FSE (2010)
Sam Malek, George Edwards, Yuriy Brun, Hossein Tajalli, Joshua Garcia, Ivo Krka, Nenad Medvidovic, Marija Mikic-Rakic, Gaurav S. Sukhatme
An architecture-driven software mobility framework. J. Syst. Softw. 83 (6) (2010)
Ivo Krka, Yuriy Brun, Daniel Popescu, Joshua Garcia, Nenad Medvidovic
Using dynamic execution traces and program invariants to enhance behavioral model inference. ICSE (2) (2010)
Ivo Krka, George Edwards, Yuriy Brun, Nenad Medvidovic
From system specifications to component behavioral models. ICSE Companion (2009)
Ivo Krka, Yuriy Brun, George Edwards, Nenad Medvidovic
Synthesizing partial component-level behavior models from system specifications. ESEC/SIGSOFT FSE (2009)
Chris Mattmann, Joshua Garcia, Ivo Krka, Daniel Popescu, Nenad Medvidovic
The anatomy and physiology of the grid revisited. WICSA/ECSA (2009)
Ivo Krka, George Edwards, Leslie Cheung, Leana Golubchik, Nenad Medvidovic
A Comprehensive Exploration of Challenges in Architecture-Based Reliability Estimation. WADS (2008)