Dejan Nickovic

Identifiers

No identifiers captured yet.

Papers (6)

1. Compositional Specifications for ioco Testing cs.SE · 2019 · author #4
2. A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software) cs.SE · 2018 · author #11
3. A Counting Semantics for Monitoring LTL Specifications over Finite Traces cs.LO · 2018 · author #3
4. An Algebraic Framework for Runtime Verification cs.LO · 2018 · author #4
5. Temporal Logic as Filtering cs.LO · 2015 · author #3
6. Bounded Determinization of Timed Automata with Silent Transitions cs.FL · 2015 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Ezio Bartocci 4 shared papers
• Radu Grosu 2 shared papers
• Adrian Francalanza 1 shared papers
• Alena Rodionova 1 shared papers
• Alexander Weiss 1 shared papers
• Amnon Rosenmann 1 shared papers
• Bernhard Aichernig 1 shared papers
• C\'esar S\'anchez 1 shared papers
• Christian Colombo 1 shared papers
• Dmitriy Traytel 1 shared papers
• Domenico Bianculli 1 shared papers
• Florian Lorber 1 shared papers
• Franz Roeck 1 shared papers
• Gerardo Schneider 1 shared papers
• Gordon J. Pace 1 shared papers
• Jo\H{a}o M. Louren\c{c}o 1 shared papers
• Jose Rufino 1 shared papers
• Julien Signoles 1 shared papers
• Przemyslaw Daca 1 shared papers
• Roderick Bloem 1 shared papers