A. Fehnker

发表

Ansgar Fehnker, Franjo Ivancic, A. Fehnker, 2004, HSCC.
Olaf Stursberg, Edmund M. Clarke, Bruce H. Krogh, 2003, TACAS.
A. Fehnker, K. Chaudhary, 2016, 2016 3rd Asia-Pacific World Congress on Computer Science and Engineering (APWC on CSE).
G. Behrmann, K. Larsen, P. Pettersson, 2000 .
Joël Ouaknine, Olaf Stursberg, Edmund M. Clarke, 2003, Int. J. Found. Comput. Sci..
L.F.W. van Hoesel, Lodewijk van Hoesel, Ansgar Fehnker, 2007, IFM.
Kim G. Larsen, Paul Pettersson, Gerd Behrmann, 2001, CAV.
Kim G. Larsen, Frits W. Vaandrager, Paul Pettersson, 2001, HSCC.
Ansgar Fehnker, A. Fehnker, 1999, Proceedings Sixth International Conference on Real-Time Computing Systems and Applications. RTCSA'99 (Cat. No.PR00306).
Ralf Huuck, Ansgar Fehnker, Sean Seefried, 2008, 2008 Eighth IEEE International Working Conference on Source Code Analysis and Manipulation.
Ansgar Fehnker, Angelika Mader, Ed Brinksma, 2000, International Journal on Software Tools for Technology Transfer.
Gerd Behrmann, Ansgar Fehnker, G. Behrmann, 2001, TACAS.
Frits W. Vaandrager, Henning Dierks, Ansgar Fehnker, 1998, FTRTFT.
Thomas Given-Wilson, Ralf Huuck, Ansgar Fehnker, 2012, TAPAS@SAS.
Ralf Huuck, Ansgar Fehnker, Wolf Rödiger, 2011 .
Ralf Huuck, Ansgar Fehnker, Mark Bradley, 2011, 2011 Defense Science Research Conference and Expo (DSR).
Annabelle McIver, Andrei Voronkov, Ansgar Fehnker, 2015, Lecture Notes in Computer Science.
Annabelle McIver, Ansgar Fehnker, Rob J. van Glabbeek, 2013, ArXiv.
Dragan Bosnacki, Viktor Schuppan, Anton Wijs, 2009, MoChArt.
Ansgar Fehnker, Rena Bakhshi, A. Fehnker, 2009, 2009 Sixth International Conference on the Quantitative Evaluation of Systems.
Jörg Brauer, Ralf Huuck, Ansgar Fehnker, 2008, ATVA.
Bastian Schlich, Ralf Huuck, Ansgar Fehnker, 2009, SOFSEM.
Ansgar Fehnker, Angelika Mader, Arthur Rump, 2021, European Conference on Technology Enhanced Learning.
Ansgar Fehnker, Edwin Dertien, Angelika Mader, 2020, CSEDU.
Ansgar Fehnker, Remco de Man, A. Fehnker, 2018, CSEDU.
Ansgar Fehnker, Angelika Mader, Arthur Rump, 2021, ITS.
Annabelle McIver, Ansgar Fehnker, Rob J. van Glabbeek, 2012, ESOP.
Olaf Stursberg, Bruce H. Krogh, Ansgar Fehnker, 2004 .
Maximilian Junker, Ansgar Fehnker, A. Fehnker, 2012 .
Andreas Vogelsang, Ralf Huuck, Wolfgang Reif, 2010, ICFEM.
A. Fehnker, W. Reif, Ralf Huuck, 2010 .
Jaco van de Pol, Mariëlle Stoelinga, Ansgar Fehnker, 2015, MARS.
Annabelle McIver, Ansgar Fehnker, Matthias Fruth, 2009, Methods, Models and Tools for Fault Tolerance.
Annabelle McIver, Ansgar Fehnker, A. Fehnker, 2006, Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006).
Sumit Kumar Jha, Edmund M. Clarke, Bruce H. Krogh, 2005, HSCC.
A. Fehnker, Ralf Huuck, 2012, Innovations in Systems and Software Engineering.
Ralf Huuck, Ansgar Fehnker, Felix Rauch, 2007, First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07).
Ralf Huuck, Ansgar Fehnker, Sean Seefried, 2010, Concurrency, Compositionality, and Correctness.
Helmut Veith, Sumit Kumar Jha, Edmund M. Clarke, 2005, Handbook of Networked and Embedded Control Systems.
Bruce H. Krogh, Zhi Han, Peter H. Feiler, 2004, ICFEM.
E. Clarke, O. Stursberg, B. Krogh, 2003, Int. J. Found. Comput. Sci..
Frits W. Vaandrager, Miaomiao Zhang, Ansgar Fehnker, 2003, Third International Conference on Quality Software, 2003. Proceedings..
Annabelle McIver, Ansgar Fehnker, Rob J. van Glabbeek, 2015, ArXiv.
Ansgar Fehnker, Kaylash Chaudhary, Vishal Chand, 2020, PACIS.