Browsing by Author Bartocci, Ezio

Showing results 1 to 7 of 7
PreviewAuthors / EditorsTitleTypeIssue Date
Fault analysis in reactive systems using log data.pdf.jpgExenberger, Fabian Fault analysis in reactive systems using log dataThesis Hochschulschrift 2019
First international Competition on Runtime Verification rules benchmarks tools and final results of CRV.pdf.jpgBartocci, Ezio  ; Falcone, Yliès ; Bonakdarpour, Borzoo ; Colombo, Christian ; Decker, Normann ; Havelund, Klaus ; Joshi, Yogi ; Klaedtke, Felix ; Milewicz, Reed ; Reger, Giles ; Rosu, Grigore ; Signoles, Julien ; Thoma, Daniel ; Zalinescu, Eugen ; Zhang, Yi First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014Article Artikel 2017
The Hobel algorithm SAT Loesung mit GPU ueber DPLL.pdf.jpgVaczula, Csaba The Hobel algorithm; SAT Lösung mit GPU über DPLLThesis Hochschulschrift 2016
Motion planning for a six-legged robot.pdf.jpgWimmer, Bernhard Motion planning for a six-legged robotThesis Hochschulschrift 2017
Neural models for monitoring and control with applications in automotive domain.pdf.jpgSelyunin, Konstantin Neural models for monitoring and control with applications in automotive domainThesis Hochschulschrift 2017
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
Simulating cardiac dynamics using Maxeler dataflow super-computing.pdf.jpgTreml, Lilly Maria Simulating cardiac dynamics using Maxeler dataflow super-computingThesis Hochschulschrift 2018
Showing results 1 to 7 of 7