More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

Ivo Krka

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2017
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/www/ProskurniaCPKWK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/www/ProskurniaCPKWK17
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: 1521-1530
2016
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/wsdm/WendtBPJMKSYCR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsdm/WendtBPJMKSYCR16
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: 317-326
2015
[j4]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/grid/MattmannGKPM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/grid/MattmannGKPM15
Chris A. Mattmann, Joshua Garcia, Ivo Krka, Daniel Popescu, Nenad Medvidovic:
Revisiting the Anatomy and Physiology of the Grid. J. Grid Comput. 13(1): 19-34 (2015)
2014
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/tsc/SilicDKS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tsc/SilicDKS14
Marin Silic, Goran Delac, Ivo Krka, Sinisa Srbljic:
Scalable and Accurate Prediction of Availability of Atomic Web Services. IEEE Trans. Serv. Comput. 7(2): 252-264 (2014)
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/KrkaDMU14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/KrkaDMU14
Ivo Krka, Nicolás D'Ippolito, Nenad Medvidovic, Sebastián Uchitel:
Revisiting Compatibility of Input-Output Modal Transition Systems. FM 2014: 367-381
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/KrkaBM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/KrkaBM14
Ivo Krka, Yuriy Brun, Nenad Medvidovic:
Automatic mining of specifications from invocation traces and method invariants. SIGSOFT FSE 2014: 178-189
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/wicsa/KrkaM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wicsa/KrkaM14
Ivo Krka, Nenad Medvidovic:
Component-Aware Triggered Scenarios. WICSA 2014: 129-138
2013
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/BangKMKP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/BangKMKP13
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: 41-48
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/GarciaKMM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/GarciaKMM13
Joshua Garcia, Ivo Krka, Chris Mattmann, Nenad Medvidovic:
Obtaining ground-truth software architectures. ICSE 2013: 901-910
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/re/KrkaM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/KrkaM13
Ivo Krka, Nenad Medvidovic:
Distributing refinements of a system-level partial behavior model. RE 2013: 72-81
2012
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/KrkaM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/KrkaM12
Ivo Krka, Nenad Medvidovic:
Revisiting modal interface automata. FormSERA@ICSE 2012: 30-36
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/wicsa/GarciaKMD12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wicsa/GarciaKMD12
Joshua Garcia, Ivo Krka, Nenad Medvidovic, Chris Douglas:
A Framework for Obtaining the Ground-Truth in Architectural Recovery. WICSA/ECSA 2012: 292-296
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/wosp/CheungKGM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wosp/CheungKGM12
Leslie Cheung, Ivo Krka, Leana Golubchik, Nenad Medvidovic:
Architecture-level reliability prediction of concurrent systems. ICPE 2012: 121-132
2011
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/computer/MedvidovicTGKBE11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computer/MedvidovicTGKBE11
Nenad Medvidovic, Hossein Tajalli, Joshua Garcia, Ivo Krka, Yuriy Brun, George Edwards:
Engineering Heterogeneous Robotics Systems: A Software Architecture-Based Approach. Computer 44(5): 62-71 (2011)
2010
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/MalekEBTGKMMS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/MalekEBTGKMMS10
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): 972-989 (2010)
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/KrkaGM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/KrkaGM10
Ivo Krka, Leana Golubchik, Nenad Medvidovic:
Probabilistic automata for architecture-based reliability assessment. QUOVADIS@ICSE 2010: 17-24
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/KrkaBPGM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/KrkaBPGM10
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: 179-182
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/Krka10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/Krka10
Ivo Krka:
From requirements to partial behavior models: an iterative approach to incremental specification refinement. SIGSOFT FSE 2010: 341-344

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/KrkaEBM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/KrkaEBM09
Ivo Krka, George Edwards, Yuriy Brun, Nenad Medvidovic:
From system specifications to component behavioral models. ICSE Companion 2009: 315-318
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/KrkaBEM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/KrkaBEM09
Ivo Krka, Yuriy Brun, George Edwards, Nenad Medvidovic:
Synthesizing partial component-level behavior models from system specifications. ESEC/SIGSOFT FSE 2009: 305-314
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/wicsa/MattmannGKPM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wicsa/MattmannGKPM09
Chris Mattmann, Joshua Garcia, Ivo Krka, Daniel Popescu, Nenad Medvidovic:
The anatomy and physiology of the grid revisited. WICSA/ECSA 2009: 285-288
2008
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/KrkaECGM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/KrkaECGM08
Ivo Krka, George Edwards, Leslie Cheung, Leana Golubchik, Nenad Medvidovic:
A Comprehensive Exploration of Challenges in Architecture-Based Reliability Estimation. WADS 2008: 202-227

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.