Publications
clear filter)
: Böhr F (Journal Articles
Years: 2015 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 | 1998 | 1997 | 1996 | 1995 | 1994back to the top of all publications
2013
back to the year overview- Böhr F, Ly L, Müller G
Business Process Security Analysis - Design Time, Run Time, Audit Time
2013 it - Information Technology, volume: 55, issue: 6, pages: 217 - 224
Conference papers
Years: 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 | 1998 | 1997 | 1996 | 1995 | 1994 | 1992 | 1991 | 1986back to the top of all publications
2013
back to the year overview- Stocker T, Böhr F
IF-Net: A Meta-Model for Security-Oriented Process Specification
2013 9th International Workshop, STM 2013, Egham, UK Proceedings of the 12th International IEEE Enterprise Distributed Object Computing Conference, volume: 8203, pages: 191 - 206
2011
back to the year overview- Böhr F
Model Based Statistical Testing of Embedded Systems
2011 Fourth International IEEE Conference on Software Testing, Verification and Validation, ICST 2012, Berlin, Germany, 21-25 March, 2011, Workshop Proceedings, pages: 18 - 25 - Böhr F, Eschbach R
SIMOTEST: A tool for automated testing of hybrid real-time Simulink models
2011 IEEE 16th Conference on Emerging Technologies & Factory Automation, ETFA 2011, Toulouse, France, September 5-9, 2011, pages: 1 - 4
2010
back to the year overview- Böhr F
Model Based Statistical Testing and Durations
2010 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2010, Oxford, England, UK, 22-26 March 2010, pages: 344 - 351