Follow
Johannes Faber
Johannes Faber
United Nations University, International Institute for Software Technology (UNU-IIST)
Verified email at iist.unu.edu - Homepage
Title
Cited by
Cited by
Year
Model Checking Duration Calculus: A Practical Approach
R Meyer, J Faber, A Rybalchenko
Theoretical Aspects of Computing-ICTAC 2006, 332–346, 2006
772006
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
412006
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
392007
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
222010
Verifying real-time aspects of the European Train Control System
J Faber
Proceedings of the 17th Nordic Workshop on Programming Theory, 67-70, 2005
162005
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
102013
A timed model for healthcare workflows based on CSP
J Faber
2012 4th International Workshop on Software Engineering in Health Care (SEHC …, 2012
92012
Automated reviewing of healthcare security policies
N Qamar, J Faber, Y Ledru, Z Liu
Foundations of Health Information Engineering and Systems: Second …, 2013
82013
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
82012
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
72011
Verification Architectures: Compositional reasoning for real-time systems
J Faber
Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy …, 2010
62010
Verification architectures for complex real-time systems.
J Faber
Carl von Ossietzky University of Oldenburg, 2011
42011
Actualizing a mobile integrated system for geriatric care.
HE Chew, J Faber, Z Liu, V Madera, N Qamar
Studies in Health Technology and Informatics 192, 1109-1109, 2013
32013
Verification architectures for real-time systems
J Faber
Proceedings of Formal Methods 2009 Doctoral Symposium, 14-19, 2009
22009
Fault tree analysis with Moby/FT
J Faber
Technical report, Universitaet Oldenburg, 2005. 1.7, 2005
22005
ETCS Case Study EM: Treatment of Emergency Messages
J Faber
12004
of Proceedings: Integrated Formal Methods: 8th International Conference, IFM 2010
J Faber, C Ihlemann, S Jacobs, V Sofronie-Stokkermans
Springer, 2007
2007
From High-Level Verification to Real-Time Scheduling: A Property-Preserving Integration
J Faber, I Stierand
2007
Gitterbasierte Datenmodelle
J Faber
2002
The system can't perform the operation now. Try again later.
Articles 1–19