Ivo Krka
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
5
Active years
2008–2017
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | WWW | Template Induction over Unstructured Email Corpora. | Julia Proskurnia, Marc-Allen Cartright, Lluis Garcia Pueyo, Ivo Krka, James B. Wendt, Tobias Kaufmann, Balint Miklos |
| 2016 | WSDM | 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 |
| 2014 | FM | Revisiting Compatibility of Input-Output Modal Transition Systems. | Ivo Krka, Nicols D'Ippolito, Nenad Medvidovic, Sebastin Uchitel |
| 2013 | ICSE | How software architects collaborate: Insights from collaborative software design in practice. | Jae Young Bang, Ivo Krka, Nenad Medvidovic, Naveen N. Kulkarni, Srinivas Padmanabhuni |
| 2013 | ICSE | Obtaining ground-truth software architectures. | Joshua Garcia, Ivo Krka, Chris Mattmann, Nenad Medvidovic |
| 2013 | RE | Distributing refinements of a system-level partial behavior model. | Ivo Krka, Nenad Medvidovic |
| 2012 | ICSE | Revisiting modal interface automata. | Ivo Krka, Nenad Medvidovic |
| 2010 | ICSE | Using dynamic execution traces and program invariants to enhance behavioral model inference. | Ivo Krka, Yuriy Brun, Daniel Popescu, Joshua Garcia, Nenad Medvidovic |
| 2010 | ICSE | Probabilistic automata for architecture-based reliability assessment. | Ivo Krka, Leana Golubchik, Nenad Medvidovic |
| 2009 | ICSE | From system specifications to component behavioral models. | Ivo Krka, George Edwards, Yuriy Brun, Nenad Medvidovic |
| 2008 | ICSE | A Comprehensive Exploration of Challenges in Architecture-Based Reliability Estimation. | Ivo Krka, George Edwards, Leslie Cheung, Leana Golubchik, Nenad Medvidovic |