BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Krka:Ivo

Contributed to:

FM 20142014
FSE 20142014
WICSA 20142014
ICSE 20132013
RE 20132013
WICSA/ECSA 20122012
FSE 20102010
ICSE 20102010
ESEC/FSE 20092009
WICSA/ECSA 20092009

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.