Angelika Mader

Scientific staff

Recent publications

Schedulability Analysis of Timed CSP Models Using the PAT Model Checker, Oguz, O. Broenink, J.F. Mader, A. H. Welch, P. H. Barnes, F. R. M. Chalmers, K. Pedersen, J. B. Sampson, A. T., in Communicating Process Architectures 2012, 2012
Mutual Knowledge in Multi-Domain Models, Marincic, J. Mader, A. H., in Proc Workshop Trustworthy Cyber-Physical Systems, report CS-TR-1347, 2012
{D3.3b --- Co-simulation Foundations}, Lausdahl, K. G. Ribeiro, A. Visser, P. M. Groen, F. N. J. Ni, Y. Broenink, J.F. Mader, A. H. Coleman, J. W. Larsen, P. G., 2011
Structuring Problem Analysis for Embedded Systems Modelling, Marincic, J. Mader, A. H. Wieringa, R. J. Lucas, Y., 2010
A Handbook Supporting Model-Driven Software Development - a Case Study, Marincic, J. Mader, A. H. Wieringa, R. J., 2009
A Taxonomy of Modelling Decisions for Embedded Systems Verification, Mader, A. H. Wupper, H. Boon, M. Marincic, J., 2008