Johannes Faber
Johannes Faber
United Nations University, International Institute for Software Technology (UNU-IIST)
Bestätigte E-Mail-Adresse bei - Startseite
Zitiert von
Zitiert von
Model Checking Duration Calculus: A Practical Approach
R Meyer, J Faber, A Rybalchenko
Theoretical Aspects of Computing-ICTAC 2006, 332–346, 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
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
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
Verifying real-time aspects of the European Train Control System
J Faber
Proceedings of the 17th Nordic Workshop on Programming Theory, 67-70, 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, 1-66, 2013
Automated reviewing of healthcare security policies
N Qamar, J Faber, Y Ledru, Z Liu
International Symposium on Foundations of Health Informatics Engineering and …, 2012
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
A timed model for healthcare workflows based on CSP
J Faber
2012 4th International Workshop on Software Engineering in Health Care (SEHC …, 2012
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
Verification Architectures: Compositional reasoning for real-time systems
J Faber
International Conference on Integrated Formal Methods, 136-151, 2010
Verification architectures for complex real-time systems
J Faber
Carl-von-Ossietzky-Univ., Department für Informatik, 2011
Verification architectures for real-time systems
J Faber
Proceedings of Formal Methods 2009 Doctoral Symposium, 14-19, 2009
Fault tree analysis with Moby/FT
J Faber
Technical report, Universitaet Oldenburg, 2005. 1.7, 2005
ETCS Case Study EM: Treatment of Emergency Messages
J Faber
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
of Proceedings: Integrated Formal Methods: 8th International Conference, IFM 2010
J Faber, C Ihlemann, S Jacobs, V Sofronie-Stokkermans
Springer, 2007
From High-Level Verification to Real-Time Scheduling: A Property-Preserving Integration
J Faber, I Stierand
Gitterbasierte Datenmodelle
J Faber
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–19