Search the dblp DataBase

Publications of Author

1. Angelika Mader
   Tableau Recycling. [Citation Graph (0, 0)][DBLP]
   CAV, 1992, pp:330-342 [Conf]
   
2. Ricardo Corin, Sandro Etalle, Pieter H. Hartel, Angelika Mader
   Timed model checking of security protocols. [Citation Graph (0, 0)][DBLP]
   FMSE, 2004, pp:23-32 [Conf]
   
3. Henning Dierks, Ansgar Fehnker, Angelika Mader, Frits W. Vaandrager
   Operational and Logical Semantics for Polling Real-Time Systems. [Citation Graph (0, 0)][DBLP]
   FTRTFT, 1998, pp:29-40 [Conf]
   
4. Julian C. Bradfield, Javier Esparza, Angelika Mader
   An Effective Tableau System for the Linear Time µ-Calculus. [Citation Graph (0, 0)][DBLP]
   ICALP, 1996, pp:98-109 [Conf]
   
5. Gerd Behrmann, Ed Brinksma, Martijn Hendriks, Angelika Mader
   Production Scheduling by Reachability Analysis - A Case Study. [Citation Graph (0, 0)][DBLP]
   IPDPS, 2005, pp:- [Conf]
   
6. Ferdy Hanssen, Angelika Mader, Pierre G. Jansen
   Verifying the Distributed Real-Time Network Protocol RTnet Using Uppaal. [Citation Graph (0, 0)][DBLP]
   MASCOTS, 2006, pp:239-246 [Conf]
   
7. Henrik C. Bohnenkamp, Holger Hermanns, Ric Klaren, Angelika Mader, Yaroslav S. Usenko
   Synthesis and Stochastic Assessment of Schedules for Lacquer Production. [Citation Graph (0, 0)][DBLP]
   QEST, 2004, pp:28-37 [Conf]
   
8. Ed Brinksma, Angelika Mader
   Verification and Optimization of a PLC Control Schedule. [Citation Graph (0, 0)][DBLP]
   SPIN, 2000, pp:73-92 [Conf]
   
9. Angelika Mader
   Modal µ-Calculus, Model Checking and Gauß Elimination. [Citation Graph (0, 0)][DBLP]
   TACAS, 1995, pp:72-88 [Conf]
   
10. Ed Brinksma, Angelika Mader, Ansgar Fehnker
    Verification and optimization of a PLC control schedule. [Citation Graph (0, 0)][DBLP]
    STTT, 2002, v:4, n:1, pp:21-33 [Journal]
    
11. Ansgar Fehnker, Lodewijk van Hoesel, Angelika Mader
    Modelling and Verification of the LMAC Protocol for Wireless Sensor Networks. [Citation Graph (0, 0)][DBLP]
    IFM, 2007, pp:253-272 [Conf]
    
12. Ricardo Corin, Sandro Etalle, Pieter H. Hartel, Angelika Mader
    Timed Analysis of Security Protocols [Citation Graph (0, 0)][DBLP]
    CoRR, 2005, v:0, n:, pp:- [Journal]
    
13. 
    06351 Abstracts Collection -- Methods for Modelling Software Systems (MMOSS). [Citation Graph (, )][DBLP]
    
    
14. 
    06351 Summary -- Methods for Modelling Software Systems (MMOSS). [Citation Graph (, )][DBLP]
    
    
15. 
    Timed automaton models for simple programmable logic controllers. [Citation Graph (, )][DBLP]
    
    
16. 
    Classifying Assumptions Made during Requirements Verification of Embedded Systems. [Citation Graph (, )][DBLP]