Ezio Bartocci

Borzoo Bonakdarpour

Proceedings of the Formal Methods - 24th International Symposium, 2021

Automated Termination Analysis of Polynomial Probabilistic Programs.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2021

Neural Network-based Control for Multi-Agent Systems from Spatio-Temporal Specifications.

[BibT_eX]

[DOI]

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

A Normative Supervisor for Reinforcement Learning Agents.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction - CADE 28, 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

CityPM: Predictive Monitoring with Logic-Calibrated Uncertainty for Smart Cities.

[BibT_eX]

[DOI]

CoRR, 2020

Adaptive Testing for Specification Coverage.

[BibT_eX]

[DOI]

CoRR, 2020

Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems.

[BibT_eX]

[DOI]

IEEE Access, 2020

Mora - Automatic Generation of Moment-Based Invariants.

[BibT_eX]

[DOI]

Laura Kovács

Miroslav Stankovic

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

Predictive monitoring with uncertainty for deep learning enabled smart cities: poster abstract.

[BibT_eX]

[DOI]

Proceedings of the SenSys '20: The 18th ACM Conference on Embedded Networked Sensor Systems, 2020

Runtime Verification of Autonomous Driving Systems in CARLA.

[BibT_eX]

[DOI]

Eleni Zapridou

Panagiotis Katsaros

Proceedings of the Runtime Verification - 20th International Conference, 2020

Monitoring Spatio-Temporal Properties (Invited Tutorial).

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 20th International Conference, 2020

Parameter Synthesis for Probabilistic Hyperproperties.

[BibT_eX]

[DOI]

Proceedings of the LPAR 2020: 23rd International Conference on Logic for Programming, 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

Analysis of Bayesian Networks via Prob-Solvable Loops.

[BibT_eX]

[DOI]

Laura Kovács

Miroslav Stankovic

Proceedings of the Theoretical Aspects of Computing - ICTAC 2020 - 17th International Colloquium, Macau, China, November 30, 2020

SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities.

[BibT_eX]

[DOI]

Proceedings of the 11th ACM/IEEE International Conference on Cyber-Physical Systems, 2020

Probabilistic Hyperproperties with Nondeterminism.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2020

2019

Quantitative Regular Expressions for Arrhythmia Detection.

[BibT_eX]

[DOI]

Houssam Abbas

Alëna Rodionova

Konstantinos Mamouras

IEEE ACM Trans. Comput. Biol. Bioinform., 2019

Parallel reachability analysis of hybrid systems in XSpeed.

[BibT_eX]

[DOI]

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

First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 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

Runtime Monitoring of Real time Safety Requirements in Smart Cities.

[BibT_eX]

[DOI]

CoRR, 2019

A Roadmap Toward the Resilient Internet of Things for Cyber-Physical Systems.

[BibT_eX]

[DOI]

IEEE Access, 2019

International Competition on Runtime Verification (CRV).

[BibT_eX]

[DOI]

Giles Reger

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

TOOLympics 2019: An Overview of Competitions in Formal Methods.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Automatic Failure Explanation in CPS Models.

[BibT_eX]

[DOI]

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

Adaptive Fault Detection Exploiting Redundancy with Uncertainties in Space and Time.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2019

Capacitive Soil Moisture Sensor Node for IoT in Agriculture and Home.

[BibT_eX]

[DOI]

Christian Hirsch

Proceedings of the IEEE 23rd International Symposium on Consumer Technologies, 2019

Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty.

[BibT_eX]

[DOI]

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

Extending a Hodgkin-Huxley Model for Larval Drosophila Muscle Excitability via Particle Swarm Fitting.

[BibT_eX]

[DOI]

Paul Piho

Filip Margetiny

Richard R. Ribchester

Jane Hillston

Proceedings of the Computational Methods in Systems Biology, 2019

Control from Signal Temporal Logic Specifications with Smooth Cumulative Quantitative Semantics.

[BibT_eX]

[DOI]

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops.

[BibT_eX]

[DOI]

Laura Kovács

Miroslav Stankovic

Proceedings of the Automated Technology for Verification and Analysis, 2019

2018

Introduction to Runtime Verification.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

Jyotirmoy V. Deshmukh

Sriram Sankaranarayanan

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

A Formal Methods Approach to Pattern Recognition and Synthesis in Reaction Diffusion Networks.

[BibT_eX]

[DOI]

IEEE Trans. Control. Netw. Syst., 2018

Guest Editors' Introduction to the Special Section on the 14th International Conference on Computational Methods in Systems Biology (CMSB 2016).

[BibT_eX]

[DOI]

Pietro Liò

Nicola Paoletti

IEEE ACM Trans. Comput. Biol. Bioinform., 2018

An Algebraic Framework for Runtime Verification.

[BibT_eX]

[DOI]

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

Quantitative monitoring of STL with edit distance.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2018

A Roadmap Towards Resilient Internet of Things for Cyber-Physical Systems.

[BibT_eX]

[DOI]

CoRR, 2018

Monitoring, Learning and Control of Cyber-Physical Systems with STL (Tutorial).

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 18th International Conference, 2018

A Robust Genetic Algorithm for Learning Temporal Specifications from Data.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 15th International Conference, 2018

Parameter-Independent Strategies for pMDPs via POMDPs.

[BibT_eX]

[DOI]

Sebastian Arming

Krishnendu Chatterjee

Joost-Pieter Katoen

Ana Sokolova

Proceedings of the Quantitative Evaluation of Systems - 15th International Conference, 2018

RV-TheToP: Runtime Verification from Theory to the Industry Practice (Track Introduction).

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 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

Reachable Set Over-Approximation for Nonlinear Systems Using Piecewise Barrier Tubes.

[BibT_eX]

[DOI]

Hui Kong

Thomas A. Henzinger

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

A Counting Semantics for Monitoring LTL Specifications over Finite Traces.

[BibT_eX]

[DOI]

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

Signal Convolution Logic.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2018

Verifying nonlinear analog and mixed-signal circuits with inputs.

[BibT_eX]

[DOI]

Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

2017

Temporal Logic as Filtering.

[BibT_eX]

[DOI]

Proceedings of the Dependable Software Systems Engineering, 2017

Policy learning in continuous-time Markov decision processes using Gaussian Processes.

[BibT_eX]

[DOI]

Perform. Evaluation, 2017

Introduction to the special issue on runtime verification.

[BibT_eX]

[DOI]

Rupak Majumdar

Formal Methods Syst. Des., 2017

Automated Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems.

[BibT_eX]

[DOI]

CoRR, 2017

SEA-PARAM: Exploring Schedulers in Parametric MDPs.

[BibT_eX]

[DOI]

Sebastian Arming

Ana Sokolova

Proceedings of the Proceedings 15th Workshop on Quantitative Aspects of Programming Languages and Systems, 2017

ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

A Probabilistic Small Model Theorem to Assess Confidentiality of Dispersed Cloud Storage.

[BibT_eX]

[DOI]

Marco Baldi

Franco Chiaraluce

Alessandro Cucchiarelli

Linda Senigagliesi

Luca Spalazzi

Francesco Spegni

Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017

Monitoring mobile and spatially distributed cyber-physical systems.

[BibT_eX]

[DOI]

Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2017

Computing with Biophysical and Hardware-Efficient Neural Models.

[BibT_eX]

[DOI]

Proceedings of the Advances in Computational Intelligence, 2017

SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Hardware and Software: Verification and Testing, 2017

Quantitative Regular Expressions for Arrhythmia Detection Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, 2017

Runtime Monitoring with Recovery of the SENT Communication Protocol.

[BibT_eX]

[DOI]

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

2016

Preface of the special issue on Model Checking of Software - Selected papers of the 20th International SPIN Symposium on Model Checking of Software.

[BibT_eX]

[DOI]

C. R. Ramakrishnan

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

Computational Modeling, Formal Analysis, and Tools for Systems Biology.

[BibT_eX]

[DOI]

Pietro Liò

PLoS Comput. Biol., 2016

Regular Expressions for Irregular Rhythms.

[BibT_eX]

[DOI]

CoRR, 2016

Applying Runtime Monitoring for Automotive Electronic Development.

[BibT_eX]

[DOI]

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

Quantitative Monitoring of STL with Edit Distance.

[BibT_eX]

[DOI]

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

Policy Learning for Time-Bounded Reachability in Continuous-Time Markov Decision Processes via Doubly-Stochastic Gradient Ascent.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 13th International Conference, 2016

Parallel reachability analysis for hybrid systems.

[BibT_eX]

[DOI]

Proceedings of the 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, 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

Feedback Control for Statistical Model Checking of Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Runtime Verification and Enforcement, the (Industrial) Application Perspective (Track Introduction).

[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

Discrete Abstraction of Multiaffine Systems.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems Biology - 5th International Workshop, 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

Model-order reduction of ion channel dynamics using approximate bisimulation.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2015

System design of stochastic models using robustness of temporal properties.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2015

Deep Neural Programs for Adaptive Control in Cyber-Physical Systems.

[BibT_eX]

[DOI]

CoRR, 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

SpaTeL: a novel spatial-temporal logic and its applications to networked systems.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

XSpeed: Accelerating Reachability Analysis on Multi-core Processors.

[BibT_eX]

[DOI]

Proceedings of the Hardware and Software: Verification and Testing, 2015

Abstraction-Based Parameter Synthesis for Multiaffine Systems.

[BibT_eX]

[DOI]

Proceedings of the Hardware and Software: Verification and Testing, 2015

Studying Emergent Behaviours in Morphogenesis Using Signal Spatio-Temporal Logic.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems Biology - Fourth International Workshop, 2015

Neural Programming: Towards adaptive control in Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

2014

Hybrid Systems and Biology.

[BibT_eX]

[DOI]

Inf. Comput., 2014

Cyber-Physical Systems: Theoretical and Practical Challenges.

[BibT_eX]

[DOI]

Oliver Höftberger

ERCIM News, 2014

Towards a GPGPU-parallel SPIN model checker.

[BibT_eX]

[DOI]

Richard DeFrancisco

Proceedings of the 2014 International Symposium on Model Checking of Software, 2014

First International Competition on Software for Runtime Verification.

[BibT_eX]

[DOI]

Borzoo Bonakdarpour

Proceedings of the Runtime Verification - 5th International Conference, 2014

Temporal Logic Based Monitoring of Assisted Ventilation in Intensive Care Patients.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

Medical Cyber-Physical Systems - (Track Introduction).

[BibT_eX]

[DOI]

Sicun Gao

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

Data-Driven Statistical Learning of Temporal Logic Properties.

[BibT_eX]

[DOI]

Guido Sanguinetti

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

A formal methods approach to pattern synthesis in reaction diffusion systems.

[BibT_eX]

[DOI]

Ebru Aydin Gol

Calin Belta

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

2013

Curvature Analysis of Cardiac Excitation Wavefronts.

[BibT_eX]

[DOI]

IEEE ACM Trans. Comput. Biol. Bioinform., 2013

Monitoring with uncertainty.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Third International Workshop on Hybrid Autonomous Systems, 2013

Learning Temporal Logical Properties Discriminating ECG models of Cardiac Arrhytmias.

[BibT_eX]

[DOI]

Guido Sanguinetti

CoRR, 2013

On the Robustness of Temporal Properties for Stochastic Models.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Second International Workshop on Hybrid Systems and Biology, 2013

Sampling-based Decentralized Monitoring for Networked Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Third International Workshop on Hybrid Autonomous Systems, 2013

Runtime Verification with Particle Filtering.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 4th International Conference, 2013

A Temporal Logic Approach to Modular Design of Synthetic Biological Circuits.

[BibT_eX]

[DOI]

Laura Nenzi

Proceedings of the Computational Methods in Systems Biology, 2013

2012

Multiple Verification in Complex Biological Systems: The Bone Remodelling Case Study.

[BibT_eX]

[DOI]

Trans. Comp. Sys. Biology, 2012

UBioLab: a web-LABoratory for Ubiquitous in-silico experiments.

[BibT_eX]

[DOI]

Diletta Cacciagrano

Leonardo Vito

J. Integr. Bioinform., 2012

Adaptive Runtime Verification.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification, Third International Conference, 2012

Approximate Bisimulations for Sodium Channel Dynamics.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, 2012

On Temporal Logic and Signal Processing.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2012

2011

Modeling the cell cycle: From deterministic models to hybrid systems.

[BibT_eX]

[DOI]

Biosyst., 2011

Model Repair for Probabilistic Systems.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

A Change of Perspective Yields Formal Analysis.

[BibT_eX]

[DOI]

Proceedings of the 34th Annual IEEE Software Engineering Workshop, 2011

Runtime Verification with State Estimation.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - Second International Conference, 2011

Curvature analysis of cardiac excitation wavefronts.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, 9th International Conference, 2011

Toward real-time simulation of cardiac dynamics.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, 9th International Conference, 2011

From Cardiac Cells to Genetic Regulatory Networks.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010

Detecting synchronisation of biological oscillators by model checking.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2010

Timed Operational Semantics and Well-Formedness of Shape Calculus.

[BibT_eX]

[DOI]

Diletta Romana Cacciagrano

Sci. Ann. Comput. Sci., 2010

Shape Calculus. A Spatial Mobile Calculus for 3D Shapes.

[BibT_eX]

[DOI]

Sci. Ann. Comput. Sci., 2010

Shape Calculus: Timed Operational Semantics and Well-formedness

[BibT_eX]

[DOI]

Diletta Romana Cacciagrano

CoRR, 2010

2009

Modeling and simulation of cardiac tissue using hybrid I/O automata.

[BibT_eX]

[DOI]

Emilia Entcheva

Theor. Comput. Sci., 2009

Learning and detecting emergent behavior in networks of cardiac myocytes.

[BibT_eX]

[DOI]

Commun. ACM, 2009

A Shape Calculus for Biological Processes.

[BibT_eX]

Proceedings of the Theoretical Computer Science, 11th Italian Conference, 2009

2008

Model Checking Biological Oscillators.

[BibT_eX]

[DOI]

Proceedings of the Second Workshop From Biology to Concurrency and Back, 2008

CellExcite: an efficient simulation environment for excitable cells.

[BibT_eX]

[DOI]

BMC Bioinform., 2008

StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes.

[BibT_eX]

[DOI]

Proceedings of the Concurrency, 2008

2007

Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue.

[BibT_eX]

[DOI]

Emilia Entcheva

Proceedings of the First Workshop "From Biology To Concurrency and back", 2007

Biowep: a workflow enactment portal for bioinformatics applications.

[BibT_eX]

[DOI]

BMC Bioinform., 2007

BioWMS: a web-based Workflow Management System for bioinformatics.

[BibT_eX]

[DOI]

BMC Bioinform., 2007

2006

Model driven design and implementation of activity-based applications in Hermes.

[BibT_eX]

[DOI]

Proceedings of the 7th WOA 2006 Workshop, 2006

Building a MultiAgent System from a User Workflow Specification.

[BibT_eX]

[DOI]

Proceedings of the 7th WOA 2006 Workshop, 2006

Enacting Proactive Workflows Engine in e-Science.

[BibT_eX]

[DOI]

Proceedings of the Computational Science, 2006

2003

An XML View of the "World".

[BibT_eX]