Ezio Bartocci

According to our database1, Ezio Bartocci
  • authored at least 85 papers between 2003 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
Policy learning in continuous-time Markov decision processes using Gaussian Processes.
Perform. Eval., 2017

Introduction to the special issue on runtime verification.
Formal Methods in System Design, 2017

A Robust Genetic Algorithm for Learning Temporal Specifications from Data.
CoRR, 2017

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

SEA-PARAM: Exploring Schedulers in Parametric MDPs.
Proceedings of the Proceedings 15th Workshop on Quantitative Aspects of Programming Languages and Systems, 2017

ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans.
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.
Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017

Monitoring mobile and spatially distributed cyber-physical systems.
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.
Proceedings of the Advances in Computational Intelligence, 2017

SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems.
Proceedings of the Hardware and Software: Verification and Testing, 2017

Quantitative Regular Expressions for Arrhythmia Detection Algorithms.
Proceedings of the Computational Methods in Systems Biology, 2017

Runtime Monitoring with Recovery of the SENT Communication Protocol.
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.
STTT, 2016

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

ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans.
CoRR, 2016

Parallel Reachability Analysis for Hybrid Systems.
CoRR, 2016

Policy learning for time-bounded reachability in Continuous-Time Markov Decision Processes via doubly-stochastic gradient ascent.
CoRR, 2016

Regular Expressions for Irregular Rhythms.
CoRR, 2016

Applying Runtime Monitoring for Automotive Electronic Development.
Proceedings of the Runtime Verification - 16th International Conference, 2016

Quantitative Monitoring of STL with Edit Distance.
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.
Proceedings of the Quantitative Evaluation of Systems - 13th International Conference, 2016

Parallel reachability analysis for hybrid systems.
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.
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.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Runtime Verification and Enforcement, the (Industrial) Application Perspective (Track Introduction).
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

Temporal Logic as Filtering.
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

Discrete Abstraction of Multiaffine Systems.
Proceedings of the Hybrid Systems Biology - 5th International Workshop, 2016

Monitoring of MTL specifications with IBM's spiking-neuron model.
Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

2015
Model-order reduction of ion channel dynamics using approximate bisimulation.
Theor. Comput. Sci., 2015

System design of stochastic models using robustness of temporal properties.
Theor. Comput. Sci., 2015

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

Temporal Logic as Filtering.
CoRR, 2015

From signal temporal logic to FPGA monitors.
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.
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

XSpeed: Accelerating Reachability Analysis on Multi-core Processors.
Proceedings of the Hardware and Software: Verification and Testing, 2015

Abstraction-Based Parameter Synthesis for Multiaffine Systems.
Proceedings of the Hardware and Software: Verification and Testing, 2015

Studying Emergent Behaviours in Morphogenesis Using Signal Spatio-Temporal Logic.
Proceedings of the Hybrid Systems Biology - Fourth International Workshop, 2015

Neural Programming: Towards adaptive control in Cyber-Physical Systems.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

2014
Hybrid Systems and Biology.
Inf. Comput., 2014

Cyber-Physical Systems: Theoretical and Practical Challenges.
ERCIM News, 2014

A Formal Methods Approach to Pattern Synthesis in Reaction Diffusion Systems.
CoRR, 2014

Towards a GPGPU-parallel SPIN model checker.
Proceedings of the 2014 International Symposium on Model Checking of Software, 2014

First International Competition on Software for Runtime Verification.
Proceedings of the Runtime Verification - 5th International Conference, 2014

Temporal Logic Based Monitoring of Assisted Ventilation in Intensive Care Patients.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

Medical Cyber-Physical Systems - (Track Introduction).
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

Data-Driven Statistical Learning of Temporal Logic Properties.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2014

A formal methods approach to pattern synthesis in reaction diffusion systems.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

2013
Curvature Analysis of Cardiac Excitation Wavefronts.
IEEE/ACM Trans. Comput. Biology Bioinform., 2013

Monitoring with uncertainty.
Proceedings of the Proceedings Third International Workshop on Hybrid Autonomous Systems, 2013

Learning Temporal Logical Properties Discriminating ECG models of Cardiac Arrhytmias.
CoRR, 2013

On the Robustness of Temporal Properties for Stochastic Models.
Proceedings of the Proceedings Second International Workshop on Hybrid Systems and Biology, 2013

A temporal logic approach to modular design of synthetic biological circuits.
CoRR, 2013

Sampling-based Decentralized Monitoring for Networked Embedded Systems.
Proceedings of the Proceedings Third International Workshop on Hybrid Autonomous Systems, 2013

Runtime Verification with Particle Filtering.
Proceedings of the Runtime Verification - 4th International Conference, 2013

A Temporal Logic Approach to Modular Design of Synthetic Biological Circuits.
Proceedings of the Computational Methods in Systems Biology, 2013

2012
Multiple Verification in Complex Biological Systems: The Bone Remodelling Case Study.
Trans. Computational Systems Biology, 2012

UBioLab: a web-LABoratory for Ubiquitous in-silico experiments.
J. Integrative Bioinformatics, 2012

Adaptive Runtime Verification.
Proceedings of the Runtime Verification, Third International Conference, 2012

Approximate Bisimulations for Sodium Channel Dynamics.
Proceedings of the Computational Methods in Systems Biology, 2012

On Temporal Logic and Signal Processing.
Proceedings of the Automated Technology for Verification and Analysis, 2012

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

Model Repair for Probabilistic Systems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

A Change of Perspective Yields Formal Analysis.
Proceedings of the 34th Annual IEEE Software Engineering Workshop, 2011

Runtime Verification with State Estimation.
Proceedings of the Runtime Verification - Second International Conference, 2011

Curvature analysis of cardiac excitation wavefronts.
Proceedings of the Computational Methods in Systems Biology, 9th International Conference, 2011

Toward real-time simulation of cardiac dynamics.
Proceedings of the Computational Methods in Systems Biology, 9th International Conference, 2011

From Cardiac Cells to Genetic Regulatory Networks.
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010
Detecting synchronisation of biological oscillators by model checking.
Theor. Comput. Sci., 2010

Timed Operational Semantics and Well-Formedness of Shape Calculus.
Sci. Ann. Comp. Sci., 2010

Shape Calculus. A Spatial Mobile Calculus for 3D Shapes.
Sci. Ann. Comp. Sci., 2010

Shape Calculus: Timed Operational Semantics and Well-formedness
CoRR, 2010

2009
Modeling and simulation of cardiac tissue using hybrid I/O automata.
Theor. Comput. Sci., 2009

Model Checking Biological Oscillators.
Electr. Notes Theor. Comput. Sci., 2009

Learning and detecting emergent behavior in networks of cardiac myocytes.
Commun. ACM, 2009

A Shape Calculus for Biological Processes.
Proceedings of the Theoretical Computer Science, 11th Italian Conference, 2009

2008
Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue.
Electr. Notes Theor. Comput. Sci., 2008

CellExcite: an efficient simulation environment for excitable cells.
BMC Bioinformatics, 2008

Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes.
Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008

StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes.
Proceedings of the Concurrency, 2008

2007
Biowep: a workflow enactment portal for bioinformatics applications.
BMC Bioinformatics, 2007

BioWMS: a web-based Workflow Management System for bioinformatics.
BMC Bioinformatics, 2007

2006
Model driven design and implementation of activity-based applications in Hermes.
Proceedings of the 7th WOA 2006 Workshop, 2006

Building a MultiAgent System from a User Workflow Specification.
Proceedings of the 7th WOA 2006 Workshop, 2006

Enacting Proactive Workflows Engine in e-Science.
Proceedings of the Computational Science, 2006

2003
An XML View of the "World".
Proceedings of the ICEIS 2003, 2003


  Loading...