EEMCS

Dertien, E.C. and Mader, A.H. and Reidsma, D. (2011) Single Value Devices. Technical Report TR-CTIT-11-04, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Marincic, J. and Mader, A.H. and Wieringa, R.J. (2011) Validation of Embedded System Verification Models. In: Proceedings of Model-Driven Requirements Engineering Workshop (MoDRE), 29 Aug 2011, Trento, Italy. pp. 48-54. IEEE Computer Society. ISBN 978-1-4577-0957-9

Mader, A.H. and Bohnenkamp, H.C. and Usenko, Y.S. and Jansen, D.N. and Hurink, J.L. and Hermanns, H. (2010) Synthesis and stochastic assessment of cost-optimal schedules. International journal on software tools for technology transfer, 12 (5). pp. 305-317. ISSN 1433-2779

Marincic, J. and Mader, A.H. and Wieringa, R.J. and Lucas, Y. (2010) Structuring Problem Analysis for Embedded Systems Modelling. In: International Workshop on Applications and Advances of Problem-Orientation (IWAAPO), 8 May 2010, Cape Town, South Africa. International Academy, Research and Industry Association. ISBN not assigned

Marincic, J. and Mader, A.H. and Wieringa, R.J. (2009) A Handbook Supporting Model-Driven Software Development - a Case Study. Technical Report TR-CTIT-09-11, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Mader, A.H. and Marincic, J. and Wupper, H. (2008) Modelling Embedded Systems by Non-Monotonic Refinement. Technical Report TR-CTIT-08-38, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Mader, A.H. and Wupper, H. and Boon, M. and Marincic, J. (2008) A Taxonomy of Modelling Decisions for Embedded Systems Veri?cation. Technical Report TR-CTIT-08-37, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Marincic, J. and Mader, A.H. and Wieringa, R.J. (2008) Classifying Assumptions Made During Requirements Verification of Embedded Systems. In: Requirements Engineering: Foundation for Software Quality, 14th International Working Conference, REFSQ 2008, 16-17 Jun 2008, Montpellier, France. pp. 141-146. Springer Verlag. ISBN 978-3-540-69060-3

Marincic, J. and Mader, A.H. and Wupper, H. and Wieringa, R.J. (2008) Non-monotonic modelling from initial requirements: a proposal and comparison with monotonic modelling methods. In: IWAAPF '08: Proceedings of the 3rd international workshop on Applications and advances of problem frames, 10 May 2008, Leipzig, Germany. pp. 67-73. ACM. ISBN 978-1-60558-020-3

Corin, R.J. and Etalle, S. and Hartel, P.H. and Mader, A.H. (2007) Timed Analysis of Security Protocols. Journal of Computer Security, 15 (6). pp. 619-645. ISSN 0926-227X

Fehnker, A. and van Hoesel, L.F.W. and Mader, A.H. (2007) Modelling and Verification of the LMAC Protocol for Wireless Sensor Networks. Technical Report TR-CTIT-07-09, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Fehnker, A. and van Hoesel, L.F.W. and Mader, A.H. (2007) Modelling and Verification of the LMAC Protocol for Wireless Sensor Networks. In: Proceedings of the 6th International Conference on Integrated Formal Methods, IFM 2007, 2-5 Jul 2007, Oxford, Britain. pp. 253-272. Lecture Notes in Computer Science 4591. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-73209-9

Mader, A.H. and Wupper, H. and Boon, M. (2007) The Construction of Verification Models for Embedded Systems. Technical Report TR-CTIT-07-02, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Marincic, J. and Mader, A.H. and Wieringa, R.J. (2007) Capturing Assumptions while Designing a Verification Model for Embedded Systems. Technical Report TR-CTIT-07-03, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Marincic, J. and Wupper, H. and Mader, A.H. and Wieringa, R.J. (2007) Obtaining Formal Models through Non-Monotonic Refinement. Technical Report TR-CTIT-07-33, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Hanssen, F.T.Y. and Mader, A.H. and Jansen, P.G. (2006) Verifying the distributed real-time network protocol RTnet using Uppaal. Technical Report TR-CTIT-06-19, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Hanssen, F.T.Y. and Mader, A.H. and Jansen, P.G. (2006) Verifying the distributed real-time network protocol RTnet using Uppaal. In: Proceedings of the 14th IEEE/ACN International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS), 11-13 Sept 2006, Monterey, USA. pp. 239-246. IEEE Computer Society. ISSN 1526-7539 ISBN 0 7695 2573 3

Mader, A.H. and Bohnenkamp, H.C. and Usenko, Y.S. and Jansen, D.N. and Hurink, J.L. and Hermanns, H. (2006) Synthesis and Stochastic Assessment of Cost-Optimal Schedules. Technical Report TR-CTIT-06-14, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Behrmann, G. and Brinksma, H. and Hendriks, M. and Mader, A.H. (2005) Production Scheduling by Reachability Analysis - A Case Study. In: Workshop on Parallel and Distributed Real-Time Systems (WPDRTS), 4-5 Apr 2005, Denver, Colorado. 140a-140a. IEEE Computer Society. ISBN 0-7695-2312-9

Behrmann, G. and Brinksma, H. and Hendriks, M. and Mader, A.H. (2005) Scheduling Lacquer Production by Reachability Analysis -- A Case Study. Technical Report TR-CTIT-05-05, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Behrmann, G. and Brinksma, H. and Hendriks, M. and Mader, A.H. (2005) Scheduling lacquer production by reachability analysis - A case study. In: 16th IFAC World Congress, Prague, Czech Republic. MoA17TO3. International Federation of Automatic Control (IFAC). ISBN not assigned

Brinksma, H. and Mader, A.H. and Marincic, J. and Wieringa, R.J. (2005) A Modelling Method for Embedded Systems. In: 2nd Workshop on Model Design and Validation (MoDeVa 05) as part of the ACM/IEEE 8th International Conference on Model Driven Engineering Languages and Systems, Oct 2005, Montego Bay, Jamaica. IEEE Computer Society. ISBN not assigned

Brinksma, H. and Mader, A.H. and Marincic, J. and Wieringa, R.J. (2005) A Modelling Method for Embedded Systems. Technical Report TR-CTIT-05-33, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Corin, R.J. and Etalle, S. and Hartel, P.H. and Mader, A.H. (2005) Timed Analysis of Security Protocols. Technical Report TR-CTIT-05-14, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Bohnenkamp, H.C. and Hermanns, H. and Klaren, R. and Mader, A.H. and Usenko, Y.S. (2004) Synthesis and stochastic assessment of schedules for lacquer production. Technical Report TR-CTIT-04-30, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Bohnenkamp, H.C. and Hermanns, H. and Klaren, R. and Mader, A.H. and Usenko, Y.S. (2004) Synthesis and stochastic assessment of schedules for lacquer production. In: First International Conference on Quantitative Evaluation of Systems (QEST 2004), Enschede, The Netherlands. pp. 28-37. IEEE Computer Society. ISBN 0-7695-2185-1

Brinksma, H. and Mader, A.H. (2004) On Verification Modelling of Embedded Systems. Technical Report TR-CTIT-04-03, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Corin, R.J. and Etalle, S. and Hartel, P.H. and Mader, A.H. (2004) Timed Model Checking of Security Protocols. Technical Report TR-CTIT-04-24, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Corin, R.J. and Etalle, S. and Hartel, P.H. and Mader, A.H. (2004) Timed Model Checking of Security Protocols. In: 2nd ACM Workshop on Formal Methods in Security Engineering: From Specifications to Code (FMSE), Fairfax, Virginia. pp. 23-32. ACM Press. ISBN 1-58113-971-3

Mader, A.H. (2004) Deriving Schedules for a Smart Card Personalisation System. Technical Report TR-CTIT-04-05, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Brinksma, H. and Mader, A.H. (2003) Prozessalgebra, Teil 1. Automatisierungstechnik, 51 (8). pp. 13-16. ISSN 0178-2312 *** ISI Impact 0,298 ***

Brinksma, H. and Mader, A.H. (2003) Prozessalgebra, Teil 2. Automatisierungstechnik, 51 (9). pp. 17-20. ISSN 0178-2312 *** ISI Impact 0,298 ***

Corin, R.J. and Etalle, S. and Hartel, P.H. and Mader, A.H. (2003) On Modelling Real-time and Security properties of Distributed Systems (Extended Abstract). Technical Report TR-CTIT-03-46, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Brinksma, H. and Mader, A.H. (2002) Model checking embedded system designs. (Invited) In: 6th Int. Workshop on Discrete Event Systems (WODES), Zaragoza, Spain. pp. 151-158. IEEE Computer Society. ISBN 0-7695-1683-1

Brinksma, H. and Mader, A.H. and Fehnker, A. (2002) Verification and Optimization of a PLC Control Schedule. International Journal on Software Tools for Technology Transfer (STTT), 4 (1). pp. 21-33. ISSN 1433-2779

Mader, A.H. and Brinksma, H. and Wupper, H. and Bauer, N. (2001) Design of a PLC Control Program for a Batch Plant - VHS Case Study 1. European Journal of Control, 7 (4). pp. 416-439. ISSN 0947-3580 *** ISI Impact 0,671 ***

Brinksma, H. and Mader, A.H. (2000) Verification and Optimization of a PLC Control Schedule. In: 7th Int. SPIN Workshop on Model Checking of Software, Stanford Univ., California. pp. 73-92. Springer-Verlag. ISBN 3-540-41030-9

Mader, A.H. (2000) A Classification of PLC Models and Applications. In: 5th Int. Workshop on Discrete Event Systems (WODES) -- Discrete Event Systems, Analysis and Control, Ghent, Belgium. pp. 239-247. Kluwer Academic Publishers. ISBN 0-7923-7897-0

Mader, A.H. (2000) What is the method in applying formal methods to PLC applications? In: 4th Int. Conf. Automation of Mixed Processes: Hybrid Dynamic Systems (ADPM), Dortmund, Germany. pp. 165-171. Shaker Verlag. ISBN 3-8265-7836-8

Mader, A.H. and Wupper, H. (1999) Timed Automaton Models for Simple Programmable Logic Controllers. In: 11th Euromicro Conf. on Real-Time Systems, 9-11 June 1999, York, UK. pp. 114-122. IEEE Computer Society. ISBN 0-7695-0240-7

Wupper, H. and Mader, A.H. (1999) System Design as a Creative Mathematical Activity. Technical Report CSI-R9919, Institute for Computing and Information Science, University of Nijmegen, Nijmegen. ISSN 1571-5078

Dierks, H. and Fehnker, A. and Mader, A.H. and Vaandrager, F.W. (1998) Operational and logical semantics for polling real-time systems. In: 7th Int. Symp. on Formal Techniques in Real-Time and Fault Tolerant Systems (FTRTFT), Lyngby, Denmark. pp. 29-40. Springer-Verlag. ISBN 3-540-65003-2

Mader, A.H. (1997) Verification of Modal Properties Using Boolean Equation Systems. Edition versal 8, Bertz Verlag, Berlin. ISBN 3-929470-58-6

Mader, A.H. (1997) Verification of Modal Properties Using Infinite Boolean Equation Systems. Technical Report CSI-R9727 Institute for Computing and Information Science, University of Nijmegen, Nijmegen. ISSN 1571-5078

Bradfield, J. and Esparza, J. and Mader, A.H. (1996) An Effective Tableau System for the Linear Time µ-Calculus. In: 23rd Int. Conf. Automata, Languages and Programming (ICALP), Paderborn, Germany. pp. 98-109. Springer-Verlag. ISBN 3-540-61440-0

Mader, A.H. (1995) Modal µ-Calculus, Model Checking and Gauß Elimination. In: 1st Int. Workshop Tools and Algorithms for Construction and Analysis of Systems (TACAS), Aarhus, Denmark. pp. 72-88. Springer-Verlag. ISBN 3-540-60630-0

Mader, A.H. (1992) Tableau Recycling. In: 4th Int. Workshop Computer Aided Verification (CAV), Montreal, Canada. pp. 330-342. Springer-Verlag. ISBN 3-540-56496-9