Henrik Reif Andersen

Available identifiers

zbMath Open andersen.henrik-reifMaRDI QIDQ169903

List of research outcomes

Publication	Date of Publication	Type
Compositional checking of satisfaction	2024-04-29	Paper
A universal reactive machine	2023-05-17	Paper
Interactive Cost Configuration Over Decision Diagrams	2010-03-15	Paper
Boolean expression diagrams	2006-10-10	Paper
https://portal.mardi4nfdi.de/entity/Q4818799	2004-09-24	Paper
https://portal.mardi4nfdi.de/entity/Q4417609	2003-07-29	Paper
Symbolic model checking of timed guarded commands using difference decision diagrams	2003-02-13	Paper
Verification of hierarchical state/Event systems using reusability and compositionality	2002-09-18	Paper
https://portal.mardi4nfdi.de/entity/Q2769575	2002-02-05	Paper
Verification of large state/event systems using compositionality and dependency analysis	2001-07-02	Paper
https://portal.mardi4nfdi.de/entity/Q4501131	2000-09-03	Paper
https://portal.mardi4nfdi.de/entity/Q4945220	2000-03-23	Paper
https://portal.mardi4nfdi.de/entity/Q4255572	1999-08-17	Paper
Partial model checking of modal equations: a survey	1999-01-01	Paper
Model checking and boolean graphs	1994-11-03	Paper
Compositional checking of satisfaction	1993-09-30	Paper

Research outcomes over time

This page was built for person: Henrik Reif Andersen