Bartocci, Ezio

Network Lab View Statistics Email Alert RSS Feed

Profile Profil

Prefix title Titel (vorangestellt)
Univ.Prof. Dr.
 
Full name Familienname, Vorname
Bartocci, Ezio
 
Main Affiliation Organisations­zuordnung
 
ORCID

Own Publications Eigene Publikationen

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

PreviewAuthors / EditorsTitleTypeIssue Date
1Rajarshi, Ray ; Amit, Gurung ; Binayak, Das ; Bartocci, Ezio ; Bogomolov, Sergiy ; Grosu, Radu ; Piterman, Nir XSpeed: Accelerating Reachability Analysis on Multi-core ProcessorsKonferenzbeitrag InproceedingsNov-2015
2Fan, Chuchu ; Meng, Yu ; Maier, Jürgen ; Bartocci, Ezio ; Mitra, Sayan ; Schmid, Ulrich Verifying nonlinear analog and mixed-signal circuits with inputsKonferenzbeitrag Inproceedings 2018
3Ariful, Islam ; Deshpande, Tushar ; Murthy, Abhishek ; Bartocci, Ezio ; Smolka, Scott A. ; Stoller, Scott D. ; Grosu, Radu Tracking Action Potentials of Nonlinear Excitable Cells using Model Predictive ControlKonferenzbeitrag Inproceedings 2014
4Bartocci, Ezio ; DeFrancisco, Richard ; Smolka, Scott A. Towards a GPGPU-parallel SPIN model checkerKonferenzbeitrag Inproceedings 2014
5Bartocci, Ezio ; Cherry, Elizabeth ; Glimm, James ; Grosu, Radu ; Smolka, Scott A. Toward real-time simulation of cardiac dynamicsKonferenzbeitrag Inproceedings 2011
6Bartocci, Ezio ; Beyer, Dirk ; Black, Paul TOOLympics 2019: An Overview of Competitions in Formal MethodsKonferenzbeitrag Inproceedings2019
7Moosbrugger, Marcel ; Stankovic, Miroslav ; Bartocci, Ezio ; Kovacs, Laura This Is the Moment for Probabilistic LoopsArticle Artikel 31-Oct-2022
8Nguyen, Thang ; Bartocci, Ezio ; Ničković, Dejan ; Grosu, Radu ; Jaksic, Stefan ; Selyunin, Konstantin The HARMONIA Project: Hardware Monitoring for Automotive Systems-of-SystemsKonferenzbeitrag Inproceedings2016
9Bufo, Sara ; Bartocci, Ezio ; Sanguinetti, Guido ; Borelli, Massimo ; Lucangelo, Umberto ; Bortolussi, Luca Temporal Logic Based Monitoring of Assisted Ventilation in Intensive Care PatientsKonferenzbeitrag Inproceedings2014
10Rodionova, Alena ; Bartocci, Ezio ; Nickovic, Dejan ; Grosu, Radu Temporal Logic as FilteringKonferenzbeitrag Inproceedings 2016
11Bartocci, Ezio ; Mateis, Cristinel ; Nesterini, Eleonora ; Nickovic, Dejan Survey on mining signal temporal logic specificationsArticle Artikel Nov-2022
12Bartocci, Ezio ; Bortolussi, Luca ; Milos, Dimitrios ; Nenzi, Laura ; Sanguinetti, Guido Studying Emergent Behaviours in Morphogenesis using Signal Spatio-Temporal LogicKonferenzbeitrag Inproceedings 2015
13Bartocci, Ezio ; Deshmukh, Rupali Ganpat ; Donze, Alexandre ; Fainekos, Georgios ; Maler, Oded ; Nickovic, Dejan ; Sankaranarayanan, Sriram ; Bartocci, Ezio ; Falcone, Yliès Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and ApplicationsBuchbeitrag Book Contribution 2018
14Haghighi, Iman ; Jones, Austin ; Kong, Zhaodan ; Bartocci, Ezio ; Gros, Radu ; Belta, Calin SpaTeLKonferenzbeitrag Inproceedings 2015
15Amrollahi , Daneshvar ; Bartocci, Ezio ; Kenison, George ; Kovács, Laura ; Moosbrugger, Marcel ; Stankovič, Miroslav Solving Invariant Generation for Unsolvable LoopsInproceedings Konferenzbeitrag 2022
16Shmarov, Fedor ; Paoletti, Nicola ; Bartocci, Ezio ; Lin, Shan ; Smolka, Scott A. ; Zuliani, Paolo SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid SystemsKonferenzbeitrag Inproceedings2017
17Silvetti, Simone ; Nenzi, Laura ; Bartocci, Ezio ; Bortolussi, Luca Signal Convolution LogicKonferenzbeitrag Inproceedings 2018
18Bartocci, Ezio ; Mariani, Leonardo ; Nickovic, Dejan ; Yadav, Drishti Search-based Testing for Accurate Fault Localization in CPSInproceedings Konferenzbeitrag 21-Dec-2022
19Arming, Sebastian ; Bartocci, Ezio ; Sokolova, Ana SEA-PARAM: Exploring Schedulers in Parametric MDPsKonferenzbeitrag Inproceedings2017
20Meiyi, Ma ; Bartocci, Ezio ; Lifland, Eli ; Stankovic, John ; Feng, Lu SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart CitiesKonferenzbeitrag Inproceedings2020

Contributing Publications Mitbeteiligte Publikationen

Results 1-20 of 21 (Search time: 0.012 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Isakovic Haris - 2022 - Towards Dependable CPSIoT Ecosystem.pdf.jpgIsakovic, Haris Towards dependable CPS/IoT ecosystemThesis Hochschulschrift 2022
2Bartocci, Ezio ; Deshmukh, Rupali Ganpat ; Donze, Alexandre ; Fainekos, Georgios ; Maler, Oded ; Nickovic, Dejan ; Sankaranarayanan, Sriram ; Bartocci, Ezio ; Falcone, Yliès Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and ApplicationsBuchbeitrag Book Contribution 2018
3Treml Lilly Maria - 2018 - Simulating cardiac dynamics using Maxeler dataflow...pdf.jpgTreml, Lilly Maria Simulating cardiac dynamics using Maxeler dataflow super-computingThesis Hochschulschrift 2018
4Ratasich 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
5Bartocci, Ezio ; Majumdar, Rupak Runtime VerificationKonferenzband Proceedings 2015
6Bartocci, Ezio ; Bortolussi, Luca Proceedings First International Workshop on Hybrid Systems and BiologyKonferenzband Proceedings2012
7Bartocci, Ezio ; Falcone, Ylies ; Leucker, Martin ; Bartocci, Ezio ; Falcone, Yliès ; Leucker, Martin PrefaceKonferenzbeitrag Inproceedings2021
8Selyunin 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
9Wang Guodong - 2018 - Neural computation methods for industrial data processing.pdf.jpgWang, Guodong Neural computation methods for industrial data processingThesis Hochschulschrift 2018
10Wimmer Bernhard - 2017 - Motion planning for a six-legged robot.pdf.jpgWimmer, Bernhard Motion planning for a six-legged robotThesis Hochschulschrift 2017
11Bartocci, Ezio ; Ramakrishnan, C.R. Model Checking SoftwareKonferenzband Proceedings 2013
12Bartocci, Ezio ; Falcone, Ylies Lectures on Runtime VerificationBuch Book2018
13Bartocci, Ezio ; Falcone, Ylies ; Francalanza, Adrian ; Reger, Giles ; Bartocci, Ezio ; Falcone, Yliès Introduction to Runtime VerificationBuchbeitrag Book Contribution2018
14Vaczula Csaba - 2016 - The Hobel algorithm SAT Loesung mit GPU ueber DPLL.pdf.jpgVaczula, Csaba The Hobel algorithm : SAT Lösung mit GPU über DPLLThesis Hochschulschrift 2016
15Bartocci, Ezio ; Cleaveland, Rance ; Grosu, Radu ; Sokolsky, Oleg From Reactive Systems to Cyber-Physical SystemsBuch Book2019
16Manjunath Niveditha - 2021 - Fault-Based Analysis of Cyber Physical Systems.pdf.jpgManjunath, Niveditha Fault-based analysis of cyber physical systemsThesis Hochschulschrift 2021
17Exenberger Fabian - 2019 - Fault analysis in reactive systems using log data.pdf.jpgExenberger, Fabian Fault analysis in reactive systems using log dataThesis Hochschulschrift 2019
18Beck Harald - 2018 - Expressive rule-based stream reasoning.pdf.jpgBeck, Harald Expressive rule-based stream reasoningThesis Hochschulschrift 2018
19Weissenbacher, Georg ; Bartocci, Ezio ; Majumdar, Rupak Explaining HeisenbugsKonferenzbeitrag Inproceedings2015
20Bartocci, Ezio ; Lio, Pietro ; Paoletti, Nicola Computational Methods in Systems BiologyKonferenzband Proceedings 2016

Projects Projekte


Results 1-2 of 2 (Search time: 0.0 seconds).

TitleP-Investigator
Distribution Recovery for Invariant Generation of ProbabilisticBartocci, Ezio
Trustworthy IoT for CPSBartocci, Ezio