Concepedia

Angelika Mader

AM

15

Publications

436

Citations

11

H-Index

1997

Active since

Affiliations

University of Twente(Current)

Radboud University Nijmegen

Saarland University

Aalborg University

Centrum Wiskunde & Informatica

Angelika Mader is an author at University of Twente specializing in engineering, systems engineering, and formal methods.

Top concepts

EngineeringSystems EngineeringFormal MethodsVerificationComputer ScienceFormal VerificationBusinessAutomated ReasoningOperations ResearchComputer Engineering

Publications per year

1997–2023

15

Publications

15

Verification of Modal Properties Using Boolean Equation Systems

Angelika Mader · 1997 · 96 citations · Full text

Fuzzy Logic, Engineering, Boolean Function +6

Timed automaton models for simple programmable logic controllers

Angelika Mader, H Wupper · 2003 · 60 citations

Engineering, Verification, Software Analysis +20

Verification and optimization of a PLC control schedule

Ed Brinksma, Angelika Mader, Ansgar Fehnker · International Journal on Software Tools for Technology Transfer · 2002 · 53 citations · Full text

Timed model checking of security protocols

Ricardo Corin, Sandro Etalle, Pieter Hartel et al. · 2004 · 45 citations

Engineering, Information Security, Verification +19

Production Scheduling by Reachability Analysis - A Case Study

Gerd Behrmann, Ed Brinksma, Martijn Hendriks et al. · 2005 · 32 citations

Engineering, Industrial Engineering, Verification +24

Rows per page

1–5 of 15