Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDEzio 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
[i48]Ezio Bartocci, Leonardo Mariani, Dejan Nickovic, Drishti Yadav:
Property-Based Mutation Testing. CoRR abs/2301.13615 (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:
Reachable Set Over-Approximation for Nonlinear Systems Using Piecewise Barrier Tubes. CAV (1) 2018: 449-467 - [c59]Ezio Bartocci, Roderick Bloem, Dejan Nickovic, Franz Röck:
A Counting Semantics for Monitoring LTL Specifications over Finite Traces. CAV (1) 2018: 547-564 - [c58]Ezio Bartocci, Thomas Ferrère, Niveditha Manjunath, Dejan Nickovic:
Localizing Faults in Simulink/Stateflow Models with STL. HSCC 2018: 197-206 - [c57]Ezio Bartocci, Yliès Falcone:
RV-TheToP: Runtime Verification from Theory to the Industry Practice (Track Introduction). ISoLA (4) 2018: 3-8 - [c56]Sebastian Arming, Ezio Bartocci, Krishnendu Chatterjee, Joost-Pieter Katoen, Ana Sokolova:
Parameter-Independent Strategies for pMDPs via POMDPs. QEST 2018: 53-70 - [c55]Laura Nenzi, Simone Silvetti, Ezio Bartocci, Luca Bortolussi:
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, Yliès Falcone, Adrian Francalanza, Giles Reger:
Introduction to Runtime Verification. Lectures on Runtime Verification 2018: 1-33 - [p2]Ezio Bartocci, Jyotirmoy V. Deshmukh, Alexandre Donzé, Georgios Fainekos, Oded Maler, Dejan Nickovic, Sriram Sankaranarayanan:
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, Rupak Majumdar:
Introduction to the special issue on runtime verification. Formal Methods Syst. Des. 51(1): 1-4 (2017) - [j18]Ezio Bartocci, Luca Bortolussi, Tomás Brázdil, Dimitrios Milios, Guido Sanguinetti:
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, Dejan Nickovic, Radu Grosu:
Runtime Monitoring with Recovery of the SENT Communication Protocol. CAV (1) 2017: 336-355 - [c52]Houssam Abbas, Alëna Rodionova, Ezio Bartocci, Scott A. Smolka, Radu Grosu:
Quantitative Regular Expressions for Arrhythmia Detection Algorithms. CMSB 2017: 23-39 - [c51]Fedor Shmarov, Nicola Paoletti, Ezio Bartocci, Shan Lin, Scott A. Smolka, Paolo Zuliani:
SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems. Haifa Verification Conference 2017: 131-146 - [c50]