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: Nickovic:Dejan
Facilitated 1 volumes:
PrCoContributed to:
2015
2015
2015
20142013200720172018Wrote 8 papers:
- CAV-2015-FerrereMNU
- 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.