Bartocci, Ezio
- DeepSTL -- From English Requirements to Signal Temporal Logic
2021/09/21 by Jie He, Ezio Bartocci, He, Jie +7 · 6 citations
Computer Science · #Formal Methods in Verification #Model-Driven Software Engineering Techniques #Software Testing and Debugging Techniques
- A Survey of Challenges for Runtime Verification from Advanced\n Application Domains (Beyond Software)
2018/11/16 by César Sánchez, Gerardo Schneider, Sánchez, César +29 · 4 citations
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Security and Verification in Computing #Software Engineering (cs.SE) #Software Testing and Debugging Techniques
- A Robust Genetic Algorithm for Learning Temporal Specifications from Data
2017/11/13 by Laura Nenzi, Nenzi, Laura, Simone Silvetti +5 · 4 citations
Computer Science · Engineering · #Anomaly Detection Techniques and Applications #Artificial Immune Systems Applications #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Time Series Analysis and Forecasting
- Automated Termination Analysis of Polynomial Probabilistic Programs
2020/10/07 by Moosbrugger, Marcel, Bartocci, Ezio, Katoen, Joost-Pieter +1 · 2 citations
#FOS: Computer and information sciences #Programming Languages (cs.PL)
- Control from Signal Temporal Logic Specifications with Smooth Cumulative\n Quantitative Semantics
2019/04/25 by Iman Haghighi, Noushin Mehdipour, Haghighi, Iman +5 · 2 citations
Biochemistry, Genetics and Molecular Biology · Computer Science · Engineering · #Advanced Control Systems Optimization #FOS: Electrical engineering #Formal Methods in Verification #Receptor Mechanisms and Signaling #Systems and Control (eess.SY) #electronic engineering #information engineering
- ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans
2016/12/21 by Anna Lukina, Lukina, Anna, Lukas Esterle +13 · 1 citation
Computer Science · #Artificial Intelligence (cs.AI) #Distributed Control Multi-Agent Systems #FOS: Computer and information sciences #FOS: Electrical engineering #Multiagent Systems (cs.MA) #Reinforcement Learning in Robotics #Robotic Path Planning Algorithms #Systems and Control (eess.SY) #electronic engineering #information engineering
- Parameter-Independent Strategies for pMDPs via POMDPs
2018/06/13 by Arming, Sebastian, Bartocci, Ezio, Chatterjee, Krishnendu +2 · 1 citation
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Automatic Failure Explanation in CPS Models
2019/03/29 by Bartocci, Ezio, Manjunath, Niveditha, Mariani, Leonardo +2 · 1 citation
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Software Engineering (cs.SE)
- Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops
2019/05/07 by Bartocci, Ezio, Kovács, Laura, Stankovič, Miroslav · 1 citation
#FOS: Computer and information sciences #Symbolic Computation (cs.SC)
- Probabilistic Hyperproperties with Nondeterminism
2020/05/13 by Abraham, Erika, Bartocci, Ezio, Bonakdarpour, Borzoo +1 · 1 citation
#Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO)
- Verifying Global Two-Safety Properties in Neural Networks with Confidence
2024/05/23 by Athavale, Anagha, Bartocci, Ezio, Christakis, Maria +3 · 2 citations
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- MORA -- Automatic Generation of Moment-Based Invariants
2021/03/05 by Bartocci, Ezio, Kovacs, Laura, Stankovic, Miroslav · 1 citation
#FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Programming Languages (cs.PL)
- The Probabilistic Termination Tool Amber
2021/07/27 by Marcel Moosbrugger, Moosbrugger, Marcel, Ezio Bartocci +5 · 1 citation
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems #Programming Languages (cs.PL) #Software Testing and Debugging Techniques
- Quantitative Regular Expressions for Arrhythmia Detection Algorithms
2016/12/22 by Houssam Abbas, Abbas, Houssam, Alena Rodionova +7 · 1 voice
Computer Science · #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO) #cs.FL #cs.LO
- An Energy-Aware Approach to Design Self-Adaptive AI-based Applications on the Edge
2023/08/31 by Alessandro Tundo, Marco Mobilio, Tundo, Alessandro +9 · 1 citation
Computer Science · Engineering · Environmental Science · #Air Quality Monitoring and Forecasting #FOS: Computer and information sciences #FOS: Electrical engineering #Green IT and Sustainability #IoT and Edge/Fog Computing #Machine Learning (cs.LG) #Software Engineering (cs.SE) #Systems and Control (eess.SY) #electronic engineering #information engineering