Ivo Krka

According to our database, Ivo Krka authored at least 22 papers between 2008 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Template Induction over Unstructured Email Corpora.

Julia Proskurnia, Marc-Allen Cartright, Lluis Garcia Pueyo, Ivo Krka, James B. Wendt, Tobias Kaufmann, Balint Miklos

Proceedings of the 26th International Conference on World Wide Web, 2017

2016

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

Proceedings of the Ninth ACM International Conference on Web Search and Data Mining, 2016

2015

Revisiting the Anatomy and Physiology of the Grid.

Chris A. Mattmann, Joshua Garcia, Ivo Krka, Daniel Popescu, Nenad Medvidovic

J. Grid Comput., 2015

2014

Scalable and Accurate Prediction of Availability of Atomic Web Services.

Marin Silic, Goran Delac, Ivo Krka, Sinisa Srbljic

IEEE Trans. Serv. Comput., 2014

Component-Aware Triggered Scenarios.

Ivo Krka, Nenad Medvidovic

Proceedings of the 2014 IEEE/IFIP Conference on Software Architecture, 2014

Automatic mining of specifications from invocation traces and method invariants.

Ivo Krka, Yuriy Brun, Nenad Medvidovic

Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

Revisiting Compatibility of Input-Output Modal Transition Systems.

Ivo Krka, Nicolás D'Ippolito, Nenad Medvidovic, Sebastián Uchitel

Proceedings of the FM 2014: Formal Methods, 2014

2013

Distributing refinements of a system-level partial behavior model.

Ivo Krka, Nenad Medvidovic

Proceedings of the 21st IEEE International Requirements Engineering Conference, 2013

Obtaining ground-truth software architectures.

Joshua Garcia, Ivo Krka, Chris Mattmann, Nenad Medvidovic

Proceedings of the 35th International Conference on Software Engineering, 2013

How software architects collaborate: Insights from collaborative software design in practice.

Jae Young Bang, Ivo Krka, Nenad Medvidovic, Naveen N. Kulkarni, Srinivas Padmanabhuni

Proceedings of the 6th International Workshop on Cooperative and Human Aspects of Software Engineering, 2013

2012

Architecture-level reliability prediction of concurrent systems.

Leslie Cheung, Ivo Krka, Leana Golubchik, Nenad Medvidovic

Proceedings of the Third Joint WOSP/SIPEW International Conference on Performance Engineering, 2012

A Framework for Obtaining the Ground-Truth in Architectural Recovery.

Joshua Garcia, Ivo Krka, Nenad Medvidovic, Chris Douglas

Proceedings of the 2012 Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture, 2012

Revisiting modal interface automata.

Ivo Krka, Nenad Medvidovic

Proceedings of the First International Workshop on Formal Methods in Software Engineering, 2012

2011

Engineering Heterogeneous Robotics Systems: A Software Architecture-Based Approach.

Nenad Medvidovic, Hossein Tajalli, Joshua Garcia, Ivo Krka, Yuriy Brun, George Edwards

Computer, 2011

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

From requirements to partial behavior models: an iterative approach to incremental specification refinement.

Ivo Krka

Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010

Probabilistic automata for architecture-based reliability assessment.

Ivo Krka, Leana Golubchik, Nenad Medvidovic

Proceedings of the 2010 ICSE Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems, 2010

Using dynamic execution traces and program invariants to enhance behavioral model inference.

Ivo Krka, Yuriy Brun, Daniel Popescu, Joshua Garcia, Nenad Medvidovic

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

2009

The anatomy and physiology of the grid revisited.

Chris Mattmann, Joshua Garcia, Ivo Krka, Daniel Popescu, Nenad Medvidovic

Proceedings of the Joint Working IEEE/IFIP Conference on Software Architecture 2009 and European Conference on Software Architecture 2009, 2009

Synthesizing partial component-level behavior models from system specifications.

Ivo Krka, Yuriy Brun, George Edwards, Nenad Medvidovic

Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009

From system specifications to component behavioral models.

Ivo Krka, George Edwards, Yuriy Brun, Nenad Medvidovic

Proceedings of the 31st International Conference on Software Engineering, 2009

2008

A Comprehensive Exploration of Challenges in Architecture-Based Reliability Estimation.

Ivo Krka, George Edwards, Leslie Cheung, Leana Golubchik, Nenad Medvidovic

Proceedings of the Architecting Dependable Systems VI, 2008