Travelled to:1 × Australia
1 × Brazil
1 × China
1 × Finland
1 × Singapore
1 × South Africa
1 × The Netherlands
1 × United Kingdom
2 × USA
Collaborated with:N.Medvidović J.Garcia Y.Brun ∅ C.Mattmann D.Popescu N.D'Ippolito S.Uchitel C.Douglas G.Edwards
Talks about:behavior (4) model (4) partial (3) system (3) specif (3) architectur (2) revisit (2) obtain (2) invari (2) ground (2)
Person: Ivo Krka
DBLP: Krka:Ivo
Contributed to:
2014
2014
2014
2013
2013
201220102010
20092009Wrote 10 papers:
- FM-2014-KrkaDMU
- Revisiting Compatibility of Input-Output Modal Transition Systems (IK, ND, NM, SU), pp. 367–381.
- FSE-2014-KrkaBM #automation #invariant #mining #specification
- Automatic mining of specifications from invocation traces and method invariants (IK, YB, NM), pp. 178–189.
- WICSA-2014-KrkaM #component
- Component-Aware Triggered Scenarios (IK, NM), pp. 129–138.
- ICSE-2013-GarciaKMM #architecture
- Obtaining ground-truth software architectures (JG, IK, CM, NM), pp. 901–910.
- RE-2013-KrkaM #behaviour
- Distributing refinements of a system-level partial behavior model (IK, NM), pp. 72–81.
- WICSA-ECSA-2012-GarciaKMD #architecture #framework
- A Framework for Obtaining the Ground-Truth in Architectural Recovery (JG, IK, NM, CD), pp. 292–296.
- FSE-2010-Krka #approach #behaviour #incremental #modelling #refinement #requirements #specification
- From requirements to partial behavior models: an iterative approach to incremental specification refinement (IK), pp. 341–344.
- ICSE-2010-KrkaBPGM #behaviour #execution #invariant #model inference #using
- Using dynamic execution traces and program invariants to enhance behavioral model inference (IK, YB, DP, JG, NM), pp. 179–182.
- ESEC-FSE-2009-KrkaBEM #behaviour #component #modelling #specification
- Synthesizing partial component-level behavior models from system specifications (IK, YB, GE, NM), pp. 305–314.
- WICSA-ECSA-2009-MattmannGKPM #grid #revisited
- The anatomy and physiology of the grid revisited (CM, JG, IK, DP, NM), pp. 285–288.