default search action
Ezio Bartocci
Person information
- affiliation: TU Wien, Vienna, Austria
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j45]Andrey Kofnov
, Marcel Moosbrugger
Exact and Approximate Moment Derivation for Probabilistic Loops With Non-Polynomial Assignments. ACM Trans. Model. Comput. Simul. 34(3): 18:1-18:25 (2024) - [c115]Anagha Athavale, Ezio Bartocci, Maria Christakis, Matteo Maffei, Dejan Nickovic, Georg Weissenbacher:
Verifying Global Two-Safety Properties in Neural Networks with Confidence. CAV (2) 2024: 329-351 - [c114]Meixun Qu
DeepRIoT: Continuous Integration and Deployment of Robotic-IoT Applications. DAC 2024: 300:1-300:6 - [c113]Ennio Visconti
Adaptable Configuration of Decentralized Monitors. FORTE 2024: 197-217 - [c112]Ezio Bartocci
The ProbInG Project: Advancing Automatic Analysis of Probabilistic Loops. ISoLA (1) 2024: 152-167 - [c111]Miroslav Stankovic
Probabilistic Loop Synthesis from Sequences of Moments. QEST+FORMATS 2024: 233-248 - [c110]Ezio Bartocci
Quantifying Uncertainty in Probabilistic Loops Without Sampling: A Fully Automated Approach. RP 2024: 3-8 - [i58]Francesco Pontiggia, Ezio Bartocci, Michele Chiari:
Model Checking Recursive Probabilistic Programs with Conditioning. CoRR abs/2404.03515 (2024) - [i57]Anagha Athavale, Ezio Bartocci, Maria Christakis, Matteo Maffei, Dejan Nickovic, Georg Weissenbacher:
Verifying Global Two-Safety Properties in Neural Networks with Confidence. CoRR abs/2405.14400 (2024) - [i56]Ezio Bartocci, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa:
Information-flow Interfaces and Security Lattices. CoRR abs/2406.14374 (2024) - 2023
- [j44]Laura Nenzi, Ezio Bartocci, Luca Bortolussi, Simone Silvetti, Michele Loreti:
MoonLight: a lightweight tool for monitoring spatio-temporal properties. Int. J. Softw. Tools Technol. Transf. 25(4): 503-517 (2023) - [j43]Ezio Bartocci
Mining Hyperproperties using Temporal Logics. ACM Trans. Embed. Comput. Syst. 22(5s): 156:1-156:26 (2023) - [c109]Oyendrila Dobe
Lightweight Verification of Hyperproperties. ATVA 2023: 3-25 - [c108]Ezio Bartocci, Thomas A. Henzinger, Dejan Nickovic
Hypernode Automata. CONCUR 2023: 21:1-21:16 - [c107]Jie He, Dejan Nickovic
TD-Magic: From Pictures of Timing Diagrams To Formal Specifications. DAC 2023: 1-6 - [c106]Davide Soldà
Progression for Monitoring in Temporal ASP. ECAI 2023: 2170-2177 - [c105]Ezio Bartocci, Leonardo Mariani, Dejan Nickovic
Property-Based Mutation Testing. ICST 2023: 222-233 - [c104]Alessandro Tundo, Marco Mobilio, Shashikant Ilager, Ivona Brandic, Ezio Bartocci, Leonardo Mariani:
An Energy-Aware Approach to Design Self-Adaptive AI-based Applications on the Edge. ASE 2023: 281-293 - [c103]Lina Gerlach
Introducing Asynchronicity to Probabilistic Hyperproperties. QEST 2023: 47-64 - [c102]Roman Andriushchenko
Deductive Controller Synthesis for Probabilistic Hyperproperties. QEST 2023: 288-306 - [c101]Edgar A. Aguilar
Mining Specification Parameters for Multi-class Classification. RV 2023: 86-105 - [c100]Benedikt Maderbacher
Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties. SPIN 2023: 141-160 - [d11]Roman Andriushchenko
Artifact supplement for "Deductive Controller Synthesis for Probabilistic Hyperproperties". Version 0.2.0. Zenodo, 2023 [all versions] - [d10]Roman Andriushchenko
Artifact supplement for "Deductive Controller Synthesis for Probabilistic Hyperproperties". Version 0.3.0. Zenodo, 2023 [all versions] - [d9]Roman Andriushchenko
Artifact supplement for "Deductive Controller Synthesis for Probabilistic Hyperproperties". Version 0.4.0. Zenodo, 2023 [all versions] - [d8]Roman Andriushchenko
Artifact supplement for "Deductive Controller Synthesis for Probabilistic Hyperproperties". Version 0.5.0. Zenodo, 2023 [all versions] - [d7]Roman Andriushchenko
Artifact supplement for "Deductive Controller Synthesis for Probabilistic Hyperproperties". Version 1.0.0. Zenodo, 2023 [all versions] - [d6]Lina Gerlach
A-HyperProb. Zenodo, 2023 - [i55]Ezio Bartocci, Leonardo Mariani, Dejan Nickovic, Drishti Yadav
Property-Based Mutation Testing. CoRR abs/2301.13615 (2023) - [i54]Andrey Kofnov
Density Elicitation with applications in Probabilistic Loops. CoRR abs/2304.09094 (2023) - [i53]Ezio Bartocci, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa:
Hypernode Automata. CoRR abs/2305.02836 (2023) - [i52]Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovács, Marcel Moosbrugger, Miroslav Stankovic:
(Un)Solvable Loop Analysis. CoRR abs/2306.01597 (2023) - [i51]Andrey Kofnov
Exact and Approximate Moment Derivation for Probabilistic Loops With Non-Polynomial Assignments. CoRR abs/2306.07072 (2023) - [i50]Roman Andriushchenko, Ezio Bartocci, Milan Ceska, Francesco Pontiggia, Sarah Sallinger:
Deductive Controller Synthesis for Probabilistic Hyperproperties. CoRR abs/2307.04503 (2023) - [i49]Lina Gerlach, Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour:
Introducing Asynchronicity to Probabilistic Hyperproperties. CoRR abs/2307.05282 (2023) - [i48]Alessandro Tundo, Marco Mobilio, Shashikant Ilager, Ivona Brandic, Ezio Bartocci, Leonardo Mariani:
An Energy-Aware Approach to Design Self-Adaptive AI-based Applications on the Edge. CoRR abs/2309.00022 (2023) - 2022
- [j42]Emery A. Neufeld
Enforcing ethical goals over reinforcement-learning policies. Ethics Inf. Technol. 24(4): 43 (2022) - [j41]Marcel Moosbrugger
The probabilistic termination tool amber. Formal Methods Syst. Des. 61(1): 90-109 (2022) - [j40]Ezio Bartocci
Survey on mining signal temporal logic specifications. Inf. Comput. 289(Part): 104957 (2022) - [j39]Oyendrila Dobe
Model checking hyperproperties for Markov decision processes. Inf. Comput. 289(Part): 104978 (2022) - [j38]Laura Nenzi, Ezio Bartocci
A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems. Log. Methods Comput. Sci. 18(1) (2022) - [j37]Marcel Moosbrugger
This is the moment for probabilistic loops. Proc. ACM Program. Lang. 6(OOPSLA2): 1497-1525 (2022) - [j36]Miroslav Stankovic
Moment-based analysis of Bayesian network properties. Theor. Comput. Sci. 903: 113-133 (2022) - [c99]Ezio Bartocci
Information-flow Interfaces. FASE 2022: 3-22 - [c98]Jie He, Ezio Bartocci
DeepSTL - From English Requirements to Signal Temporal Logic. ICSE 2022: 610-622 - [c97]Ezio Bartocci, Leonardo Mariani, Dejan Nickovic, Drishti Yadav
Search-based Testing for Accurate Fault Localization in CPS. ISSRE 2022: 145-156 - [c96]Oyendrila Dobe, Lukas Wilke, Erika Ábrahám
Probabilistic Hyperproperties with Rewards. NFM 2022: 656-673 - [c95]Emery A. Neufeld
On Normative Reinforcement Learning via Safe Reinforcement Learning. PRIMA 2022: 72-89 - [c94]Andrey Kofnov
Moment-Based Invariants for Probabilistic Loops with Non-polynomial Assignments. QEST 2022: 3-25 - [c93]Ahmad Karimi, Marcel Moosbrugger, Miroslav Stankovic, Laura Kovács, Ezio Bartocci
Distribution Estimation for Probabilistic Loops. QEST 2022: 26-42 - [c92]Daneshvar Amrollahi
Solving Invariant Generation for Unsolvable Loops. SAS 2022: 19-43 - [c91]Ezio Bartocci, Leonardo Mariani, Dejan Nickovic, Drishti Yadav
FIM: fault injection and mutation for Simulink. ESEC/SIGSOFT FSE 2022: 1716-1720 - [c90]Ezio Bartocci
Flavors of Sequential Information Flow. VMCAI 2022: 1-19 - [e8]Ezio Bartocci, Sylvie Putot:
HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4 - 6, 2022. ACM 2022, ISBN 978-1-4503-9196-2 [contents] - [d5]Ezio Bartocci
FIM: Fault Injection and Mutation for Simulink. Zenodo, 2022 - [d4]Marcel Moosbrugger
This is the Moment for Probabilistic Loops - Artifact (Polar). Version 1. Zenodo, 2022 [all versions] - [d3]Marcel Moosbrugger
This is the Moment for Probabilistic Loops - Artifact (Polar). Version 2. Zenodo, 2022 [all versions] - [d2]Marcel Moosbrugger
This is the Moment for Probabilistic Loops - Artifact (Polar). Version 3. Zenodo, 2022 [all versions] - [d1]Marcel Moosbrugger
This is the Moment for Probabilistic Loops - Artifact (Polar). Version 4. Zenodo, 2022 [all versions] - [i47]Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Laura Kovács:
This is the Moment for Probabilistic Loops. CoRR abs/2204.07185 (2022) - [i46]Andrey Kofnov
Moment-based Invariants for Probabilistic Loops with Non-polynomial Assignments. CoRR abs/2205.02577 (2022) - [i45]Daneshvar Amrollahi
Solving Invariant Generation for Unsolvable Loops. CoRR abs/2206.06943 (2022) - 2021
- [j35]Meiyi Ma
A Novel Spatial-Temporal Specification-Based Monitoring System for Smart Cities. IEEE Internet Things J. 8(15): 11793-11806 (2021) - [j34]Ezio Bartocci, Michael A. Bender:
A Perspective on "CCS Expressions, Finite State Processes, and Three Problems of Equivalence". SIGACT News 52(4): 76-77 (2021) - [j33]Ezio Bartocci
CPSDebug: Automatic failure explanation in CPS models. Int. J. Softw. Tools Technol. Transf. 23(5): 783-796 (2021) - [j32]Meiyi Ma, John A. Stankovic, Ezio Bartocci
Predictive Monitoring with Logic-Calibrated Uncertainty for Cyber-Physical Systems. ACM Trans. Embed. Comput. Syst. 20(5s): 101:1-101:25 (2021) - [c89]Ezio Bartocci
Adaptive Testing for Specification Coverage in CPS Models. ADHS 2021: 229-234 - [c88]Emery A. Neufeld
A Normative Supervisor for Reinforcement Learning Agents. CADE 2021: 565-576 - [c87]Suhail Alsalehi
Neural Network-based Control for Multi-Agent Systems from Spatio-Temporal Specifications. CDC 2021: 5110-5115 - [c86]Marcel Moosbrugger
Automated Termination Analysis of Polynomial Probabilistic Programs. ESOP 2021: 491-518 - [c85]Oyendrila Dobe, Erika Ábrahám
HyperProb: A Model Checker for Probabilistic Hyperproperties. FM 2021: 657-666 - [c84]Marcel Moosbrugger
The Probabilistic Termination Tool Amber. FM 2021: 667-675 - [c83]Ennio Visconti, Ezio Bartocci
Online monitoring of spatio-temporal properties for imprecise signals. MEMOCODE 2021: 78-88 - [c82]Ezio Bartocci
Mining Shape Expressions with ShapeIt. SEFM 2021: 110-117 - [e7]Ezio Bartocci
Formal Methods in Outer Space - Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 13065, Springer 2021, ISBN 978-3-030-87347-9 [contents] - [i44]Ezio Bartocci, Laura Kovács, Miroslav Stankovic:
MORA - Automatic Generation of Moment-Based Invariants. CoRR abs/2103.03908 (2021) - [i43]Suhail Alsalehi, Noushin Mehdipour, Ezio Bartocci, Calin Belta:
Neural Network-based Control for Multi-Agent Systems from Spatio-Temporal Specifications. CoRR abs/2104.02737 (2021) - [i42]Meiyi Ma, Ezio Bartocci, Eli Lifland, John A. Stankovic, Lu Feng:
A Novel Spatial-Temporal Specification-Based Monitoring System for Smart Cities. CoRR abs/2104.04904 (2021) - [i41]Ezio Bartocci, Luca Bortolussi, Laura Nenzi, Simone Silvetti:
MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties. CoRR abs/2104.14333 (2021) - [i40]Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa:
Flavours of Sequential Information Flow. CoRR abs/2105.02013 (2021) - [i39]Ezio Bartocci, Luca Bortolussi, Laura Nenzi, Michele Loreti:
A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems. CoRR abs/2105.11400 (2021) - [i38]Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács:
The Probabilistic Termination Tool Amber. CoRR abs/2107.13072 (2021) - [i37]Ennio Visconti, Ezio Bartocci, Michele Loreti, Laura Nenzi:
Online Monitoring of Spatio-Temporal Properties for Imprecise Signals. CoRR abs/2109.08081 (2021) - [i36]Jie He, Ezio Bartocci, Dejan Nickovic, Haris Isakovic, Radu Grosu:
From English to Signal Temporal Logic. CoRR abs/2109.10294 (2021) - [i35]Ezio Bartocci, Jyotirmoy Deshmukh, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic, Xin Qin:
Mining Shape Expressions with ShapeIt. CoRR abs/2109.11999 (2021) - 2020
- [j31]Fedor Shmarov, Sadegh Soudjani
Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems. IEEE Access 8: 180825-180843 (2020) - [j30]Ezio Bartocci
Mining Shape Expressions From Positive Examples. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(11): 3809-3820 (2020) - [c81]Erika Ábrahám
Probabilistic Hyperproperties with Nondeterminism. ATVA 2020: 518-534 - [c80]Meiyi Ma, Ezio Bartocci
SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities. ICCPS 2020: 51-62 - [c79]Ezio Bartocci
Analysis of Bayesian Networks via Prob-Solvable Loops. ICTAC 2020: 221-241 - [c78]Ezio Bartocci
CPSDebug: a tool for explanation of failures in cyber-physical systems. ISSTA 2020: 569-572 - [c77]Erika Ábrahám
Parameter Synthesis for Probabilistic Hyperproperties. LPAR 2020: 12-31 - [c76]Laura Nenzi, Ezio Bartocci
Monitoring Spatio-Temporal Properties (Invited Tutorial). RV 2020: 21-46 - [c75]Eleni Zapridou
Runtime Verification of Autonomous Driving Systems in CARLA. RV 2020: 172-183 - [c74]Ezio Bartocci
MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties. RV 2020: 417-428 - [c73]Meiyi Ma, Ezio Bartocci
Predictive monitoring with uncertainty for deep learning enabled smart cities: poster abstract. SenSys 2020: 711-712 - [c72]Ezio Bartocci
Mora - Automatic Generation of Moment-Based Invariants. TACAS (1) 2020: 492-498 - [i34]Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa:
Information-Flow Interfaces. CoRR abs/2002.06465 (2020) - [i33]Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour, Oyendrila Dobe:
Probabilistic Hyperproperties with Nondeterminism. CoRR abs/2005.06115 (2020) - [i32]Ezio Bartocci, Laura Kovács, Miroslav Stankovic:
Analysis of Bayesian Networks via Prob-Solvable Loops. CoRR abs/2007.09450 (2020) - [i31]Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács:
Automated Termination Analysis of Polynomial Probabilistic Programs. CoRR abs/2010.03444 (2020) - [i30]Ezio Bartocci, Roderick Bloem, Benedikt Maderbacher, Niveditha Manjunath, Dejan Nickovic:
Adaptive Testing for Specification Coverage. CoRR abs/2010.06674 (2020) - [i29]Meiyi Ma, John A. Stankovic, Ezio Bartocci, Lu Feng:
CityPM: Predictive Monitoring with Logic-Calibrated Uncertainty for Smart Cities. CoRR abs/2011.00384 (2020)
2010 – 2019
- 2019
- [j29]Denise Ratasich
A Roadmap Toward the Resilient Internet of Things for Cyber-Physical Systems. IEEE Access 7: 13260-13283 (2019) - [j28]César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci
A survey of challenges for runtime verification from advanced application domains (beyond software). Formal Methods Syst. Des. 54(3): 279-335 (2019) - [j27]César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci
Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software). Formal Methods Syst. Des. 55(1): 72 (2019) - [j26]Ezio Bartocci
First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014. Int. J. Softw. Tools Technol. Transf. 21(1): 31-70 (2019) - [j25]Amit Gurung
Parallel reachability analysis of hybrid systems in XSpeed. Int. J. Softw. Tools Technol. Transf. 21(4): 401-423 (2019) - [j24]Houssam Abbas
Quantitative Regular Expressions for Arrhythmia Detection. IEEE ACM Trans. Comput. Biol. Bioinform. 16(5): 1586-1597 (2019) - [c71]Ezio Bartocci
Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops. ATVA 2019: 255-276 - [c70]Iman Haghighi, Noushin Mehdipour
Control from Signal Temporal Logic Specifications with Smooth Cumulative Quantitative Semantics. CDC 2019: 4361-4366 - [c69]Paul Piho, Filip Margetiny, Ezio Bartocci
Extending a Hodgkin-Huxley Model for Larval Drosophila Muscle Excitability via Particle Swarm Fitting. CMSB 2019: 120-139 - [c68]Hui Kong, Ezio Bartocci
Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty. FORMATS 2019: 123-141 - [c67]Christian Hirsch, Ezio Bartocci
Capacitive Soil Moisture Sensor Node for IoT in Agriculture and Home. ISCT 2019: 97-102 - [c66]Denise Ratasich, Michael Platzer
Adaptive Fault Detection Exploiting Redundancy with Uncertainties in Space and Time. SASO 2019: 23-32 - [c65]Ezio Bartocci
Automatic Failure Explanation in CPS Models. SEFM 2019: 69-86 - [c64]Ezio Bartocci
TOOLympics 2019: An Overview of Competitions in Formal Methods. TACAS (3) 2019: 3-24 - [c63]Ezio Bartocci
International Competition on Runtime Verification (CRV). TACAS (3) 2019: 41-49 - [e6]Ezio Bartocci, Rance Cleaveland, Radu Grosu, Oleg Sokolsky:
From Reactive Systems to Cyber-Physical Systems - Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 11500, Springer 2019, ISBN 978-3-030-31513-9 [contents] - [i28]Fedor Shmarov, Sadegh Soudjani, Nicola Paoletti, Ezio Bartocci, Shan Lin, Scott A. Smolka, Paolo Zuliani:
Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems. CoRR abs/1901.03315 (2019) - [i27]Denise Ratasich, Michael Platzer, Radu Grosu, Ezio Bartocci:
Adaptive Fault Detection exploiting Redundancy with Uncertainties in Space and Time. CoRR abs/1903.04326 (2019) - [i26]Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Nickovic:
Automatic Failure Explanation in CPS Models. CoRR abs/1903.12468 (2019) - [i25]Ezio Bartocci, Luca Bortolussi, Michele Loreti, Laura Nenzi:
Monitoring Mobile and Spatially Distributed Cyber-Physical Systems. CoRR abs/1904.08847 (2019) - [i24]Iman Haghighi, Noushin Mehdipour, Ezio Bartocci, Calin Belta:
Control from Signal Temporal Logic Specifications with Smooth Cumulative Quantitative Semantics. CoRR abs/1904.11611 (2019) - [i23]Ezio Bartocci, Laura Kovács, Miroslav Stankovic:
Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops. CoRR abs/1905.02835 (2019) - [i22]Hui Kong, Ezio Bartocci, Yu Jiang, Thomas A. Henzinger:
Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty. CoRR abs/1907.11514 (2019) - [i21]Meiyi Ma, Ezio Bartocci, Lu Feng, John A. Stankovic:
Runtime Monitoring of Real time Safety Requirements in Smart Cities. CoRR abs/1908.02366 (2019) - 2018
- [j23]Stefan Jaksic
Quantitative monitoring of STL with edit distance. Formal Methods Syst. Des. 53(1): 83-112 (2018) - [j22]Stefan Jaksic
An Algebraic Framework for Runtime Verification. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37(11): 2233-2243 (2018) - [j21]Ezio Bartocci
Guest Editors' Introduction to the Special Section on the 14th International Conference on Computational Methods in Systems Biology (CMSB 2016). IEEE ACM Trans. Comput. Biol. Bioinform. 15(4): 1122-1123 (2018) - [j20]Ezio Bartocci
A Formal Methods Approach to Pattern Recognition and Synthesis in Reaction Diffusion Networks. IEEE Trans. Control. Netw. Syst. 5(1): 308-320 (2018) - [c62]Chuchu Fan, Yu Meng, Jürgen Maier
Verifying nonlinear analog and mixed-signal circuits with inputs. ADHS 2018: 241-246 - [c61]Simone Silvetti, Laura Nenzi
Signal Convolution Logic. ATVA 2018: 267-283 - [c60]Hui Kong, Ezio Bartocci
Reachable Set Over-Approximation for Nonlinear Systems Using Piecewise Barrier Tubes. CAV (1) 2018: 449-467 - [c59]Ezio Bartocci
A Counting Semantics for Monitoring LTL Specifications over Finite Traces. CAV (1) 2018: 547-564 - [c58]Ezio Bartocci
Localizing Faults in Simulink/Stateflow Models with STL. HSCC 2018: 197-206 - [c57]Ezio Bartocci
RV-TheToP: Runtime Verification from Theory to the Industry Practice (Track Introduction). ISoLA (4) 2018: 3-8 - [c56]Sebastian Arming, Ezio Bartocci
Parameter-Independent Strategies for pMDPs via POMDPs. QEST 2018: 53-70 - [c55]Laura Nenzi
A Robust Genetic Algorithm for Learning Temporal Specifications from Data. QEST 2018: 323-338 - [c54]Ezio Bartocci
Monitoring, Learning and Control of Cyber-Physical Systems with STL (Tutorial). RV 2018: 35-42 - [p3]Ezio Bartocci
Introduction to Runtime Verification. Lectures on Runtime Verification 2018: 1-33 - [p2]Ezio Bartocci
Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications. Lectures on Runtime Verification 2018: 135-175 - [e5]Ezio Bartocci, Yliès Falcone:
Lectures on Runtime Verification - Introductory and Advanced Topics. Lecture Notes in Computer Science 10457, Springer 2018, ISBN 978-3-319-75631-8 [contents] - [i20]Stefan Jaksic, Ezio Bartocci, Radu Grosu, Dejan Nickovic:
An Algebraic Framework for Runtime Verification. CoRR abs/1802.03775 (2018) - [i19]Chuchu Fan, Yu Meng, Jürgen Maier, Ezio Bartocci, Sayan Mitra, Ulrich Schmid:
Verifying nonlinear analog and mixed-signal circuits with inputs. CoRR abs/1803.02975 (2018) - [i18]Ezio Bartocci, Roderick Bloem, Dejan Nickovic, Franz Röck:
A Counting Semantics for Monitoring LTL Specifications over Finite Traces. CoRR abs/1804.03237 (2018) - [i17]Simone Silvetti, Laura Nenzi, Ezio Bartocci, Luca Bortolussi:
Signal Convolution Logic. CoRR abs/1806.00238 (2018) - [i16]Sebastian Arming, Ezio Bartocci, Krishnendu Chatterjee, Joost-Pieter Katoen, Ana Sokolova:
Parameter-Independent Strategies for pMDPs via POMDPs. CoRR abs/1806.05126 (2018) - [i15]Denise Ratasich, Faiq Khalid, Florian Geissler, Radu Grosu, Muhammad Shafique, Ezio Bartocci:
A Roadmap Towards Resilient Internet of Things for Cyber-Physical Systems. CoRR abs/1810.06870 (2018) - [i14]César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srdan Krstic, João 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
- [j19]Ezio Bartocci
Introduction to the special issue on runtime verification. Formal Methods Syst. Des. 51(1): 1-4 (2017) - [j18]Ezio Bartocci
Policy learning in continuous-time Markov decision processes using Gaussian Processes. Perform. Evaluation 116: 84-100 (2017) - [c53]Konstantin Selyunin, Stefan Jaksic, Thang Nguyen, Christian Reidl, Udo Hafner, Ezio Bartocci
Runtime Monitoring with Recovery of the SENT Communication Protocol. CAV (1) 2017: 336-355 - [c52]Houssam Abbas, Alëna Rodionova, Ezio Bartocci
Quantitative Regular Expressions for Arrhythmia Detection Algorithms. CMSB 2017: 23-39 - [c51]Fedor Shmarov, Nicola Paoletti
SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems. Haifa Verification Conference 2017: 131-146 - [c50]Konstantin Selyunin, Ramin M. Hasani
Computing with Biophysical and Hardware-Efficient Neural Models. IWANN (1) 2017: 535-547 - [c49]Ezio Bartocci
Monitoring mobile and spatially distributed cyber-physical systems. MEMOCODE 2017: 146-155 - [c48]Marco Baldi, Ezio Bartocci
A Probabilistic Small Model Theorem to Assess Confidentiality of Dispersed Cloud Storage. QEST 2017: 123-139 - [c47]Anna Lukina
ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans. TACAS (2) 2017: 286-302 - [c46]Sebastian Arming
SEA-PARAM: Exploring Schedulers in Parametric MDPs. QAPL@ETAPS 2017: 25-38 - [p1]Alëna Rodionova, Ezio Bartocci
Temporal Logic as Filtering. Dependable Software Systems Engineering 2017: 164-185 - [i13]Fedor Shmarov, Nicola Paoletti, Ezio Bartocci, Shan Lin, Scott A. Smolka, Paolo Zuliani:
Automated Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems. CoRR abs/1707.05229 (2017) - [i12]Simone Silvetti, Laura Nenzi, Luca Bortolussi, Ezio Bartocci:
A Robust Genetic Algorithm for Learning Temporal Specifications from Data. CoRR abs/1711.06202 (2017) - 2016
- [j17]Ezio Bartocci
Computational Modeling, Formal Analysis, and Tools for Systems Biology. PLoS Comput. Biol. 12(1) (2016) - [j16]Ezio Bartocci
Preface of the special issue on Model Checking of Software - Selected papers of the 20th International SPIN Symposium on Model Checking of Software. Int. J. Softw. Tools Technol. Transf. 18(4): 355-357 (2016) - [c45]Konstantin Selyunin, Thang Nguyen, Ezio Bartocci, Dejan Nickovic, Radu Grosu:
Monitoring of MTL specifications with IBM's spiking-neuron model. DATE 2016: 924-929 - [c44]Hui Kong, Ezio Bartocci
Discrete Abstraction of Multiaffine Systems. HSB 2016: 128-144 - [c43]Alëna Rodionova, Ezio Bartocci
Temporal Logic as Filtering. HSCC 2016: 11-20 - [c42]Kenan Kalajdzic, Cyrille Jégourel, Anna Lukina
Feedback Control for Statistical Model Checking of Cyber-Physical Systems. ISoLA (1) 2016: 46-61 - [c41]Ezio Bartocci
Runtime Verification and Enforcement, the (Industrial) Application Perspective (Track Introduction). ISoLA (2) 2016: 333-338 - [c40]Thang Nguyen, Ezio Bartocci
The HARMONIA Project: Hardware Monitoring for Automotive Systems-of-Systems. ISoLA (2) 2016: 371-379 - [c39]Amit Gurung
Parallel reachability analysis for hybrid systems. MEMOCODE 2016: 12-22 - [c38]Ezio Bartocci
Policy Learning for Time-Bounded Reachability in Continuous-Time Markov Decision Processes via Doubly-Stochastic Gradient Ascent. QEST 2016: 244-259 - [c37]Stefan Jaksic, Ezio Bartocci
Quantitative Monitoring of STL with Edit Distance. RV 2016: 201-218 - [c36]Konstantin Selyunin, Thang Nguyen, Ezio Bartocci
Applying Runtime Monitoring for Automotive Electronic Development. RV 2016: 462-469 - [e4]Ezio Bartocci, Pietro Liò, Nicola Paoletti:
Computational Methods in Systems Biology - 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings. Lecture Notes in Computer Science 9859, Springer 2016, ISBN 978-3-319-45176-3 [contents] - [i11]Ezio Bartocci, Luca Bortolussi, Tomás Brázdil, Dimitrios Milios, Guido Sanguinetti:
Policy learning for time-bounded reachability in Continuous-Time Markov Decision Processes via doubly-stochastic gradient ascent. CoRR abs/1605.09703 (2016) - [i10]Amit Gurung, Arup Deka, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu, Rajarshi Ray:
Parallel Reachability Analysis for Hybrid Systems. CoRR abs/1606.05473 (2016) - [i9]Anna Lukina, Lukas Esterle, Christian Hirsch, Ezio Bartocci, Junxing Yang, Ashish Tiwari, Scott A. Smolka, Radu Grosu:
ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans. CoRR abs/1612.07059 (2016) - [i8]Houssam Abbas, Alëna Rodionova, Ezio Bartocci, Scott A. Smolka, Radu Grosu:
Regular Expressions for Irregular Rhythms. CoRR abs/1612.07770 (2016) - 2015
- [j15]Ezio Bartocci
System design of stochastic models using robustness of temporal properties. Theor. Comput. Sci. 587: 3-25 (2015) - [j14]Md. Ariful Islam, Abhishek Murthy, Ezio Bartocci
Model-order reduction of ion channel dynamics using approximate bisimulation. Theor. Comput. Sci. 599: 34-46 (2015) - [c35]Konstantin Selyunin, Denise Ratasich, Ezio Bartocci
Neural Programming: Towards adaptive control in Cyber-Physical Systems. CDC 2015: 6978-6985 - [c34]Ezio Bartocci
Studying Emergent Behaviours in Morphogenesis Using Signal Spatio-Temporal Logic. HSB 2015: 156-172 - [c33]Rajarshi Ray, Amit Gurung
XSpeed: Accelerating Reachability Analysis on Multi-core Processors. Haifa Verification Conference 2015: 3-18 - [c32]Sergiy Bogomolov
Abstraction-Based Parameter Synthesis for Multiaffine Systems. Haifa Verification Conference 2015: 19-35 - [c31]Iman Haghighi, Austin Jones, Zhaodan Kong, Ezio Bartocci
SpaTeL: a novel spatial-temporal logic and its applications to networked systems. HSCC 2015: 189-198 - [c30]Stefan Jaksic, Ezio Bartocci
From signal temporal logic to FPGA monitors. MEMOCODE 2015: 218-227 - [e3]Ezio Bartocci
Runtime Verification - 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings. Lecture Notes in Computer Science 9333, Springer 2015, ISBN 978-3-319-23819-7 [contents] - [i7]Konstantin Selyunin, Denise Ratasich, Ezio Bartocci, Radu Grosu:
Deep Neural Programs for Adaptive Control in Cyber-Physical Systems. CoRR abs/1502.04013 (2015) - [i6]Alëna Rodionova, Ezio Bartocci, Dejan Nickovic, Radu Grosu:
Temporal Logic as Filtering. CoRR abs/1510.08079 (2015) - 2014
- [j13]Ezio Bartocci
Hybrid Systems and Biology. Inf. Comput. 236: 1-2 (2014) - [c29]Ebru Aydin Gol
A formal methods approach to pattern synthesis in reaction diffusion systems. CDC 2014: 108-113 - [c28]Ezio Bartocci
Data-Driven Statistical Learning of Temporal Logic Properties. FORMATS 2014: 23-37 - [c27]Ezio Bartocci, Sicun Gao, Scott A. Smolka:
Medical Cyber-Physical Systems - (Track Introduction). ISoLA (2) 2014: 353-355 - [c26]Sara Bufo, Ezio Bartocci, Guido Sanguinetti
Temporal Logic Based Monitoring of Assisted Ventilation in Intensive Care Patients. ISoLA (2) 2014: 391-403 - [c25]Ezio Bartocci, Borzoo Bonakdarpour, Yliès Falcone:
First International Competition on Software for Runtime Verification. RV 2014: 1-9 - [c24]Ezio Bartocci
Towards a GPGPU-parallel SPIN model checker. SPIN 2014: 87-96 - [i5]Ebru Aydin Gol, Ezio Bartocci, Calin Belta:
A Formal Methods Approach to Pattern Synthesis in Reaction Diffusion Systems. CoRR abs/1409.5671 (2014) - [i4]Ezio Bartocci, Oliver Höftberger, Radu Grosu:
Cyber-Physical Systems: Theoretical and Practical Challenges. ERCIM News 2014(97) (2014) - 2013
- [j12]Abhishek Murthy, Ezio Bartocci
Curvature Analysis of Cardiac Excitation Wavefronts. IEEE ACM Trans. Comput. Biol. Bioinform. 10(2): 323-336 (2013) - [c23]Ezio Bartocci
A Temporal Logic Approach to Modular Design of Synthetic Biological Circuits. CMSB 2013: 164-177 - [c22]Kenan Kalajdzic, Ezio Bartocci
Runtime Verification with Particle Filtering. RV 2013: 149-166 - [c21]Ezio Bartocci
Monitoring with uncertainty. HAS 2013: 1-4 - [c20]Ezio Bartocci
On the Robustness of Temporal Properties for Stochastic Models. HSB 2013: 3-19 - [c19]Ezio Bartocci
Sampling-based Decentralized Monitoring for Networked Embedded Systems. HAS 2013: 85-99 - [e2]Ezio Bartocci, C. R. Ramakrishnan:
Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings. Lecture Notes in Computer Science 7976, Springer 2013, ISBN 978-3-642-39175-0 [contents] - [i3]Ezio Bartocci, Luca Bortolussi, Laura Nenzi:
A temporal logic approach to modular design of synthetic biological circuits. CoRR abs/1306.4493 (2013) - [i2]Ezio Bartocci, Luca Bortolussi, Guido Sanguinetti:
Learning Temporal Logical Properties Discriminating ECG models of Cardiac Arrhytmias. CoRR abs/1312.7523 (2013) - 2012
- [j11]Ezio Bartocci, Diletta Cacciagrano, Maria Rita Di Berardini, Emanuela Merelli, Leonardo Vito:
UBioLab: a web-LABoratory for Ubiquitous in-silico experiments. J. Integr. Bioinform. 9(1) (2012) - [j10]Ezio Bartocci
Multiple Verification in Complex Biological Systems: The Bone Remodelling Case Study. Trans. Comp. Sys. Biology 14: 53-76 (2012) - [c18]Alexandre Donzé, Oded Maler, Ezio Bartocci
On Temporal Logic and Signal Processing. ATVA 2012: 92-106 - [c17]Abhishek Murthy, Md. Ariful Islam, Ezio Bartocci
Approximate Bisimulations for Sodium Channel Dynamics. CMSB 2012: 267-287 - [c16]Ezio Bartocci, Radu Grosu, Atul Karmarkar, Scott A. Smolka, Scott D. Stoller, Erez Zadok, Justin Seyster:
Adaptive Runtime Verification. RV 2012: 168-182 - [e1]Ezio Bartocci
Proceedings First International Workshop on Hybrid Systems and Biology, HSB 2012, Newcastle Upon Tyne, UK, 3rd September 2012. EPTCS 92, 2012 [contents] - 2011
- [j9]Roberta Alfieri, Ezio Bartocci
Modeling the cell cycle: From deterministic models to hybrid systems. Biosyst. 105(1): 34-40 (2011) - [c15]Radu Grosu, Grégory Batt, Flavio H. Fenton, James Glimm, Colas Le Guernic, Scott A. Smolka, Ezio Bartocci
From Cardiac Cells to Genetic Regulatory Networks. CAV 2011: 396-411 - [c14]Ezio Bartocci
Toward real-time simulation of cardiac dynamics. CMSB 2011: 103-112 - [c13]Abhishek Murthy, Ezio Bartocci
Curvature analysis of cardiac excitation wavefronts. CMSB 2011: 151-160 - [c12]Scott D. Stoller, Ezio Bartocci
Runtime Verification with State Estimation. RV 2011: 193-207 - [c11]Radu Grosu, Flavio H. Fenton, Scott A. Smolka, Ezio Bartocci
A Change of Perspective Yields Formal Analysis. SEW 2011: 69-76 - [c10]Ezio Bartocci
Model Repair for Probabilistic Systems. TACAS 2011: 326-340 - 2010
- [j8]Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei:
Shape Calculus. A Spatial Mobile Calculus for 3D Shapes. Sci. Ann. Comput. Sci. 20: 1-31 (2010) - [j7]Ezio Bartocci, Diletta Romana Cacciagrano, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei:
Timed Operational Semantics and Well-Formedness of Shape Calculus. Sci. Ann. Comput. Sci. 20: 32-52 (2010) - [j6]Ezio Bartocci
Detecting synchronisation of biological oscillators by model checking. Theor. Comput. Sci. 411(20): 1999-2018 (2010) - [i1]Ezio Bartocci, Diletta Romana Cacciagrano, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei:
Shape Calculus: Timed Operational Semantics and Well-formedness. CoRR abs/1011.2488 (2010)
2000 – 2009
- 2009
- [j5]Radu Grosu, Scott A. Smolka, Flavio Corradini, Anita Wasilewska, Emilia Entcheva, Ezio Bartocci
Learning and detecting emergent behavior in networks of cardiac myocytes. Commun. ACM 52(3): 97-105 (2009) - [j4]Ezio Bartocci
Modeling and simulation of cardiac tissue using hybrid I/O automata. Theor. Comput. Sci. 410(33-34): 3149-3165 (2009) - [c9]Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei:
A Shape Calculus for Biological Processes. ICTCS 2009: 30-33 - 2008
- [j3]Ezio Bartocci
CellExcite: an efficient simulation environment for excitable cells. BMC Bioinform. 9(S-2) (2008) - [c8]Ezio Bartocci
StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes. Concurrency, Graphs and Models 2008: 493-502 - [c7]Radu Grosu, Ezio Bartocci, Flavio Corradini, Emilia Entcheva, Scott A. Smolka, Anita Wasilewska:
Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes. HSCC 2008: 229-243 - [c6]Ezio Bartocci
Model Checking Biological Oscillators. FBTC@ICALP 2008: 41-58 - 2007
- [j2]Ezio Bartocci
BioWMS: a web-based Workflow Management System for bioinformatics. BMC Bioinform. 8(S-1) (2007) - [j1]Paolo Romano
Biowep: a workflow enactment portal for bioinformatics applications. BMC Bioinform. 8(S-1) (2007) - [c5]Ezio Bartocci
Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue. FBTC@CONCUR 2007: 51-67 - 2006
- [c4]Ezio Bartocci
Enacting Proactive Workflows Engine in e-Science. International Conference on Computational Science (3) 2006: 1012-1015 - [c3]Ezio Bartocci, Flavio Corradini, Emanuela Merelli:
Building a MultiAgent System from a User Workflow Specification. WOA 2006 - [c2]Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Leonardo Vito:
Model driven design and implementation of activity-based applications in Hermes. WOA 2006 - 2003
- [c1]Ezio Bartocci, Emanuela Merelli, Leonardo Mariani:
An XML View of the "World". ICEIS (1) 2003: 19-27
Coauthor Index
[c114] [c107] [c98] [i36] [j29] [j25] [j24] [c67] [c66] [e6] [i27] [j23] [j22] [i20] [i15] [c53] [c52] [c50] [c47] [p1] [c45] [c44] [c43] [c42] [c40] [c39] [c37] [c36] [i10] [i9] [i8] [j14] [c35] [c33] [c32] [c31] [c30] [i7] [i6] [i4] [j12] [c22] [c21] [c18] [c17] [c16] [c15] [c14] [c13] [c12] [c11] [c10] [j5] [j4] [j3] [c8] [c7] [c5]
[c115] [c114] [i57] [i56] [j43] [c108] [c107] [c105] [c101] [c100] [i55] [i53] [j40] [c99] [c98] [c97] [c91] [c90] [d5] [j33] [c89] [c82] [i40] [i36] [i35] [j30] [c78] [i34] [i30] [j28] [j27] [c65] [i26] [j23] [j22] [c59] [c58] [p2] [i20] [i18] [i14] [c53] [p1] [c45] [c43] [c40] [c37] [c30] [i6] [c18]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-13 20:04 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: