Articles with public access mandates - Johannes FaberLearn more
Available somewhere: 7
Model Checking Duration Calculus: A Practical Approach
R Meyer, J Faber, A Rybalchenko
Theoretical Aspects of Computing-ICTAC 2006, 332–346, 2006
Mandates: German Research Foundation
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
Mandates: German Research Foundation
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
Mandates: German Research Foundation
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
Mandates: German Research Foundation
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
Mandates: Danish Council for Independent Research
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
Mandates: German Research Foundation
Verification Architectures: Compositional reasoning for real-time systems
J Faber
Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy …, 2010
Mandates: German Research Foundation
Publication and funding information is determined automatically by a computer program