Goran Frehse

发表

Rob A. Rutenbar, Bruce H. Krogh, Goran Frehse, 2006, Proceedings of the Design Automation & Test in Europe Conference.
Xin Chen, Erika Ábrahám, Goran Frehse, 2011, RP.
Volker Krebs, Gero Nenninger, Goran Frehse, 2002 .
Olaf Stursberg, Sebastian Engell, Goran Frehse, 2001, Proceeding of the 2001 IEEE International Symposium on Intelligent Control (ISIC '01) (Cat. No.01CH37206).
Xin Chen, Sriram Sankaranarayanan, Stefan Kowalewski, 2015, CyPhy.
Matthias Althoff, Goran Frehse, M. Althoff, 2016, 2016 IEEE 55th Conference on Decision and Control (CDC).
Rob A. Rutenbar, Bruce H. Krogh, Goran Frehse, 2006, Electron. Notes Theor. Comput. Sci..
George J. Pappas, André Platzer, Goran Frehse, 2018, Handbook of Model Checking.
Thomas A. Henzinger, Goran Frehse, Mirco Giacobbe, 2018, CAV.
Goran Frehse, Colas Le Guernic, Rajat Kateja, 2013, HSCC '13.
Matthias Althoff, Xin Chen, Niklas Kochdumper, 2018, ARCH@ADHS.
Lei Bu, Alessandro Abate, Dieky Adzkiya, 2017, ARCH@CPSWeek.
Sergiy Bogomolov, Radu Grosu, Andreas Podelski, 2015, International Journal on Software Tools for Technology Transfer.
Goran Frehse, Rajarshi Ray, Goran Frehse, 2009, ADHS.
Kim G. Larsen, Marius Mikucionis, Brian Nielsen, 2011, ICTSS.
Pallab Dasgupta, Goran Frehse, Antonio Anastasio Bruto da Costa, 2016, 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE).
Goran Frehse, 2015, 2015 International Conference on Embedded Software (EMSOFT).
Matthias Althoff, Dario Cattaruzza, Stanley Bak, 2017, ARCH@CPSWeek.
Goran Frehse, Marcelo Forets, Nikolaos Kekatos, 2017, ARCH@CPSWeek.
Matthias Althoff, Christian Schilling, Niklas Kochdumper, 2019, ARCH@CPSIoTWeek.
Goran Frehse, Goran Frehse, 2005, International Journal on Software Tools for Technology Transfer.
Antoine Girard, Matthias Althoff, Goran Frehse, 2021, Annu. Rev. Control. Robotics Auton. Syst..
Matthias Althoff, Niklas Kochdumper, Fabian Immler, 2018, ARCH@ADHS.
Goran Frehse, Stefano Minopoli, 2016, HSCC.
Olaf Stursberg, Sebastian Engell, Goran Frehse, 2002 .
Dejan Nickovic, Goran Frehse, Matthias Woehrle, 2018, 2018 Annual American Control Conference (ACC).
Goran Frehse, Nikolaos Kekatos, Marcelo Forets, 2017 .
Sumit Kumar Jha, Bruce H. Krogh, Goran Frehse, 2008, HSCC.
Goran Frehse, Goran Frehse, 2015, 2015 54th IEEE Conference on Decision and Control (CDC).
Goran Frehse, Matthias Woehrle, Sophie Quinton, 2014, 2014 IEEE Real-Time Systems Symposium.
Sergiy Bogomolov, Radu Grosu, Andreas Podelski, 2012, CAV.
Goran Frehse, Oded Maler, 2007, HSCC.
Goran Frehse, Alexandre Donzé, Alexandre Donzé, 2013, 2013 European Control Conference (ECC).
Xin Chen, Stefan Kowalewski, Erika Ábrahám, 2015, NFM.
Lei Bu, Alessandro Abate, Dieky Adzkiya, 2018, ARCH@ADHS.
Sergiy Bogomolov, Radu Grosu, Andreas Podelski, 2014, Haifa Verification Conference.
Antoine Girard, Goran Frehse, Oded Maler, 2011, CAV.
Lei Bu, Dieky Adzkiya, Goran Frehse, 2019, ARCH@CPSIoTWeek.
Goran Frehse, Daniel Hess, Nikolaos Kekatos, 2018, ARCH@ADHS.
Sebastian Engell, Goran Frehse, Ralf Huuck, 2002 .
Sergiy Bogomolov, Andreas Podelski, Goran Frehse, 2015, HSCC.
Goran Frehse, Étienne André, 2015, SynCoP.
Goran Frehse, Antoine Girard, Thao Dang, 2013, Communicating Embedded Systems.
Sergiy Bogomolov, Radu Grosu, Andreas Podelski, 2013, SPIN.
Sergiy Bogomolov, Christian Schilling, Goran Frehse, 2019, HSCC.
Thomas A. Henzinger, Sergiy Bogomolov, Goran Frehse, 2017, TACAS.
Matthias Althoff, Xin Chen, Christian Schilling, 2017, ARCH@CPSWeek.
Goran Frehse, Stefano Minopoli, 2015, ARCH@CPSWeek.
Goran Frehse, Marcelo Forets, Nikolaos Kekatos, 2017, 2017 IEEE 56th Annual Conference on Decision and Control (CDC).
Matthias Althoff, Christian Schilling, Erika Ábrahám, 2021, ARCH@ADHS.
Gidon Ernst, Marc Pouzet, Giulia Pedrielli, 2021, ARCH@ADHS.