Name Card

Full name Familienname, Vorname
Bartocci, Ezio
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-20 of 147 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Tundo, Alessandro ; Mobilio, Marco ; Ilager, Shashikant Shankar ; Brandic, Ivona ; Bartocci, Ezio ; Mariani, Leonardo An Energy-Aware Approach to Design Self-Adaptive AI-based Applications on the EdgeInproceedings Konferenzbeitrag 8-Nov-2023
2Dobe, Oyendrila ; Schupp, Stefan Alexander ; Bartocci, Ezio ; Bonakdarpour, Borzoo ; Legay, Axel ; Pajic, Miroslav ; Wang, Yu Lightweight Verification of HyperpropertiesInproceedings Konferenzbeitrag 19-Oct-2023
3Aguilar, Edgar A ; Bartocci, Ezio ; Mateis, Cristinel ; Nesterini, Eleonora ; Nickovic, Dejan Mining Specification Parameters for Multi-class ClassificationInproceedings Konferenzbeitrag 1-Oct-2023
4Andriushchenko, Roman ; Bartocci, Ezio ; Češka, Milan ; Pontiggia, Francesco ; Sallinger, Sarah Sophie Deductive Controller Synthesis for Probabilistic HyperpropertiesInproceedings Konferenzbeitrag 15-Sep-2023
5Garlich, Lina ; Dobe, Oyendrila ; Ábrahám, Erika ; Bartocci, Ezio ; Bonakdarpour, Borzoo Introducing Asynchronicity to Probabilistic HyperpropertiesInproceedings Konferenzbeitrag 15-Sep-2023
6He, Jie ; Nickovic, Dejan ; Bartocci, Ezio ; Grosu, Radu TD-Magic: From Pictures of Timing Diagrams To Formal SpecificationsInproceedings Konferenzbeitrag 15-Sep-2023
7Bartocci, Ezio ; Henzinger, Thomas A. ; Nickovic, Dejan ; Oliveira Da Costa, Ana Alexandra Hypernode AutomataInproceedings Konferenzbeitrag 7-Sep-2023
8Bartocci, Ezio ; Mateis, Cristinel ; Nesterini, Eleonora ; Nickovic, Dejan Mining Hyperproperties using Temporal LogicsArticle Artikel Sep-2023
9Nenzi, Laura ; Bartocci, Ezio ; Bortolussi, Luca ; Silvetti, Simone ; Loreti, Michele MoonLight: a lightweight tool for monitoring spatio-temporal propertiesArticle Artikel 1-Aug-2023
10Maderbacher, Benedikt ; Schupp, Stefan ; Bartocci, Ezio ; Bloem, Roderick ; Ničković, Dejan ; Könighofer, Bettina Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness PropertiesInproceedings Konferenzbeitrag 2023
11Bartocci, Ezio ; Mariani, Leonardo ; Ničković, Dejan ; Yadav, Drishti Property-Based Mutation TestingInproceedings Konferenzbeitrag 2023
12Solda-2023-Progression for Monitoring in Temporal ASP-vor.pdf.jpgSoldà, Davide ; Lopez-Miguel, Ignacio D. ; Bartocci, Ezio ; Eiter, Thomas Progression for Monitoring in Temporal ASPInproceedings Konferenzbeitrag 2023
13Bartocci, Ezio ; Mariani, Leonardo ; Nickovic, Dejan ; Yadav, Drishti Search-based Testing for Accurate Fault Localization in CPSInproceedings Konferenzbeitrag 21-Dec-2022
14Bartocci-2022-FIM fault injection and mutation for Simulink-vor.pdf.jpgBartocci, Ezio ; Mariani, Leonardo ; Ničković, Dejan ; Yadav, Drishti FIM: fault injection and mutation for SimulinkInproceedings Konferenzbeitrag 9-Nov-2022
15Bartocci, Ezio ; Mateis, Cristinel ; Nesterini, Eleonora ; Nickovic, Dejan Survey on mining signal temporal logic specificationsArticle Artikel Nov-2022
16Moosbrugger, Marcel ; Stankovic, Miroslav ; Bartocci, Ezio ; Kovacs, Laura This Is the Moment for Probabilistic LoopsArticle Artikel 31-Oct-2022
17Karimi, Ahmad ; Moosbrugger, Marcel ; Stankovič, Miroslav ; Kovács, Laura ; Bartocci, Ezio ; Bura, Efstathia Distribution Estimation for Probabilistic LoopsInproceedings Konferenzbeitrag 12-Sep-2022
18Moosbrugger, Marcel ; Bartocci, Ezio ; Katoen, Joost-Pieter ; Kovacs, Laura The probabilistic termination tool amberArticle Artikel Aug-2022
19Dobe, Oyendrila ; Wilke, Lukas ; Ábrahám, Erika ; Bartocci, Ezio ; Bonakdarpour, Borzoo Probabilistic Hyperproperties with RewardsInproceedings Konferenzbeitrag 20-May-2022
20Bartocci, Ezio ; Ferrère, Thomas ; Henzinger, Thomas A. ; Nickovic, Dejan ; Oliveira Da Costa, Ana Alexandra Information-flow InterfacesInproceedings Konferenzbeitrag 29-Mar-2022

Contributing Publications Mitbeteiligte Publikationen

Results 1-20 of 25 (Search time: 0.001 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Kiesel Rafael Peter David - 2024 - Streaming and Quantitative Extensions of...pdf.jpgKiesel, Rafael Peter David Streaming and Quantitative Extensions of Answer Set ProgrammingThesis Hochschulschrift 2024
2Stankovic Miroslav - 2023 - Moment-Based Loop Analysis.pdf.jpgStankovic, Miroslav Moment-based loop analysisThesis Hochschulschrift 2023
3Neufeld Emeric Alexander - 2023 - Norm Compliance for Reinforcement Learning...pdf.jpgNeufeld, Emeric Alexander Norm compliance for reinforcement learning agentsThesis Hochschulschrift 2023
4Schiehl Bernhard - 2023 - Normative Compliance in Lexicographic Multi-Objective...pdf.jpgSchiehl, Bernhard Normative Compliance in Lexicographic Multi-Objective Reinforcement Learning AgentsThesis Hochschulschrift 2023
5Bartocci, Ezio ; Putot, Sylvie 25th ACM International Conference on Hybrid Systems: Computation and ControlProceedings Konferenzband2022
6Isakovic Haris - 2022 - Towards dependable CPSIoT ecosystem.pdf.jpgIsakovic, Haris Towards dependable CPS/IoT ecosystemThesis Hochschulschrift 2022
7Bartocci, Ezio ; Falcone, Ylies ; Leucker, Martin PrefaceKonferenzbeitrag Inproceedings2021
8Manjunath Niveditha - 2021 - Fault-based analysis of cyber physical systems.pdf.jpgManjunath, Niveditha Fault-based analysis of cyber physical systemsThesis Hochschulschrift 2021
9Bartocci, Ezio ; Cleaveland, Rance ; Grosu, Radu ; Sokolsky, Oleg From Reactive Systems to Cyber-Physical SystemsBuch Book2019
10Ratasich Denise - 2019 - Self-healing cyber-physical systems.pdf.jpgRatasich, Denise ; Ratasich, Denise; Ratasich, Denise; Ratasich, Denise; Ratasich, Denise; Ratasich, Denise; Ratasich, DeniseSelf-healing cyber-physical systemsThesis Hochschulschrift 2019
11Exenberger Fabian - 2019 - Fault analysis in reactive systems using log data.pdf.jpgExenberger, Fabian Fault analysis in reactive systems using log dataThesis Hochschulschrift 2019
12Bartocci, Ezio ; Falcone, Ylies ; Francalanza, Adrian ; Reger, Giles Introduction to Runtime VerificationBuchbeitrag Book Contribution2018
13Bartocci, Ezio ; Falcone, Ylies Lectures on Runtime VerificationBuch Book2018
14Bartocci, Ezio ; Deshmukh, Rupali Ganpat ; Donze, Alexandre ; Fainekos, Georgios ; Maler, Oded ; Nickovic, Dejan ; Sankaranarayanan, Sriram Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and ApplicationsBuchbeitrag Book Contribution 2018
15Treml Lilly Maria - 2018 - Simulating cardiac dynamics using Maxeler dataflow...pdf.jpgTreml, Lilly Maria Simulating cardiac dynamics using Maxeler dataflow super-computingThesis Hochschulschrift 2018
16Wang Guodong - 2018 - Neural computation methods for industrial data processing.pdf.jpgWang, Guodong Neural computation methods for industrial data processingThesis Hochschulschrift 2018
17Beck Harald - 2018 - Expressive rule-based stream reasoning.pdf.jpgBeck, Harald Expressive rule-based stream reasoningThesis Hochschulschrift 2018
18Wimmer Bernhard - 2017 - Motion planning for a six-legged robot.pdf.jpgWimmer, Bernhard Motion planning for a six-legged robotThesis Hochschulschrift 2017
19Selyunin Konstantin - 2017 - Neural models for monitoring and control with...pdf.jpgSelyunin, Konstantin Neural models for monitoring and control with applications in automotive domainThesis Hochschulschrift 2017
20Bartocci, Ezio ; Lio, Pietro ; Paoletti, Nicola Computational Methods in Systems BiologyKonferenzband Proceedings 2016