Michael R. Hansen

Publication Activity (10 Years)

Years Active: 1983-2016
Publications (10 Years): 4

Top Topics

Functional Programming

Cardinality Constraints

Presburger Arithmetic

Top Venues

J. Log. Algebraic Methods Program.

Ann. Math. Artif. Intell.

Specification, Algebra, and Software

Publications

Patrick Kasting, Michael R. Hansen, Steen Vester
Synthesis of Railway-Signaling Plans using Reachability Games. IFL (2016)
Heinrich Ody, Martin Fränzle, Michael R. Hansen
Discounted Duration Calculus. FM (2016)
Anh-Dung Phan, Michael R. Hansen
An approach to multicore parallelism using functional programming: A case study based on Presburger Arithmetic. J. Log. Algebraic Methods Program. 84 (1) (2015)
Martin Fränzle, Michael R. Hansen, Heinrich Ody
No Need Knowing Numerous Neighbours - Towards a Realizable Interpretation of MLSL. Correct System Design (2015)
Anh-Dung Phan, Michael R. Hansen, Jan Madsen
EHRA: Specification and Analysis of Energy-Harvesting Wireless Sensor Networks. Specification, Algebra, and Software (2014)
Michael R. Hansen, Anh-Dung Phan, Aske Wiid Brekling
A practical approach to model checking Duration Calculus using Presburger Arithmetic. Ann. Math. Artif. Intell. 71 (1-3) (2014)
Michael R. Hansen
Guest Editor's foreword. J. Log. Algebraic Methods Program. 81 (4) (2012)
Michael R. Hansen, Aske Wiid Brekling
On Tool Support for Duration Calculus on the Basis of Presburger Arithmetic. TIME (2011)
Mikkel Koefoed Jakobsen, Jan Madsen, Michael R. Hansen
DEHAR: A distributed energy harvesting aware routing algorithm for ad-hoc multi-hop wireless sensor networks. WOWMOM (2010)
Tolga Ovatman, Aske Wiid Brekling, Michael R. Hansen
Cost Analysis for Embedded Systems: Experiments with Priced Timed Automata. Electron. Notes Theor. Comput. Sci. 238 (6) (2010)
Martin Fränzle, Michael R. Hansen
Efficient Model Checking for Duration Calculus? Int. J. Softw. Informatics 3 (2-3) (2009)
Martin Fränzle, Michael R. Hansen
Efficient Model Checking for Duration Calculus Based on Branching-Time Approximations. SEFM (2008)
Christian Dauer Thorenfeldt Sellberg, Michael R. Hansen, Paul Fischer
Faults Analysis in Distributed Systems - Quantitative Estimation of Reliability and Resource Requirements. ICSOFT (SE/MUSE/GSDCA) (2008)
Nicholas Poul Schultz-Møller, Christian Hølmer, Michael R. Hansen
Generation of ERP Systems from REA Specifications. ICSOFT (ISDM/ABF) (2008)
Aske Wiid Brekling, Michael R. Hansen, Jan Madsen
Models and formal verification of multiprocessor system-on-chips. J. Log. Algebraic Methods Program. 77 (1-2) (2008)
Nicholas Poul Schultz-Møller, Christian Hølmer, Michael R. Hansen
Declarative Business Process Modelling and the Generation of ERP Systems. ICSOFT (Selected Papers) (2008)
Michael R. Hansen, Jan Madsen, Aske Wiid Brekling
Semantics and Verification of a Language for Modelling Hardware Architectures. Formal Methods and Hybrid Real-Time Systems (2007)
Thomas Bolander, Jens Ulrik Hansen, Michael R. Hansen
Decidability of a Hybrid Duration Calculus. Electron. Notes Theor. Comput. Sci. 174 (6) (2007)
Michael R. Hansen, Dang Van Hung
A Theory of Duration Calculus with Application. Domain Modeling and the Duration Calculus (2007)
Robin Sharp, Michael R. Hansen
Timed Traces and Strand Spaces. CSR (2007)
Martin Fränzle, Michael R. Hansen
Deciding an Interval Logic with Accumulated Durations. TACAS (2007)
Martin Fränzle, Michael R. Hansen
A Robust Interpretation of Duration Calculus. ICTAC (2005)
Tue Becher Jensen, Terkel K. Tolstrup, Michael R. Hansen
Generating web-based systems from specifications. SAC (2004)
Cliff B. Jones, Michael R. Hansen
Editorial. Formal Aspects Comput. 16 (2) (2004)
Henrik Pilegaard, Michael R. Hansen, Robin Sharp
An Approach to Analyzing Availability Properties of Security Protocols. Nord. J. Comput. 10 (4) (2003)
Michael R. Hansen, Robin Sharp
Using interval logics for temporal analysis of security protocols. FMSE (2003)
Magne Haveraaen, Michael R. Hansen
Guest Editors' Foreword. Nord. J. Comput. 9 (4) (2002)
Michael R. Hansen, Zhou Chaochen
Duration Calculus: Logical Foundations. Formal Aspects Comput. 9 (3) (1997)
Zhou Chaochen, Michael R. Hansen
An Adequate First Order Interval Logic. COMPOS (1997)
Simon Mørk, Jens Chr. Godskesen, Michael R. Hansen, Robin Sharp
A Timed Semantics for SDL. FORTE (1996)
Michael R. Hansen, Paritosh K. Pandya, Zhou Chaochen
Finite Divergence. Theor. Comput. Sci. 138 (1) (1995)
Michael R. Hansen
Model-Checking Discrete Duration Calculus. Formal Aspects Comput. 6 (6A) (1994)
Jifeng He, C. A. R. Hoare, Martin Fränzle, Markus Müller-Olm, Ernst-Rüdiger Olderog, Michael Schenke, Michael R. Hansen, Anders P. Ravn, Hans Rischel
Provably Correct Systems. FTRTFT (1994)
Zhou Chaochen, Michael R. Hansen, Peter Sestoft
Decidability and Undecidability Results for Duration Calculus. STACS (1993)
Zhou Chaochen, Anders P. Ravn, Michael R. Hansen
An Extended Duration Calculus for Hybrid Real-Time Systems. Hybrid Systems (1992)
Zhou Chaochen, Michael R. Hansen, Anders P. Ravn, Hans Rischel
Duration Specifications for Shared Processors. FTRTFT (1992)
Michael R. Hansen, Zhou Chaochen
Semantics and Completeness of Duration Calculus. REX Workshop (1991)
Michael R. Hansen, Zhou Chaochen
Specification & Verification of Higher Order Processes. MFCS (1990)
Michael R. Hansen, Bo S. Hansen, Peter Lucas, Peter van Emde Boas
Integrating Relational Databases and Constraint Languages. Comput. Lang. 14 (2) (1989)
Peter Pistor, Bo S. Hansen, Michael R. Hansen
Eine sequelartige Sprachschnittstelle für das NF2-Modell. Sprachen für Datenbanken (1983)