TY - CHAP A1 - Hofstedt, Petra A1 - Sauer, Peter A1 - Höckner, Benny T1 - Functional Programming with Pros and Cons T2 - HaL8 - Haskell-Treffen an der Universität Leipzig, Workshop am 21. Juni 2013 Y1 - 2013 UR - http://www.bioinf.uni-leipzig.de/conference-registration/13haskell/papers/paper_8.pdf ER - TY - CHAP A1 - Hinze, Thomas A1 - Grützmann, Konrad A1 - Höckner, Benny A1 - Sauer, Peter A1 - Hayat, Sikander ED - Gheorghe, Marian ED - Rozenberg, Grzegorz ED - Salomaa, Arto ED - Sosík, Petr ED - Zandron, Claudio T1 - Categorised Counting Mediated by Blotting Membrane Systems for Particle-Based Data Mining and Numerical Algorithms T2 - Membrane computing, 15th International Conference, CMC 2014 Prague, Czech Republic, August 20–22, 2014 Y1 - 2014 SN - 978-3-319-14369-9 SP - 241 EP - 257 PB - Springer CY - Cham [u.a.] ER - TY - CHAP A1 - Höckner, Benny A1 - Hofstedt, Petra A1 - Kaltschmidt, Sascha A1 - Sauer, Peter A1 - Vörtler, Thilo T1 - Design Space Exploration for Cyber Physical System Design using Constraint Solving T2 - The 2013 Forum on specification & Design Languages (FDL), Paris, France, September 24-26, 2013 Y1 - 2013 PB - IEEE ER - TY - CHAP A1 - Vörtler, Thilo A1 - Höckner, Benny A1 - Hofstedt, Petra A1 - Klotz, Thomas T1 - Formale Verifikation von eingebetteter Software für das Betriebssystem Contiki unter Berücksichtigung von Interrupts T2 - Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - MBMV 2015, Tagungsband, Chemnitz, 03.-04. März 2015 Y1 - 2015 SN - 978-3-00-048889-4 SP - 20 EP - 29 PB - Technische Universität CY - Chemnitz ER - TY - CHAP A1 - Vörtler, Thilo A1 - Höckner, Benny A1 - Hofstedt, Petra A1 - Klotz, Thomas T1 - Formal Verification of Software for the Contiki Operating System Considering Interrupts T2 - 18th International Symposium on Design and Diagnostics of Electronic Circuits & Systems, DDECS 2015 Y1 - 2015 SN - 978-1-4799-6780-3 U6 - https://doi.org/10.1109/DDECS.2015.59 SP - 295 EP - 298 PB - IEEE CY - Piscataway, NJ ER - TY - CHAP A1 - Höckner, Benny A1 - Hofstedt, Petra A1 - Vörtler, Thilo A1 - Sauer, Peter A1 - Hinze, Thomas ED - Hanus, Michael ED - Rocha, Ricardo T1 - Constraint-based Approach for an Early Inspection of the Feasibility of Cyber Physical Systems T2 - 20th International Conference on Applications of Declarative Programming and Knowledge Management (INAP). 2013 Y1 - 2013 UR - http://www.informatik.uni-kiel.de/uploads/tx_publication/tr-1306-bericht.pdf SP - 183 EP - 197 PB - Institut für Informatik, Christian-Albrechts-Universität CY - Kiel ER -