Dejan Nickovic

Dogan Ulus

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2021

Adaptive Testing for Specification Coverage in CPS Models.

[BibT_eX]

[DOI]

Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021

2020

Mining Shape Expressions From Positive Examples.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

AMT 2.0: qualitative and quantitative trace analysis with extended signal temporal logic.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2020

Adaptive Testing for Specification Coverage.

[BibT_eX]

[DOI]

CoRR, 2020

CPSDebug: a tool for explanation of failures in cyber-physical systems.

[BibT_eX]

[DOI]

Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

Weakness Monitors for Fail-Aware Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2020

RTAMT: Online Robustness Monitors from STL.

[BibT_eX]

[DOI]

Tomoya Yamaguchi

Proceedings of the Automated Technology for Verification and Analysis, 2020

2019

From Real-time Logic to Timed Automata.

[BibT_eX]

[DOI]

J. ACM, 2019

Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software).

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2019

A survey of challenges for runtime verification from advanced application domains (beyond software).

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2019

Specification Formalisms for Modern Cyber-Physical Systems (Dagstuhl Seminar 19071).

[BibT_eX]

[DOI]

Jyotirmoy V. Deshmukh

Dagstuhl Reports, 2019

Automatic Failure Explanation in CPS Models.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019

Shape Expressions for Specifying and Extracting Signal Features.

[BibT_eX]

[DOI]

Jyotirmoy V. Deshmukh

Proceedings of the Runtime Verification - 19th International Conference, 2019

Interface-aware signal temporal logic.

[BibT_eX]

[DOI]

Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

Mixed-Time Signal Temporal Logic.

[BibT_eX]

[DOI]

Thomas Ferrère

Alberto L. Sangiovanni-Vincentelli

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2019

2018

Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications.

[BibT_eX]

[DOI]

Ezio Bartocci

Jyotirmoy V. Deshmukh

Sriram Sankaranarayanan

Proceedings of the Lectures on Runtime Verification - Introductory and Advanced Topics, 2018

An Algebraic Framework for Runtime Verification.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

Contracts for System Design.

[BibT_eX]

[DOI]

Werner Damm

Thomas A. Henzinger

Kim G. Larsen

Found. Trends Electron. Des. Autom., 2018

Quantitative monitoring of STL with edit distance.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2018

Production Tests Coverage Analysis in the Simulation Environment.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Test Conference, 2018

Localizing Faults in Simulink/Stateflow Models with STL.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

Online Timed Pattern Matching Using Automata.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2018

The first-order logic of signals: keynote.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Embedded Software, 2018

CPS/IoT Ecosystem: A Platform for Research and Education.

[BibT_eX]

[DOI]

Proceedings of the Cyber Physical Systems. Model-Based Design - 8th International Workshop, 2018

A Counting Semantics for Monitoring LTL Specifications over Finite Traces.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

A Toolchain for Verifying Safety Properties of Hybrid Automata via Pattern Templates.

[BibT_eX]

[DOI]

Proceedings of the 2018 Annual American Control Conference, 2018

2017

Temporal Logic as Filtering.

[BibT_eX]

[DOI]

Proceedings of the Dependable Software Systems Engineering, 2017

Require, test, and trace IT.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2017

Bounded determinization of timed automata with silent transitions.

[BibT_eX]

[DOI]

Florian Lorber

Amnon Rosenmann

Real Time Syst., 2017

Exponential pattern recognition for deriving air change rates from CO2 data.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Symposium on Industrial Electronics, 2017

Combining the Temporal and Epistemic Dimensions for MTL Monitoring.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2017

Runtime Monitoring with Recovery of the SENT Communication Protocol.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

Assertion-based monitoring in practice - Checking correctness of an automotive sensor interface.

[BibT_eX]

[DOI]

Thang Nguyen

Sci. Comput. Program., 2016

Quantitative Monitoring of STL with Edit Distance.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 16th International Conference, 2016

The HARMONIA Project: Hardware Monitoring for Automotive Systems-of-Systems.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

Temporal Logic as Filtering.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

Monitoring of MTL specifications with IBM's spiking-neuron model.

[BibT_eX]

[DOI]

Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

2015

Scalable Incremental Test-case Generation from Large Behavior Models.

[BibT_eX]

[DOI]

Stefan Tiran

Proceedings of the Tests and Proofs - 9th International Conference, 2015

Monitoring and Measuring Hybrid Behaviors A Tutorial.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 6th International Conference, 2015

Second International Competition on Runtime Verification CRV 2015.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 6th International Conference, 2015

From signal temporal logic to FPGA monitors.

[BibT_eX]

[DOI]

Proceedings of the 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2015

A Pattern-Based Formalization of Cloud-Based Elastic Systems.

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE/ACM International Workshop on Principles of Engineering Service-Oriented and Cloud Systems, 2015

Complete Composition Operators for IOCO-Testing Theory.

[BibT_eX]

[DOI]

Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, 2015

Measuring with Timed Patterns.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

Trace Diagnostics Using Temporal Implicants.

[BibT_eX]

[DOI]

Thomas Ferrère

Proceedings of the Automated Technology for Verification and Analysis, 2015

2014

Integration of Requirements Engineering and Test-Case Generation via OSLC.

[BibT_eX]

[DOI]

Proceedings of the 2014 14th International Conference on Quality Software, 2014

Compositional Specifications for ioco Testing.

[BibT_eX]

[DOI]

Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

2013

Monitoring properties of analog and mixed-signal circuits.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2013

Time for Mutants - Model-Based Mutation Testing with Timed Automata.

[BibT_eX]

[DOI]

Florian Lorber

Proceedings of the Tests and Proofs - 7th International Conference, 2013

Incremental Language Inclusion Checking for Networks of Timed Automata.

[BibT_eX]

[DOI]

Willibald Krenn

Loredana Tec

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2013

2012

Independent Implementability of Viewpoints.

[BibT_eX]

[DOI]

Thomas A. Henzinger

Proceedings of the Large-Scale Complex IT Systems. Development, Operation and Management, 2012

Synchronous Interface Theories and Time Triggered Scheduling.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Systems, 2012

On Temporal Logic and Signal Processing.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2012

2011

Parametric Identification of Temporal Properties.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - Second International Conference, 2011

Dynamic Reactive Modules.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011

2010

Analog property checkers: a DDR2 case study.

[BibT_eX]

[DOI]

Kevin D. Jones

Victor Konrad

Formal Methods Syst. Des., 2010

From Mtl to Deterministic Timed Automata.

[BibT_eX]

[DOI]

Nir Piterman

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2010

Property-Based Monitoring of Analog and Mixed-Signal Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2010

Robustness of Sequential Circuits.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Application of Concurrency to System Design, 2010

2008

Checking Timed and Hybrid Properties: Theory and Applications. (Vérification de propriétés temporisées et hybrides: théorie et applications).

[BibT_eX]

[DOI]

PhD thesis, 2008

Checking Temporal Properties of Discrete, Timed and Continuous Behaviors.

[BibT_eX]

[DOI]

Proceedings of the Pillars of Computer Science, 2008

2007

AMT: A Property-Based Monitoring Tool for Analog Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2007

On Synthesizing Controllers from Bounded-Response Properties.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 19th International Conference, 2007

2006

From MITL to Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2006

2005

Real Time Temporal Logic: Past, Present, Future.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2005

2004

Monitoring Temporal Properties of Continuous Signals.

[BibT_eX]

[DOI]