


Остановите войну!
for scientists:


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
- 2023
- [j43]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) - [j42]Ezio Bartocci
, Cristinel Mateis
, Eleonora Nesterini
, Dejan Nickovic
:
Mining Hyperproperties using Temporal Logics. ACM Trans. Embed. Comput. Syst. 22(5s): 156:1-156:26 (2023) - [c109]Oyendrila Dobe
, Stefan Schupp
, Ezio Bartocci
, Borzoo Bonakdarpour
, Axel Legay
, Miroslav Pajic
, Yu Wang
:
Lightweight Verification of Hyperproperties. ATVA 2023: 3-25 - [c108]Ezio Bartocci, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa:
Hypernode Automata. CONCUR 2023: 21:1-21:16 - [c107]Jie He, Dejan Nickovic, Ezio Bartocci, Radu Grosu:
TD-Magic: From Pictures of Timing Diagrams To Formal Specifications. DAC 2023: 1-6 - [c106]Davide Soldà
, Ignacio D. Lopez-Miguel
, Ezio Bartocci
, Thomas Eiter
:
Progression for Monitoring in Temporal ASP. ECAI 2023: 2170-2177 - [c105]Ezio Bartocci, Leonardo Mariani, Dejan Nickovic, Drishti Yadav:
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
, Oyendrila Dobe
, Erika Ábrahám
, Ezio Bartocci
, Borzoo Bonakdarpour
:
Introducing Asynchronicity to Probabilistic Hyperproperties. QEST 2023: 47-64 - [c102]Roman Andriushchenko
, Ezio Bartocci
, Milan Ceska
, Francesco Pontiggia
, Sarah Sallinger
:
Deductive Controller Synthesis for Probabilistic Hyperproperties. QEST 2023: 288-306 - [c101]Edgar A. Aguilar
, Ezio Bartocci
, Cristinel Mateis
, Eleonora Nesterini
, Dejan Nickovic
:
Mining Specification Parameters for Multi-class Classification. RV 2023: 86-105 - [c100]Benedikt Maderbacher
, Stefan Schupp
, Ezio Bartocci
, Roderick Bloem
, Dejan Nickovic
, Bettina Könighofer
:
Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties. SPIN 2023: 141-160 - [i55]Ezio Bartocci, Leonardo Mariani, Dejan Nickovic, Drishti Yadav
:
Property-Based Mutation Testing. CoRR abs/2301.13615 (2023) - [i54]Andrey Kofnov
, Ezio Bartocci, Efstathia Bura:
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
, Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Efstathia Bura:
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
- [j41]Emery A. Neufeld
, Ezio Bartocci
, Agata Ciabattoni, Guido Governatori:
Enforcing ethical goals over reinforcement-learning policies. Ethics Inf. Technol. 24(4): 43 (2022) - [j40]Ezio Bartocci
, Cristinel Mateis
, Eleonora Nesterini, Dejan Nickovic
:
Survey on mining signal temporal logic specifications. Inf. Comput. 289(Part): 104957 (2022) - [j39]Oyendrila Dobe
, Erika Ábrahám, Ezio Bartocci
, Borzoo Bonakdarpour:
Model checking hyperproperties for Markov decision processes. Inf. Comput. 289(Part): 104978 (2022) - [j38]Laura Nenzi, Ezio Bartocci
, Luca Bortolussi, Michele Loreti:
A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems. Log. Methods Comput. Sci. 18(1) (2022) - [j37]Marcel Moosbrugger
, Miroslav Stankovic
, Ezio Bartocci
, Laura Kovács
:
This is the moment for probabilistic loops. Proc. ACM Program. Lang. 6(OOPSLA2): 1497-1525 (2022) - [j36]Miroslav Stankovic
, Ezio Bartocci
, Laura Kovács:
Moment-based analysis of Bayesian network properties. Theor. Comput. Sci. 903: 113-133 (2022) - [c99]Ezio Bartocci
, Thomas Ferrère
, Thomas A. Henzinger
, Dejan Nickovic
, Ana Oliveira da Costa
:
Information-flow Interfaces. FASE 2022: 3-22 - [c98]Jie He, Ezio Bartocci
, Dejan Nickovic, Haris Isakovic, Radu Grosu:
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, Ezio Bartocci
, Borzoo Bonakdarpour:
Probabilistic Hyperproperties with Rewards. NFM 2022: 656-673 - [c95]Emery A. Neufeld
, Ezio Bartocci
, Agata Ciabattoni
:
On Normative Reinforcement Learning via Safe Reinforcement Learning. PRIMA 2022: 72-89 - [c94]Andrey Kofnov
, Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci
, Efstathia Bura:
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
, Efstathia Bura:
Distribution Estimation for Probabilistic Loops. QEST 2022: 26-42 - [c92]Daneshvar Amrollahi
, Ezio Bartocci, George Kenison
, Laura Kovács, Marcel Moosbrugger, Miroslav Stankovic:
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
, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa
:
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] - [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
, Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci
, Efstathia Bura:
Moment-based Invariants for Probabilistic Loops with Non-polynomial Assignments. CoRR abs/2205.02577 (2022) - [i45]Daneshvar Amrollahi
, Ezio Bartocci
, George Kenison, Laura Kovács, Marcel Moosbrugger, Miroslav Stankovic:
Solving Invariant Generation for Unsolvable Loops. CoRR abs/2206.06943 (2022) - 2021
- [j35]Meiyi Ma
, Ezio Bartocci
, Eli Lifland
, John A. Stankovic
, Lu Feng
:
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
, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis
, Dejan Nickovic
:
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
, Lu Feng:
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
, Roderick Bloem
, Benedikt Maderbacher, Niveditha Manjunath, Dejan Nickovic
:
Adaptive Testing for Specification Coverage in CPS Models. ADHS 2021: 229-234 - [c88]Emery A. Neufeld
, Ezio Bartocci
, Agata Ciabattoni
, Guido Governatori
:
A Normative Supervisor for Reinforcement Learning Agents. CADE 2021: 565-576 - [c87]Suhail Alsalehi
, Noushin Mehdipour, Ezio Bartocci
, Calin Belta:
Neural Network-based Control for Multi-Agent Systems from Spatio-Temporal Specifications. CDC 2021: 5110-5115 - [c86]Marcel Moosbrugger
, Ezio Bartocci
, Joost-Pieter Katoen
, Laura Kovács
:
Automated Termination Analysis of Polynomial Probabilistic Programs. ESOP 2021: 491-518 - [c85]Oyendrila Dobe, Erika Ábrahám
, Ezio Bartocci
, Borzoo Bonakdarpour
:
HyperProb: A Model Checker for Probabilistic Hyperproperties. FM 2021: 657-666 - [c84]Marcel Moosbrugger
, Ezio Bartocci
, Joost-Pieter Katoen
, Laura Kovács
:
The Probabilistic Termination Tool Amber. FM 2021: 667-675 - [c83]Ennio Visconti, Ezio Bartocci
, Michele Loreti, Laura Nenzi:
Online monitoring of spatio-temporal properties for imprecise signals. MEMOCODE 2021: 78-88 - [c82]Ezio Bartocci
, Jyotirmoy Deshmukh, Cristinel Mateis
, Eleonora Nesterini, Dejan Nickovic
, Xin Qin:
Mining Shape Expressions with ShapeIt. SEFM 2021: 110-117 - [e7]Ezio Bartocci
, Yliès Falcone
, Martin Leucker:
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
, Nicola Paoletti
, Ezio Bartocci
, Shan Lin
, Scott A. Smolka, Paolo Zuliani
:
Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems. IEEE Access 8: 180825-180843 (2020) - [j30]Ezio Bartocci
, Jyotirmoy Deshmukh, Felix Gigler
, Cristinel Mateis
, Dejan Nickovic
, Xin Qin:
Mining Shape Expressions From Positive Examples. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(11): 3809-3820 (2020) - [c81]Erika Ábrahám, Ezio Bartocci
, Borzoo Bonakdarpour, Oyendrila Dobe:
Probabilistic Hyperproperties with Nondeterminism. ATVA 2020: 518-534 - [c80]Meiyi Ma, Ezio Bartocci
, Eli Lifland, John A. Stankovic, Lu Feng:
SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities. ICCPS 2020: 51-62 - [c79]Ezio Bartocci
, Laura Kovács
, Miroslav Stankovic
:
Analysis of Bayesian Networks via Prob-Solvable Loops. ICTAC 2020: 221-241 - [c78]Ezio Bartocci
, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis
, Dejan Nickovic, Fabrizio Pastore
:
CPSDebug: a tool for explanation of failures in cyber-physical systems. ISSTA 2020: 569-572 - [c77]Erika Ábrahám, Ezio Bartocci
, Borzoo Bonakdarpour, Oyendrila Dobe
:
Parameter Synthesis for Probabilistic Hyperproperties. LPAR 2020: 12-31 - [c76]Laura Nenzi, Ezio Bartocci
, Luca Bortolussi
, Michele Loreti, Ennio Visconti
:
Monitoring Spatio-Temporal Properties (Invited Tutorial). RV 2020: 21-46 - [c75]Eleni Zapridou
, Ezio Bartocci
, Panagiotis Katsaros
:
Runtime Verification of Autonomous Driving Systems in CARLA. RV 2020: 172-183 - [c74]Ezio Bartocci
, Luca Bortolussi
, Michele Loreti, Laura Nenzi, Simone Silvetti:
MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties. RV 2020: 417-428 - [c73]Meiyi Ma, Ezio Bartocci
, John A. Stankovic, Lu Feng:
Predictive monitoring with uncertainty for deep learning enabled smart cities: poster abstract. SenSys 2020: 711-712 - [c72]Ezio Bartocci
, Laura Kovács
, Miroslav Stankovic
:
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
, Faiq Khalid, Florian Geissler, Radu Grosu, Muhammad Shafique
, Ezio Bartocci
:
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
, 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). Formal Methods Syst. Des. 54(3): 279-335 (2019) - [j27]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:
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
, Yliès Falcone, Borzoo Bonakdarpour, Christian Colombo
, Normann Decker, Klaus Havelund, Yogi Joshi, Felix Klaedtke, Reed Milewicz, Giles Reger
, Grigore Rosu, Julien Signoles, Daniel Thoma, Eugen Zalinescu, Yi Zhang:
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
, Rajarshi Ray, Ezio Bartocci
, Sergiy Bogomolov
, Radu Grosu:
Parallel reachability analysis of hybrid systems in XSpeed. Int. J. Softw. Tools Technol. Transf. 21(4): 401-423 (2019) - [j24]Houssam Abbas
, Alëna Rodionova
, Konstantinos Mamouras, Ezio Bartocci
, Scott A. Smolka, Radu Grosu
:
Quantitative Regular Expressions for Arrhythmia Detection. IEEE ACM Trans. Comput. Biol. Bioinform. 16(5): 1586-1597 (2019) - [c71]Ezio Bartocci
, Laura Kovács
, Miroslav Stankovic
:
Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops. ATVA 2019: 255-276 - [c70]Iman Haghighi, Noushin Mehdipour
, Ezio Bartocci
, Calin Belta:
Control from Signal Temporal Logic Specifications with Smooth Cumulative Quantitative Semantics. CDC 2019: 4361-4366 - [c69]Paul Piho, Filip Margetiny, Ezio Bartocci
, Richard R. Ribchester, Jane Hillston:
Extending a Hodgkin-Huxley Model for Larval Drosophila Muscle Excitability via Particle Swarm Fitting. CMSB 2019: 120-139 - [c68]Hui Kong, Ezio Bartocci
, Yu Jiang, Thomas A. Henzinger:
Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty. FORMATS 2019: 123-141 - [c67]Christian Hirsch, Ezio Bartocci
, Radu Grosu:
Capacitive Soil Moisture Sensor Node for IoT in Agriculture and Home. ISCT 2019: 97-102 - [c66]Denise Ratasich, Michael Platzer
, Radu Grosu, Ezio Bartocci
:
Adaptive Fault Detection Exploiting Redundancy with Uncertainties in Space and Time. SASO 2019: 23-32 - [c65]Ezio Bartocci
, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis
, Dejan Nickovic:
Automatic Failure Explanation in CPS Models. SEFM 2019: 69-86 - [c64]Ezio Bartocci
, Dirk Beyer
, Paul E. Black, Grigory Fedyukovich, Hubert Garavel, Arnd Hartmanns, Marieke Huisman
, Fabrice Kordon, Julian Nagele
, Mihaela Sighireanu, Bernhard Steffen
, Martin Suda, Geoff Sutcliffe
, Tjark Weber, Akihisa Yamada
:
TOOLympics 2019: An Overview of Competitions in Formal Methods. TACAS (3) 2019: 3-24 - [c63]Ezio Bartocci
, Yliès Falcone, Giles Reger
:
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
, Ezio Bartocci
, Radu Grosu, Thang Nguyen, Dejan Nickovic:
Quantitative monitoring of STL with edit distance. Formal Methods Syst. Des. 53(1): 83-112 (2018) - [j22]Stefan Jaksic
, Ezio Bartocci
, Radu Grosu
, Dejan Nickovic:
An Algebraic Framework for Runtime Verification. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37(11): 2233-2243 (2018) - [j21]Ezio Bartocci
, Pietro Liò
, Nicola Paoletti
:
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
, Ebru Aydin Gol
, Iman Haghighi
, Calin Belta:
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
, Ezio Bartocci
, Sayan Mitra
, Ulrich Schmid:
Verifying nonlinear analog and mixed-signal circuits with inputs. ADHS 2018: 241-246 - [c61]Simone Silvetti, Laura Nenzi
, Ezio Bartocci
, Luca Bortolussi
:
Signal Convolution Logic. ATVA 2018: 267-283 - [c60]Hui Kong, Ezio Bartocci
, Thomas A. Henzinger: