Model Checking Duration Calculus: A Practical Approach R Meyer, J Faber, A Rybalchenko Theoretical Aspects of Computing-ICTAC 2006, 332–346, 2006 | 77 | 2006 |
Model checking data-dependent real-time properties of the European Train Control System J Faber, R Meyer 2006 Formal Methods in Computer Aided Design, 76-77, 2006 | 41 | 2006 |
Verifying CSP-OZ-DC specifications with complex data types and timing parameters J Faber, S Jacobs, V Sofronie-Stokkermans International Conference on Integrated Formal Methods, 233-252, 2007 | 40 | 2007 |
Automatic verification of parametric specifications with complex topologies J Faber, C Ihlemann, S Jacobs, V Sofronie-Stokkermans Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy …, 2010 | 22 | 2010 |
Verifying real-time aspects of the European Train Control System J Faber Proceedings of the 17th Nordic Workshop on Programming Theory, 67-70, 2005 | 16 | 2005 |
rCOS: defining meanings of component-based software architectures R Dong, J Faber, W Ke, Z Liu Unifying Theories of Programming and Formal Engineering Methods …, 2013 | 10 | 2013 |
Unblockable compositions of software components R Dong, J Faber, Z Liu, J Srba, N Zhan, J Zhu Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software …, 2012 | 9 | 2012 |
A timed model for healthcare workflows based on CSP J Faber 2012 4th International Workshop on Software Engineering in Health Care (SEHC …, 2012 | 9 | 2012 |
Automated reviewing of healthcare security policies N Qamar, J Faber, Y Ledru, Z Liu Foundations of Health Information Engineering and Systems: Second …, 2013 | 8 | 2013 |
Syspect-Modelling, Specifying, and Verifying Real-Time Systems with Rich Data. J Faber, S Linker, ER Olderog, JD Quesel Int. J. Softw. Informatics 5 (1-2), 117-137, 2011 | 7 | 2011 |
Verification Architectures: Compositional reasoning for real-time systems J Faber Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy …, 2010 | 6 | 2010 |
Verification architectures for complex real-time systems. J Faber Carl von Ossietzky University of Oldenburg, 2011 | 4 | 2011 |
Actualizing a Mobile Integrated System for Geriatric Care HE Chew, J Faber, Z Liu, V Madera, N Qamar MEDINFO 2013, 1109-1109, 2013 | 2 | 2013 |
Verification architectures for real-time systems J Faber Proceedings of Formal Methods 2009 Doctoral Symposium, 14-19, 2009 | 2 | 2009 |
Fault tree analysis with Moby/FT J Faber Technical report, Universitaet Oldenburg, 2005. 1.7, 2005 | 2 | 2005 |
ETCS Case Study EM: Treatment of Emergency Messages J Faber | 1 | 2004 |
From High-Level Verification to Real-Time Scheduling: A Property-Preserving Integration J Faber, I Stierand | | 2007 |
Gitterbasierte Datenmodelle J Faber | | 2002 |