Ezio Bartocci

TU Wien — Austria

Computer Science · Physical Sciences

37h-index4.4kcitations266works0.92yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(122), Software Testing and Debugging Techniques(51), Software Reliability and Analysis Research(29), Gene Regulatory Network Analysis(27), Logic, programming, and type systems(21)

Publications266 total

Hypernode automata
Acta Informatica·2025Open Access
OFTEN-DEEPRL: On-the-Fly Teaching of Ethical Norms to Deep Reinforcement Learning Agents
Frontiers in artificial intelligence and applications·2025Open Access
Information-Flow Interfaces and Security Lattices
Lecture notes in computer science·2025
Rule-Guided Reinforcement Learning Policy Evaluation and Improvement
2025
Cumulative-Time Signal Temporal Logic
ACM Transactions on Embedded Computing Systems·2025· 1 citedOpen Access
Gray-box runtime enforcement of hyperproperties
Acta Informatica·2025Open Access
A Tree-Shaped Tableau for Checking the Satisfiability of Signal Temporal Logic with Bounded Temporal Operators
ACM Transactions on Embedded Computing Systems·2025· 1 citedOpen Access
TD-Interpreter: Enhancing the Understanding of Timing Diagrams with Visual-Language Learning
arXiv (Cornell University)·2025Open Access
Mining Specifications for Predictive Safety Monitoring
2025· 1 citedOpen Access
Cumulative-Time Signal Temporal Logic
arXiv (Cornell University)·2025Open Access
Moment-based Density Elicitation with Applications in Probabilistic Loops
ACM transactions on probabilistic machine learning.·2025
Rule-Guided Reinforcement Learning Policy Evaluation and Improvement
arXiv (Cornell University)·2025Open Access
Exact Upper and Lower Bounds for the Output Distribution of Neural Networks with Random Inputs
arXiv (Cornell University)·2025Open Access
POPACheck: A Model Checker for Probabilistic Pushdown Automata
arXiv (Cornell University)·2025Open Access
Quantifying the Satisfaction of Spatio-Temporal Logic Specifications for Multiagent Control
IEEE Transactions on Automatic Control·2025· 2 cited
An adaptive, provable correct simplex architecture
International Journal on Software Tools for Technology Transfer·2025Open Access
Signal Feature Coverage and Testing for CPS Dataflow Models
ACM Transactions on Software Engineering and Methodology·2025· 2 citedOpen Access
POPACheck: A Model Checker for Probabilistic Pushdown Automata
Lecture notes in computer science·2025Open Access
A Comparison of Monitoring Techniques for Deep Neural Networks
Lecture notes in computer science·2024
Correction: (Un)Solvable loop analysis
Formal Methods in System Design·2024Open Access
page 1 of 14Next →

Frequent Co-authors

Radu Grosu(19), Dejan Ničković(11), Scott A. Smolka(10), Luca Bortolussi(7), Ylìès Falcone(5), Laura Nenzi(5), Guido Sanguinetti(4), Flavio Corradini(4), Stefan Jakšić(4), Călin Belta(3), Scott D. Stoller(3), Thang Nguyen(3), Emanuela Merelli(3), Alexandre Donzé(2), Oded Maler(2), Adrian Francalanza(2), Giles Reger(2), Panagiotis Katsaros(2), Iman Haghighi(2), Justin Seyster(2)