BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Germany
1 × Hungary
1 × Italy
2 × USA
Collaborated with:
B.K.Aichernig O.Maler P.Daca T.A.Henzinger E.Bartocci S.Tiran F.Lorber A.Pnueli T.Ferrère D.Ulus W.Krenn R.Bloem F.Röck N.Benes J.Kretínský K.Selyunin S.Jaksic T.Nguyen C.Reidl U.Hafner R.Grosu
Talks about:
test (4) time (3) composit (2) monitor (2) specif (2) model (2) ioco (2) increment (1) recoveri (1) protocol (1)

Person: Dejan Nickovic

DBLP DBLP: Nickovic:Dejan

Facilitated 1 volumes:

A-MOST 2020PrCo

Contributed to:

CAV 20152015
CBSE 20152015
TAP 20152015
ICST 20142014
TAP 20132013
CAV 20072007
CAV (1) 20172017
CAV (1) 20182018

Wrote 8 papers:

Measuring with Timed Patterns (TF, OM, DN, DU), pp. 322–337.
CBSE-2015-BenesDHKN #composition #testing
Complete Composition Operators for IOCO — Testing Theory (NB, PD, TAH, JK, DN), pp. 101–110.
TAP-2015-AichernigNT #behaviour #generative #incremental #modelling #scalability #testing
Scalable Incremental Test-case Generation from Large Behavior Models (BKA, DN, ST), pp. 1–18.
ICST-2014-DacaHKN #composition #specification #testing
Compositional Specifications for ioco Testing (PD, TAH, WK, DN), pp. 373–382.
TAP-2013-AichernigLN #automaton #modelling #mutation testing #testing
Time for Mutants — Model-Based Mutation Testing with Timed Automata (BKA, FL, DN), pp. 20–38.
CAV-2007-MalerNP #bound #on the
On Synthesizing Controllers from Bounded-Response Properties (OM, DN, AP), pp. 95–107.
CAV-2017-SelyuninJNRHBNG #communication #monitoring #protocol #runtime
Runtime Monitoring with Recovery of the SENT Communication Protocol (KS, SJ, TN, CR, UH, EB, DN, RG), pp. 336–355.
CAV-2018-BartocciBNR #finite #ltl #monitoring #semantics #specification
A Counting Semantics for Monitoring LTL Specifications over Finite Traces (EB, RB, DN, FR), pp. 547–564.

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.