Bartocci, Ezio

Network Lab View Statistics Email Alert RSS Feed

Name Card

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

Own Publications Eigene Publikationen

Results 1-1 of 1 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Bartocci, Ezio Formal analysis of cyber-physical systemsThesis Hochschulschrift2018

Contributing Publications Mitbeteiligte Publikationen

Results 1-14 of 14 (Search time: 0.019 seconds).

PreviewAuthor(s)TitleTypeIssue 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
5Isakovic Haris - 2022 - Towards dependable CPSIoT ecosystem.pdf.jpgIsakovic, Haris Towards dependable CPS/IoT ecosystemsThesis Hochschulschrift 2022
6Manjunath Niveditha - 2021 - Fault-based analysis of cyber physical systems.pdf.jpgManjunath, Niveditha Fault-based analysis of cyber physical systemsThesis Hochschulschrift 2021
7Ratasich 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
8Exenberger Fabian - 2019 - Fault analysis in reactive systems using log data.pdf.jpgExenberger, Fabian Fault analysis in reactive systems using log dataThesis Hochschulschrift 2019
9Treml Lilly Maria - 2018 - Simulating cardiac dynamics using Maxeler dataflow...pdf.jpgTreml, Lilly Maria Simulating cardiac dynamics using Maxeler dataflow super-computingThesis Hochschulschrift 2018
10Wang Guodong - 2018 - Neural computation methods for industrial data processing.pdf.jpgWang, Guodong Neural computation methods for industrial data processingThesis Hochschulschrift 2018
11Beck Harald - 2018 - Expressive rule-based stream reasoning.pdf.jpgBeck, Harald Expressive rule-based stream reasoningThesis Hochschulschrift 2018
12Wimmer Bernhard - 2017 - Motion planning for a six-legged robot.pdf.jpgWimmer, Bernhard Motion planning for a six-legged robotThesis Hochschulschrift 2017
13Selyunin 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
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