ask others

Dejan Nickovic

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2018
[j8]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fmsd/JaksicBGNN18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fmsd/JaksicBGNN18
Stefan Jaksic, Ezio Bartocci, Radu Grosu, Thang Nguyen, Dejan Nickovic:
Quantitative monitoring of STL with edit distance. Formal Methods in System Design 53(1): 83-112 (2018)
[j7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fteda/BenvenisteCNPRR18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fteda/BenvenisteCNPRR18
Albert 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. Foundations and Trends in Electronic Design Automation 12(2-3): 124-400 (2018)
[j6]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcad/JaksicBGN18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcad/JaksicBGN18
Stefan Jaksic, Ezio Bartocci, Radu Grosu, Dejan Nickovic:
An Algebraic Framework for Runtime Verification. IEEE Trans. on CAD of Integrated Circuits and Systems 37(11): 2233-2243 (2018)
[c42]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/amcc/FrehseKNOSWW18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/amcc/FrehseKNOSWW18
Goran 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. ACC 2018: 2384-2391
[c41]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cav/BartocciBNR18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cav/BartocciBNR18
Ezio Bartocci, Roderick Bloem, Dejan Nickovic, Franz Röck:
A Counting Semantics for Monitoring LTL Specifications over Finite Traces. CAV (1) 2018: 547-564
[c40]
- view
  - electronic edition via DOI
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/emsoft/BakhirkinFHN18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/emsoft/BakhirkinFHN18
Alexey Bakhirkin, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic:
The first-order logic of signals: keynote. EMSOFT 2018: 1
[c39]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/formats/BakhirkinFNMA18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/formats/BakhirkinFNMA18
Alexey Bakhirkin, Thomas Ferrère, Dejan Nickovic, Oded Maler, Eugene Asarin:
Online Timed Pattern Matching Using Automata. FORMATS 2018: 215-232
[c38]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/hybrid/BartocciFMN18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/hybrid/BartocciFMN18
Ezio Bartocci, Thomas Ferrère, Niveditha Manjunath, Dejan Nickovic:
Localizing Faults in Simulink/Stateflow Models with STL. HSCC 2018: 197-206
[c37]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/itc/ManjunathHSETMM18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/itc/ManjunathHSETMM18
Niveditha 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. ITC 2018: 1-7
[c36]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tacas/NickovicLMFU18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tacas/NickovicLMFU18
Dejan Nickovic, Olivier Lebeltel, Oded Maler, Thomas Ferrère, Dogan Ulus:
AMT 2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic. TACAS (2) 2018: 303-319
[p2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - series/lncs/BartocciDDFMNS18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/series/lncs/BartocciDDFMNS18
Ezio 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. Lectures on Runtime Verification 2018: 135-175
[i5]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1802-03775
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1802-03775
Stefan Jaksic, Ezio Bartocci, Radu Grosu, Dejan Nickovic:
An Algebraic Framework for Runtime Verification. CoRR abs/1802.03775 (2018)
[i4]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1804-03237
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1804-03237
Ezio Bartocci, Roderick Bloem, Dejan Nickovic, Franz Röck:
A Counting Semantics for Monitoring LTL Specifications over Finite Traces. CoRR abs/1804.03237 (2018)
[i3]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1811-06740
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1811-06740
Cé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). CoRR abs/1811.06740 (2018)
2017
[j5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/rts/LorberRNA17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/rts/LorberRNA17
Florian Lorber, Amnon Rosenmann, Dejan Nickovic, Bernhard K. Aichernig:
Bounded determinization of timed automata with silent transitions. Real-Time Systems 53(3): 291-326 (2017)
[j4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sttt/AichernigHLNT17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sttt/AichernigHLNT17
Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber, Dejan Nickovic, Stefan Tiran:
Require, test, and trace IT. STTT 19(4): 409-426 (2017)
[c35]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cav/SelyuninJNRHBNG17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cav/SelyuninJNRHBNG17
Konstantin Selyunin, Stefan Jaksic, Thang Nguyen, Christian Reidl, Udo Hafner, Ezio Bartocci, Dejan Nickovic, Radu Grosu:
Runtime Monitoring with Recovery of the SENT Communication Protocol. CAV (1) 2017: 336-355
[c34]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/formats/AsarinMNU17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/formats/AsarinMNU17
Eugene Asarin, Oded Maler, Dejan Nickovic, Dogan Ulus:
Combining the Temporal and Epistemic Dimensions for MTL Monitoring. FORMATS 2017: 207-223
[p1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - series/natosec/RodionovaBNG17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/series/natosec/RodionovaBNG17
Alena Rodionova, Ezio Bartocci, Dejan Nickovic, Radu Grosu:
Temporal Logic as Filtering. Dependable Software Systems Engineering 2017: 164-185
2016
[j3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/NguyenN16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/NguyenN16
Thang Nguyen, Dejan Nickovic:
Assertion-based monitoring in practice - Checking correctness of an automotive sensor interface. Sci. Comput. Program. 118: 40-59 (2016)
[c33]
- view
  - electronic edition @ ieee.org
- export record
  dblp key:
  - conf/date/SelyuninNBNG16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/date/SelyuninNBNG16
Konstantin Selyunin, Thang Nguyen, Ezio Bartocci, Dejan Nickovic, Radu Grosu:
Monitoring of MTL specifications with IBM's spiking-neuron model. DATE 2016: 924-929
[c32]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/hybrid/RodionovaBNG16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/hybrid/RodionovaBNG16
Alena Rodionova, Ezio Bartocci, Dejan Nickovic, Radu Grosu:
Temporal Logic as Filtering. HSCC 2016: 11-20
[c31]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/isola/NguyenBNGJS16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/isola/NguyenBNGJS16
Thang Nguyen, Ezio Bartocci, Dejan Nickovic, Radu Grosu, Stefan Jaksic, Konstantin Selyunin:
The HARMONIA Project: Hardware Monitoring for Automotive Systems-of-Systems. ISoLA (2) 2016: 371-379
[c30]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rv/JaksicBGN16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rv/JaksicBGN16
Stefan Jaksic, Ezio Bartocci, Radu Grosu, Dejan Nickovic:
Quantitative Monitoring of STL with Edit Distance. RV 2016: 201-218
2015
[c29]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/atva/FerrereMN15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/atva/FerrereMN15
Thomas Ferrère, Oded Maler, Dejan Nickovic:
Trace Diagnostics Using Temporal Implicants. ATVA 2015: 241-258
[c28]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cav/FerrereMNU15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cav/FerrereMNU15
Thomas Ferrère, Oded Maler, Dejan Nickovic, Dogan Ulus:
Measuring with Timed Patterns. CAV (2) 2015: 322-337
[c27]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cbse/BenesDHKN15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cbse/BenesDHKN15
Nikola Benes, Przemyslaw Daca, Thomas A. Henzinger, Jan Kretínský, Dejan Nickovic:
Complete Composition Operators for IOCO-Testing Theory. CBSE 2015: 101-110
[c26]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fmics/AichernigHLNT15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fmics/AichernigHLNT15
Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber, Dejan Nickovic, Stefan Tiran:
Require, Test and Trace IT. FMICS 2015: 113-127
[c25]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/formats/LorberRNA15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/formats/LorberRNA15
Florian Lorber, Amnon Rosenmann, Dejan Nickovic, Bernhard K. Aichernig:
Bounded Determinization of Timed Automata with Silent Transitions. FORMATS 2015: 288-304
[c24]
- view
- export record
  dblp key:
  - conf/icse/DustdarGKN15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icse/DustdarGKN15
Schahram Dustdar, Alessio Gambi, Willibald Krenn, Dejan Nickovic:
A Pattern-Based Formalization of Cloud-Based Elastic Systems. PESOS@ICSE 2015: 31-37
[c23]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/memocode/JaksicBGKNN15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/memocode/JaksicBGKNN15
Stefan Jaksic, Ezio Bartocci, Radu Grosu, Reinhard Kloibhofer, Thang Nguyen, Dejan Nickovic:
From signal temporal logic to FPGA monitors. MEMOCODE 2015: 218-227
[c22]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rv/Nickovic15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rv/Nickovic15
Dejan Nickovic:
Monitoring and Measuring Hybrid Behaviors A Tutorial. RV 2015: 378-402
[c21]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rv/FalconeNRT15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rv/FalconeNRT15
Yliès Falcone, Dejan Nickovic, Giles Reger, Daniel Thoma:
Second International Competition on Runtime Verification CRV 2015. RV 2015: 405-422
[c20]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tap/AichernigNT15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tap/AichernigNT15
Bernhard K. Aichernig, Dejan Nickovic, Stefan Tiran:
Scalable Incremental Test-case Generation from Large Behavior Models. TAP 2015: 1-18
[i2]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/LorberRNA15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/LorberRNA15
Florian Lorber, Amnon Rosenmann, Dejan Nickovic, Bernhard K. Aichernig:
Bounded Determinization of Timed Automata with Silent Transitions. CoRR abs/1508.03575 (2015)
[i1]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/RodionovaBNG15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/RodionovaBNG15
Alena Rodionova, Ezio Bartocci, Dejan Nickovic, Radu Grosu:
Temporal Logic as Filtering. CoRR abs/1510.08079 (2015)
2014
[c19]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fmics/NguyenN14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fmics/NguyenN14
Thang Nguyen, Dejan Nickovic:
Assertion-Based Monitoring in Practice - Checking Correctness of an Automotive Sensor Interface. FMICS 2014: 16-32
[c18]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/icst/DacaHKN14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icst/DacaHKN14
Przemyslaw Daca, Thomas A. Henzinger, Willibald Krenn, Dejan Nickovic:
Compositional Specifications for ioco Testing. ICST 2014: 373-382
[c17]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/qsic/AichernigHLNSST14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/qsic/AichernigHLNSST14
Bernhard 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. QSIC 2014: 117-126
2013
[j2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sttt/MalerN13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sttt/MalerN13
Oded Maler, Dejan Nickovic:
Monitoring properties of analog and mixed-signal circuits. STTT 15(3): 247-268 (2013)
[c16]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/formats/KrennNT13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/formats/KrennNT13
Willibald Krenn, Dejan Nickovic, Loredana Tec:
Incremental Language Inclusion Checking for Networks of Timed Automata. FORMATS 2013: 152-167
[c15]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tap/AichernigLN13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tap/AichernigLN13
Bernhard K. Aichernig, Florian Lorber, Dejan Nickovic:
Time for Mutants - Model-Based Mutation Testing with Timed Automata. TAP 2013: 20-38
2012
[c14]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/atva/DonzeMBNGS12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/atva/DonzeMBNGS12
Alexandre Donzé, Oded Maler, Ezio Bartocci, Dejan Nickovic, Radu Grosu, Scott A. Smolka:
On Temporal Logic and Signal Processing. ATVA 2012: 92-106
[c13]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/forte/DelahayeFHLN12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/forte/DelahayeFHLN12
Benoît Delahaye, Uli Fahrenberg, Thomas A. Henzinger, Axel Legay, Dejan Nickovic:
Synchronous Interface Theories and Time Triggered Scheduling. FMOODS/FORTE 2012: 203-218
[c12]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/monterey/HenzingerN12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/monterey/HenzingerN12
Thomas A. Henzinger, Dejan Nickovic:
Independent Implementability of Viewpoints. Monterey Workshop 2012: 380-395
[e1]
- view
  - table of contents in dblp
  - electronic edition via DOI
- export record
  dblp key:
  - conf/formats/2012
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/formats/2012
Marcin Jurdzinski, Dejan Nickovic:
Formal Modeling and Analysis of Timed Systems - 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings. Lecture Notes in Computer Science 7595, Springer 2012, ISBN 978-3-642-33364-4 [contents]
2011
[c11]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/concur/FisherHNPSV11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/concur/FisherHNPSV11
Jasmin Fisher, Thomas A. Henzinger, Dejan Nickovic, Nir Piterman, Anmol V. Singh, Moshe Y. Vardi:
Dynamic Reactive Modules. CONCUR 2011: 404-418
[c10]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rv/AsarinDMN11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rv/AsarinDMN11
Eugene Asarin, Alexandre Donzé, Oded Maler, Dejan Nickovic:
Parametric Identification of Temporal Properties. RV 2011: 147-160
2010
[j1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fmsd/JonesKN10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fmsd/JonesKN10
Kevin D. Jones, Victor Konrad, Dejan Nickovic:
Analog property checkers: a DDR2 case study. Formal Methods in System Design 36(2): 114-130 (2010)
[c9]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/acsd/DoyenHLN10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/acsd/DoyenHLN10
Laurent Doyen, Thomas A. Henzinger, Axel Legay, Dejan Nickovic:
Robustness of Sequential Circuits. ACSD 2010: 77-84
[c8]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/formats/HavlicekLMN10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/formats/HavlicekLMN10
John Havlicek, Scott Little, Oded Maler, Dejan Nickovic:
Property-Based Monitoring of Analog and Mixed-Signal Systems. FORMATS 2010: 23-24
[c7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/formats/NickovicP10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/formats/NickovicP10
Dejan Nickovic, Nir Piterman:
From Mtl to Deterministic Timed Automata. FORMATS 2010: 152-167

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2008
[b1]
- view
  - electronic edition @ archives-ouvertes.fr
- export record
  dblp key:
  - phd/hal/Nickovic08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/phd/hal/Nickovic08
Dejan Nickovic:
Checking Timed and Hybrid Properties: Theory and Applications. (Vérification de propriétés temporisées et hybrides: théorie et applications). Joseph Fourier University, Grenoble, France 2008
[c6]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/birthday/MalerNP08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/birthday/MalerNP08
Oded Maler, Dejan Nickovic, Amir Pnueli:
Checking Temporal Properties of Discrete, Timed and Continuous Behaviors. Pillars of Computer Science 2008: 475-505
2007
[c5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cav/MalerNP07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cav/MalerNP07
Oded Maler, Dejan Nickovic, Amir Pnueli:
On Synthesizing Controllers from Bounded-Response Properties. CAV 2007: 95-107
[c4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/formats/NickovicM07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/formats/NickovicM07
Dejan Nickovic, Oded Maler:
AMT: A Property-Based Monitoring Tool for Analog Systems. FORMATS 2007: 304-319
2006
[c3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/formats/MalerNP06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/formats/MalerNP06
Oded Maler, Dejan Nickovic, Amir Pnueli:
From MITL to Timed Automata. FORMATS 2006: 274-289
2005
[c2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/formats/MalerNP05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/formats/MalerNP05
Oded Maler, Dejan Nickovic, Amir Pnueli:
Real Time Temporal Logic: Past, Present, Future. FORMATS 2005: 2-16
2004
[c1]
- view
  - electronic edition via DOI
  - electronic edition @ wikidata.org
- export record
  dblp key:
  - conf/formats/MalerN04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/formats/MalerN04
Oded Maler, Dejan Nickovic:
Monitoring Temporal Properties of Continuous Signals. FORMATS/FTRTFT 2004: 152-166

Coauthor Index

see FAQ

maintained by

, founded at