Johannes Faber
Johannes Faber
United Nations University, International Institute for Software Technology (UNU-IIST)
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα iist.unu.edu - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Model Checking Duration Calculus: A Practical Approach
R Meyer, J Faber, A Rybalchenko
Theoretical Aspects of Computing-ICTAC 2006, 332–346, 2006
742006
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
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
392006
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
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
92012
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
82013
Automated reviewing of healthcare security policies
N Qamar, J Faber, Y Ledru, Z Liu
International Symposium on Foundations of Health Informatics Engineering and …, 2012
82012
A timed model for healthcare workflows based on CSP
J Faber
2012 4th International Workshop on Software Engineering in Health Care (SEHC …, 2012
82012
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
Verification Architectures: Compositional reasoning for real-time systems
J Faber
International Conference on Integrated Formal Methods, 136-151, 2010
62010
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
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
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–19