Ivo Krka

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