EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Research Project: MoMS: Methods of Modelling Embedded Systems
Home Policy Brochure Browse Search User Area Contact Help

2007

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

2006

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

2005

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

2004

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
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

2002

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

2001

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 1,342 ***