Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2019Deklarative Ansätze zur Künstlichen Intelligenz - punktuelle Beiträge
: John, Ulrich (Hrsg.); Hofstedt, Petra; Wolf, Armin
Tagungsband
2015Deklarative Modellierung und effiziente Optimierung - Quo vadis? Ausgewählte Herausforderungen und Potenziale für die nächsten Jahre - Zur Diskussion
Hofstedt, Petra; Hower, Walter; John, Ulrich; Kmoch, Andreas; Wolf, Armin
Konferenzbeitrag
2015Formal verification of software for the Contiki operating system considering interrupts
Vörtler, Thilo; Höckner, Benny; Hofstedt, Petra; Klotz, Thomas
Konferenzbeitrag
2015Formale Verifikation von eingebetteter Software für das Betriebssystem Contiki unter Berücksichtigung von Interrupts
Vörtler, Thilo; Höckner, Benny; Hofstedt, Petra; Klotz, Thomas
Konferenzbeitrag
2012Bounded model checking of Contiki applications
Vörtler, Thilo; Rülke, Steffen; Hofstedt, Petra
Konferenzbeitrag
2011International Workshop on Innovative Scheduling and other Applications using CP-AI-OR, ISA 2011. Proceedings
: Hofstedt, Petra (Editor); Wolf, Armin (Editor)
Tagungsband
2007Einführung in die Constraint-Programmierung
Hofstedt, Petra; Wolf, Armin
Buch