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
692006
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
382007
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
382006
Automatic verification of parametric specifications with complex topologies
J Faber, C Ihlemann, S Jacobs, V Sofronie-Stokkermans
International Conference on Integrated Formal Methods, 152-167, 2010
202010
Verifying real-time aspects of the European Train Control System
J Faber
Proceedings of the 17th Nordic Workshop on Programming Theory, 67-70, 2005
142005
Automated reviewing of healthcare security policies
N Qamar, J Faber, Y Ledru, Z Liu
International Symposium on Foundations of Health Informatics Engineering and …, 2012
72012
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
72012
Syspect-Modelling, Specifying, and Verifying Real-Time Systems with Rich Data.
J Faber, S Linker, ER Olderog, JD Quesel
Int. J. Software and Informatics 5 (1-2), 117-137, 2011
72011
A timed model for healthcare workflows based on CSP
J Faber
2012 4th International Workshop on Software Engineering in Health Care (SEHC …, 2012
62012
Verification Architectures: Compositional reasoning for real-time systems
J Faber
International Conference on Integrated Formal Methods, 136-151, 2010
62010
rCOS: defining meanings of component-based software architectures
R Dong, J Faber, W Ke, Z Liu
Unifying Theories of Programming and Formal Engineering Methods, 1-66, 2013
52013
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, 2013
42013
Verification architectures for complex real-time systems
J Faber
Carl-von-Ossietzky-Univ., Department für Informatik, 2011
42011
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