Author Publications

Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type
Jump to: 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 | 1998 | 1997 | 1996 | 1995
Number of items: 53.

2014

Mader, Angelika and Eggink, Wouter (2014) A design process for creative technology. In: 16th international conference on engineering & product design education "Design education & human technology relations", Enschede, 4-5 September 2014, 4-5 September 2014, Enschede.

2013

Marincic, Jelena and Mader, Angelika and Wieringa, Roel and Lucas, Yan (2013) Reusing knowledge in embedded system modelling. Expert Systems, 30 (3). pp. 185-199. ISSN 1468-0394

2012

Dertien, Edwin and Dijkstra, Jelle and Mader, Angelika and Reidsma, Dennis (2012) Making a Toy Educative Using Electronics. In: 9th International Conference on Advances in Computer Entertainment, ACE 2012, 3-5 November 2012, Kathmandu, Nepal (pp. pp. 477-480).

Mader, Angelika and Dertien, Edwin and Reidsma, Dennis (2012) Single value devices. In: 4th International Conference on Intelligent Technologies for Interactive Entertainment, INTETAIN 2011, 25-27 May 2011, Genova. Italy (pp. pp. 38-47).

Marincic, Jelena and Mader, Angelika and Wieringa, Roel (2012) Explaining Embedded Software Modelling Decisions. In: IEEE CS International Conference on Software Science, Technology, and Engineering, SWSTE 2012, 12-13 June 2012, Herzlia, Israel.

Oguz, Og˘uzcan and Broenink, Jan F. and Mader, Angelika (2012) Schedulability analysis of timed CSP models using the PAT model checker. In: Communicating Process Architectures 2012, 26-29 August 2012, Dundee, Scotland (pp. pp. 65-88).

2011

Mader, Angelika and Dertien, Edwin and Reidsma, Dennis (2011) Single Value Devices. [Report]

Marincic, Jelena and Mader, Angelika and Wieringa, Roel (2011) Validation of Embedded System Verification Models. In: Model-Driven Requirements Engineering Workshop, MoDRE 2011, 29 August 2011, Trento, Italy (pp. pp. 48-54).

2010

Marincic, Jelena and Mader, Angelika and Wieringa, Roel and Lucas, Yan (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. (In Press)

2009

Mader, Angelika and Bohnenkamp, Henrik and Usenko, Yaroslav S. and Jansen, David N. and Hurink, Johann and Hermanns, Holger (2009) Synthesis and stochastic assessment of cost-optimal schedules. International Journal on Software Tools for Technology Transfer (STTT), 12 (5). pp. 305-317. ISSN 1433-2779

Marincic, Jelena and Mader, Angelika and Wieringa, Roel (2009) A Handbook Supporting Model-Driven Software Development - a Case Study. [Report]

2008

Mader, A. and Marincic, J. and Wupper, H. (2008) Modelling Embedded Systems by Non-Monotonic Refinement. [Report]

Mader, Angelika and Wupper, Hanno and Boon, Mieke and Marincic, Jelena (2008) A Taxonomy of Modelling Decisions for Embedded Systems Verification. [Report]

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: 3rd International Workshop on Applications and Advances of Problem Frames, IWAAP 2008, 10 May 2008, Leipzig, Germany (pp. pp. 67-73).

Marincic, Jelena and Mader, Angelika and Wieringa, Roel (2008) Classifying Assumptions Made During Requirements Verification of Embedded Systems. In: 14th International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2008, 16-17 June 2008, Montpellier, France (pp. pp. 141-146).

2007

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, Ansgar and Hoesel, Lodewijk van and Mader, Angelika (2007) Modelling and Verification of the LMAC Protocol for Wireless Sensor Networks. In: 6th International Conference on Integrated Formal Methods, IFM 2007, 2-5 July 2007, Oxford, Britain (pp. pp. 253-272).

Fehnker, Ansgar and Hoesel, Lodewijk van and Mader, Angelika (2007) Modelling and Verification of the LMAC Protocol for Wireless Sensor Networks. [Report]

Mader, A.H. and Wupper, H. and Boon, M. (2007) The Construction of Verification Models for Embedded Systems. [Report]

Marincic, J. and Mader, A.H. and Wieringa, R.J. (2007) Capturing Assumptions while Designing a Verification Model for Embedded Systems. [Report]

Marincic, J. and Wupper, H. and Mader, A.H. and Wieringa, R.J. (2007) Obtaining Formal Models through Non-Monotonic Refinement. [Report]

2006

Hanssen, Ferdy and Mader, Angelika and Jansen, Pierre G. (2006) Verifying the distributed real-time network protocol RTnet using Uppaal. [Report]

Hanssen, Ferdy and Mader, Angelika and Jansen, Pierre G. (2006) Verifying the distributed real-time network protocol RTnet using Uppaal. In: 14th IEEE/ACN International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, MASCOTS, 11-13 Sept 2006, Monterey, USA (pp. pp. 239-246).

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. [Report]

2005

Behrmann, Gerd and Brinksma, Ed and Hendriks, Martijn and Mader, Angelika (2005) Production scheduling by reachability analysis: a case study. In: 19th IEEE International Parallel and Distributed Processing Symposium, IPDPS 2005, 4-8 April 2005, Denver, CO, USA (pp. p. 140).

Behrmann, Gerd and Brinksma, Ed and Hendriks, Martijn and Mader, Angelika (2005) Scheduling lacquer production by reachability analysis - A case study. In: 16th IFAC World Congress, July 4-8, 2005, Prague, Czech Republic.

Behrmann, Gerd and Brinksma, Ed and Hendriks, Martijn and Mader, Angelika (2005) Scheduling lacquer production by reachability analysis - a case study. [Report]

Brinksma, Ed and Mader, Angelika and Marincic, Jelena and Wieringa, Roel (2005) A modelling method for embedded systems. [Report]

Brinksma, Ed and Mader, Angelika and Marincic, Jelena and Wieringa, Roel (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.

Corin, R. and Etalle, S. and Hartel, P.H. and Mader, A. (2005) Timed analysis of security protocols. [Report]

Corin, R. and Etalle, S. and Hartel, P.H. and Mader, A. (2005) Timed Analysis of Security Protocols (version 2, oct. 2005).

2004

Bohnenkamp, H.C. and Hermanns, H. and Klaren, R. and Mader, A. and Usenko, Y.S. (2004) Synthesis and stochastic assessment of schedules for lacquer production. In: First International Conference on the Quantitative Evaluation of Systems, QEST, 27-30 Sept. 2004, Enschede, The Netherlands (pp. pp. 28-37).

Bohnenkamp, H.C. and Hermanns, H. and Klaren, R. and Mader, A. and Usenko, Y.S. (2004) Synthesis and stochastic assessment of schedules for lacquer production. [Report]

Brinksma, Ed and Mader, Angelika (2004) On Verification Modelling of Embedded Systems. [Report]

Corin, R. and Etalle, S. and Hartel, P.H. and Mader, A. (2004) Timed Model Checking of Security Protocols. In: 2nd ACM Workshop on Formal Methods in Security Engineering, FMSE 2004, October 25-29, 2004, Washington, DC, USA (pp. pp. 23-32).

Corin, R. and Etalle, S. and Hartel, P.H. and Mader, A. (2004) Timed model checking of security protocols. [Report]

Mader, A. (2004) Deriving schedules for a smart card personalisation system. [Report]

2003

Corin, Ricardo and Etalle, Sandro and Hartel, Pieter and Mader, Angelika (2003) On Modelling Real-time and Security properties of Distributed Systems. In: 5th Plenary Cabernet Workshop, 5-7 November 2003, Porto Santo, Portugal.

Corin, Ricardo and Etalle, Sandro and Hartel, Pieter and Mader, Angelika (2003) On modelling real-time and security properties of distributed systems. [Report]

2002

Brinksma, Ed and Mader, Angelika (2002) Model checking embedded system designs. In: Sixth International Workshop on Discrete Event Systems, WODES 2002, 2-4 October 2002, Zaragoza, Spain (pp. pp. 151-158).

Brinksma, Ed and Mader, Angelika and Fehnker, Ansgar (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

2000

Brinksma, Ed and Mader, Angelika (2000) Verification and Optimization of a PLC Control Schedule. In: 7th International SPIN Workshop, August/September 2000, Stanford, CA, USA (pp. pp. 73-92).

Mader, Angelika (2000) A Classification of PLC Models and Applications. In: 5th Workshop on Discrete Event Systems, WODES 2000, 21-23 August, 2000, Ghent, Belgium (pp. pp. 239-247).

Mader, Angelika and Wupper, Hanno (2000) What is the method in applying formal methods to PLC applications? In: 4th International Conference Automation of Mixed Processes: Hybrid Dynamic Systems, ADPM 2000, 18-19 September 2000, Dortmund, Germany (pp. pp. 165-171).

1999

Mader, Angelika and Wupper, Hanno (1999) Timed Automaton Models for Simple Programmable Logic Controllers. In: 11th Euromicro Conference on Real-Time Systems, Euromicro RTS 1999, June 9-11, 1999, York, England (pp. pp. 114-122).

Wupper, Hanno and Mader, Angelika (1999) System Design as a Creative Mathematical Activity. [Report]

1998

Dierks, Henning and Fehnker, Ansgar and Mader, Angelika and Vaandrager, Frits (1998) Operational and logical semantics for polling real-time systems. In: 5th International Symposium on Formal Techniques in Real-Time and Fault Tolerant Systems, FTRTFT, September 14–18, 1998, Lyngby, Denmark (pp. pp. 29-40).

1997

Mader, Angelika (1997) Verification of Modal Properties Using Boolean Equation Systems. Edition versal 8 . Bertz Verlag, Berlin, Germany. ISBN 9783929470581

Mader, Angelika (1997) Verification of Modal Properties Using Infinite Boolean Equation Systems. [Report]

1996

Bradfield, Julian and Esparza, Javier and Mader, Angelika (1996) An Effective Tableau System for the Linear Time µ-Calculus. In: 23rd International Colloquium on Automata, Languages and Programming, ICALP, July 8-12, 1996, Paderborn, Germany (pp. pp. 98-109).

1995

Mader, Angelika (1995) Modal µ-Calculus, Model Checking and Gauß Elimination. In: First International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 1995, May 19-20, 1995, Aarhus, Denmark (pp. pp. 72-88).

Mader, Angelika (1995) Tableau Recycling. In: 4th International Workshop Computer Aided Verification, CAV 1992, June 29 - July 1, 1992, Montreal, Canada (pp. pp. 330-342).

This list was generated on Thu Dec 18 05:23:56 2014 CET.