The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Dejan Nickovic" ( http://dblp.L3S.de/Authors/Dejan_Nickovic )

  Author page on DBLP  Author page in RDF  Community of Dejan Nickovic in ASPL-2

Publication years (Num. hits)
2004-2012 (17) 2013-2015 (18) 2016-2018 (25) 2019 (5)
Publication types (Num. hits)
article(17) incollection(2) inproceedings(44) phdthesis(1) proceedings(1)
Venues (Conferences, Journals, ...)
FORMATS(10) CoRR(7) RV(4) HSCC(3) ATVA(2) CAV (1)(2) FMICS(2) Formal Methods in System Desig...(2) STTT(2) TAP(2) ACC(1) ACSD(1) CAV(1) CAV (2)(1) CBSE(1) CONCUR(1) More (+10 of total 38)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 4 occurrences of 4 keywords

Results
Found 66 publication records. Showing 65 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Jyotirmoy V. Deshmukh, Oded Maler, Dejan Nickovic Specification Formalisms for Modern Cyber-Physical Systems (Dagstuhl Seminar 19071). Search on Bibsonomy Dagstuhl Reports The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Thomas Ferrère, Oded Maler, Dejan Nickovic, Amir Pnueli From Real-time Logic to Timed Automata. Search on Bibsonomy J. ACM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Nickovic Automatic Failure Explanation in CPS Models. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Przemyslaw Daca, Thomas A. Henzinger, Willibald Krenn, Dejan Nickovic Compositional Specifications for ioco Testing. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Thomas Ferrère, Dejan Nickovic, Alexandre Donzé, Hisahiro Ito, James Kapinski Interface-aware signal temporal logic. Search on Bibsonomy HSCC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Stefan Jaksic, Ezio Bartocci, Radu Grosu, Thang Nguyen, Dejan Nickovic Quantitative monitoring of STL with edit distance. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Albert Benveniste, Benoît Caillaud, Dejan Nickovic, Roberto Passerone, Jean-Baptiste Raclet, Philipp Reinkemeier, Alberto L. Sangiovanni-Vincentelli, Werner Damm, Thomas A. Henzinger, Kim G. Larsen Contracts for System Design. Search on Bibsonomy Foundations and Trends in Electronic Design Automation The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ezio Bartocci, Roderick Bloem, Dejan Nickovic, Franz Röck A Counting Semantics for Monitoring LTL Specifications over Finite Traces. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Stefan Jaksic, Ezio Bartocci, Radu Grosu, Dejan Nickovic An Algebraic Framework for Runtime Verification. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srdan Krstic, JoHao M. Lourenço, Dejan Nickovic, Gordon J. Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software). Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Stefan Jaksic, Ezio Bartocci, Radu Grosu, Dejan Nickovic An Algebraic Framework for Runtime Verification. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Haris Isakovic, Denise Ratasich, Christian Hirsch, Michael Platzer, Bernhard Wally, Thomas Rausch, Dejan Nickovic, Willibald Krenn, Gerti Kappel, Schahram Dustdar, Radu Grosu CPS/IoT Ecosystem: A Platform for Research and Education. Search on Bibsonomy CyPhy/WESE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Dejan Nickovic, Olivier Lebeltel, Oded Maler, Thomas Ferrère, Dogan Ulus AMT 2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic. Search on Bibsonomy TACAS (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ezio Bartocci, Roderick Bloem, Dejan Nickovic, Franz Röck A Counting Semantics for Monitoring LTL Specifications over Finite Traces. Search on Bibsonomy CAV (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alexey Bakhirkin, Thomas Ferrère, Dejan Nickovic, Oded Maler, Eugene Asarin Online Timed Pattern Matching Using Automata. Search on Bibsonomy FORMATS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ezio Bartocci, Thomas Ferrère, Niveditha Manjunath, Dejan Nickovic Localizing Faults in Simulink/Stateflow Models with STL. Search on Bibsonomy HSCC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Goran Frehse, Nikolaos Kekatos, Dejan Nickovic, Jens Oehlerking, Simone Schuler, Alexander Walsch, Matthias Woehrle A Toolchain for Verifying Safety Properties of Hybrid Automata via Pattern Templates. Search on Bibsonomy ACC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Niveditha Manjunath, Dieter Haerle, Stephen Sabanal, Herbert Eichinger, Hermann Tauber, Andreas Machne, Christian Manthey, Mikko Vaananen, Radu Grosu, Dejan Nickovic Production Tests Coverage Analysis in the Simulation Environment. Search on Bibsonomy ITC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alexey Bakhirkin, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic The first-order logic of signals: keynote. Search on Bibsonomy EMSOFT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ezio Bartocci, Jyotirmoy V. Deshmukh, Alexandre Donzé, Georgios E. Fainekos, Oded Maler, Dejan Nickovic, Sriram Sankaranarayanan Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications. Search on Bibsonomy Lectures on Runtime Verification The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Florian Lorber, Amnon Rosenmann, Dejan Nickovic, Bernhard K. Aichernig Bounded determinization of timed automata with silent transitions. Search on Bibsonomy Real-Time Systems The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber, Dejan Nickovic, Stefan Tiran Require, test, and trace IT. Search on Bibsonomy STTT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Konstantin Selyunin, Stefan Jaksic, Thang Nguyen, Christian Reidl, Udo Hafner, Ezio Bartocci, Dejan Nickovic, Radu Grosu Runtime Monitoring with Recovery of the SENT Communication Protocol. Search on Bibsonomy CAV (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Eugene Asarin, Oded Maler, Dejan Nickovic, Dogan Ulus Combining the Temporal and Epistemic Dimensions for MTL Monitoring. Search on Bibsonomy FORMATS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alena Rodionova, Ezio Bartocci, Dejan Nickovic, Radu Grosu Temporal Logic as Filtering. Search on Bibsonomy Dependable Software Systems Engineering The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Thang Nguyen, Dejan Nickovic Assertion-based monitoring in practice - Checking correctness of an automotive sensor interface. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Thang Nguyen, Ezio Bartocci, Dejan Nickovic, Radu Grosu, Stefan Jaksic, Konstantin Selyunin The HARMONIA Project: Hardware Monitoring for Automotive Systems-of-Systems. Search on Bibsonomy ISoLA (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Stefan Jaksic, Ezio Bartocci, Radu Grosu, Dejan Nickovic Quantitative Monitoring of STL with Edit Distance. Search on Bibsonomy RV The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alena Rodionova, Ezio Bartocci, Dejan Nickovic, Radu Grosu Temporal Logic as Filtering. Search on Bibsonomy HSCC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Konstantin Selyunin, Thang Nguyen, Ezio Bartocci, Dejan Nickovic, Radu Grosu Monitoring of MTL specifications with IBM's spiking-neuron model. Search on Bibsonomy DATE The full citation details ... 2016 DBLP  BibTeX  RDF
1Alena Rodionova, Ezio Bartocci, Dejan Nickovic, Radu Grosu Temporal Logic as Filtering. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Florian Lorber, Amnon Rosenmann, Dejan Nickovic, Bernhard K. Aichernig Bounded Determinization of Timed Automata with Silent Transitions. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Thomas Ferrère, Oded Maler, Dejan Nickovic Trace Diagnostics Using Temporal Implicants. Search on Bibsonomy ATVA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Nikola Benes, Przemyslaw Daca, Thomas A. Henzinger, Jan Kretínský, Dejan Nickovic Complete Composition Operators for IOCO-Testing Theory. Search on Bibsonomy CBSE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Yliès Falcone, Dejan Nickovic, Giles Reger, Daniel Thoma Second International Competition on Runtime Verification CRV 2015. Search on Bibsonomy RV The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Dejan Nickovic Monitoring and Measuring Hybrid Behaviors A Tutorial. Search on Bibsonomy RV The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Thomas Ferrère, Oded Maler, Dejan Nickovic, Dogan Ulus Measuring with Timed Patterns. Search on Bibsonomy CAV (2) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Florian Lorber, Amnon Rosenmann, Dejan Nickovic, Bernhard K. Aichernig Bounded Determinization of Timed Automata with Silent Transitions. Search on Bibsonomy FORMATS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Bernhard K. Aichernig, Dejan Nickovic, Stefan Tiran Scalable Incremental Test-case Generation from Large Behavior Models. Search on Bibsonomy TAP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Stefan Jaksic, Ezio Bartocci, Radu Grosu, Reinhard Kloibhofer, Thang Nguyen, Dejan Nickovic From signal temporal logic to FPGA monitors. Search on Bibsonomy MEMOCODE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber, Dejan Nickovic, Stefan Tiran Require, Test and Trace IT. Search on Bibsonomy FMICS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Schahram Dustdar, Alessio Gambi, Willibald Krenn, Dejan Nickovic A Pattern-Based Formalization of Cloud-Based Elastic Systems. Search on Bibsonomy PESOS@ICSE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber, Dejan Nickovic, Rupert Schlick, Didier Simoneau, Stefan Tiran Integration of Requirements Engineering and Test-Case Generation via OSLC. Search on Bibsonomy QSIC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Thang Nguyen, Dejan Nickovic Assertion-Based Monitoring in Practice - Checking Correctness of an Automotive Sensor Interface. Search on Bibsonomy FMICS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Przemyslaw Daca, Thomas A. Henzinger, Willibald Krenn, Dejan Nickovic Compositional Specifications for ioco Testing. Search on Bibsonomy ICST The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Oded Maler, Dejan Nickovic Monitoring properties of analog and mixed-signal circuits. Search on Bibsonomy STTT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Willibald Krenn, Dejan Nickovic, Loredana Tec Incremental Language Inclusion Checking for Networks of Timed Automata. Search on Bibsonomy FORMATS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Bernhard K. Aichernig, Florian Lorber, Dejan Nickovic Time for Mutants - Model-Based Mutation Testing with Timed Automata. Search on Bibsonomy TAP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Benoît Delahaye, Uli Fahrenberg, Thomas A. Henzinger, Axel Legay, Dejan Nickovic Synchronous Interface Theories and Time Triggered Scheduling. Search on Bibsonomy FMOODS/FORTE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Alexandre Donzé, Oded Maler, Ezio Bartocci, Dejan Nickovic, Radu Grosu, Scott A. Smolka On Temporal Logic and Signal Processing. Search on Bibsonomy ATVA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Marcin Jurdzinski, Dejan Nickovic (eds.) Formal Modeling and Analysis of Timed Systems - 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings Search on Bibsonomy FORMATS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Thomas A. Henzinger, Dejan Nickovic Independent Implementability of Viewpoints. Search on Bibsonomy Monterey Workshop The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jasmin Fisher, Thomas A. Henzinger, Dejan Nickovic, Nir Piterman, Anmol V. Singh, Moshe Y. Vardi Dynamic Reactive Modules. Search on Bibsonomy CONCUR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Eugene Asarin, Alexandre Donzé, Oded Maler, Dejan Nickovic Parametric Identification of Temporal Properties. Search on Bibsonomy RV The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Kevin D. Jones, Victor Konrad, Dejan Nickovic Analog property checkers: a DDR2 case study. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1John Havlicek, Scott Little, Oded Maler, Dejan Nickovic Property-Based Monitoring of Analog and Mixed-Signal Systems. Search on Bibsonomy FORMATS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Dejan Nickovic, Nir Piterman From Mtl to Deterministic Timed Automata. Search on Bibsonomy FORMATS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Laurent Doyen 0001, Thomas A. Henzinger, Axel Legay, Dejan Nickovic Robustness of Sequential Circuits. Search on Bibsonomy ACSD The full citation details ... 2010 DBLP  DOI  BibTeX  RDF robustness, sequential circuits, continuity, Mealy machines
1Oded Maler, Dejan Nickovic, Amir Pnueli Checking Temporal Properties of Discrete, Timed and Continuous Behaviors. Search on Bibsonomy Pillars of Computer Science The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Dejan Nickovic Checking Timed and Hybrid Properties: Theory and Applications. (Vérification de propriétés temporisées et hybrides: théorie et applications). Search on Bibsonomy 2008   RDF
1Oded Maler, Dejan Nickovic, Amir Pnueli On Synthesizing Controllers from Bounded-Response Properties. Search on Bibsonomy CAV The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Dejan Nickovic, Oded Maler AMT: A Property-Based Monitoring Tool for Analog Systems. Search on Bibsonomy FORMATS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Oded Maler, Dejan Nickovic, Amir Pnueli From MITL to Timed Automata. Search on Bibsonomy FORMATS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Oded Maler, Dejan Nickovic, Amir Pnueli Real Time Temporal Logic: Past, Present, Future. Search on Bibsonomy FORMATS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Oded Maler, Dejan Nickovic Monitoring Temporal Properties of Continuous Signals. Search on Bibsonomy FORMATS/FTRTFT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #65 of 65 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license