Michael R. Hansen

According to our database, Michael R. Hansen authored at least 42 papers between 1983 and 2016.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of three.

2016

Synthesis of Railway-Signaling Plans using Reachability Games.

Patrick Kasting, Michael R. Hansen, Steen Vester

Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages, 2016

Discounted Duration Calculus.

Heinrich Ody, Martin Fränzle, Michael R. Hansen

Proceedings of the FM 2016: Formal Methods, 2016

2015

An approach to multicore parallelism using functional programming: A case study based on Presburger Arithmetic.

Anh-Dung Phan, Michael R. Hansen

J. Log. Algebraic Methods Program., 2015

No Need Knowing Numerous Neighbours - Towards a Realizable Interpretation of MLSL.

Martin Fränzle, Michael R. Hansen, Heinrich Ody

Proceedings of the Correct System Design, 2015

2014

A practical approach to model checking Duration Calculus using Presburger Arithmetic.

Michael R. Hansen, Anh-Dung Phan, Aske Wiid Brekling

Ann. Math. Artif. Intell., 2014

EHRA: Specification and Analysis of Energy-Harvesting Wireless Sensor Networks.

Anh-Dung Phan, Michael R. Hansen, Jan Madsen

Proceedings of the Specification, Algebra, and Software, 2014

2012

Guest Editor's foreword.

Michael R. Hansen

J. Log. Algebraic Methods Program., 2012

2011

On Tool Support for Duration Calculus on the Basis of Presburger Arithmetic.

Michael R. Hansen, Aske Wiid Brekling

Proceedings of the Eighteenth International Symposium on Temporal Representation and Reasoning, 2011

2010

DEHAR: A distributed energy harvesting aware routing algorithm for ad-hoc multi-hop wireless sensor networks.

Mikkel Koefoed Jakobsen, Jan Madsen, Michael R. Hansen

Proceedings of the 11th IEEE International Symposium on a World of Wireless, 2010

2009

Efficient Model Checking for Duration Calculus?

Martin Fränzle, Michael R. Hansen

Int. J. Softw. Informatics, 2009

2008

Experiences with Functional Programming in an Introductory Curriculum.

Michael R. Hansen, Jens Thyge Kristensen

Proceedings of the Reflections on the Teaching of Programming, Methods and Implementations, 2008

Models and formal verification of multiprocessor system-on-chips.

Aske Wiid Brekling, Michael R. Hansen, Jan Madsen

J. Log. Algebraic Methods Program., 2008

Cost Analysis for Embedded Systems: Experiments with Priced Timed Automata.

Tolga Ovatman, Aske Wiid Brekling, Michael R. Hansen

Proceedings of the 5th International Workshop on Formal Foundations of Embedded Software and Component-Based Software Architectures, 2008

Efficient Model Checking for Duration Calculus Based on Branching-Time Approximations.

Martin Fränzle, Michael R. Hansen

Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

Faults Analysis in Distributed Systems - Quantitative Estimation of Reliability and Resource Requirements.

Christian Dauer Thorenfeldt Sellberg, Michael R. Hansen, Paul Fischer

Proceedings of the ICSOFT 2008, 2008

Generation of ERP Systems from REA Specifications.

Nicholas Poul Schultz-Møller, Christian Hølmer, Michael R. Hansen

Proceedings of the ICSOFT 2008, 2008

Declarative Business Process Modelling and the Generation of ERP Systems.

Nicholas Poul Schultz-Møller, Christian Hølmer, Michael R. Hansen

Proceedings of the Software and Data Technologies - Third International Conference, 2008

2007

Deciding an Interval Logic with Accumulated Durations.

Martin Fränzle, Michael R. Hansen

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

Timed Traces and Strand Spaces.

Robin Sharp, Michael R. Hansen

Proceedings of the Computer Science, 2007

Semantics and Verification of a Language for Modelling Hardware Architectures.

Michael R. Hansen, Jan Madsen, Aske Wiid Brekling

Proceedings of the Formal Methods and Hybrid Real-Time Systems, 2007

A Theory of Duration Calculus with Application.

Michael R. Hansen, Dang Van Hung

Proceedings of the Domain Modeling and the Duration Calculus, 2007

2006

Decidability of a Hybrid Duration Calculus.

Thomas Bolander, Jens Ulrik Hansen, Michael R. Hansen

Proceedings of the International Workshop on Hybrid Logic, 2006

2005

A Robust Interpretation of Duration Calculus.

Martin Fränzle, Michael R. Hansen

Proceedings of the Theoretical Aspects of Computing, 2005

2004

Duration Calculus - A Formal Approach to Real-Time Systems

Zhou Chaochen, Michael R. Hansen

Monographs in Theoretical Computer Science. An EATCS Series, Springer, ISBN: 978-3-662-06784-0, 2004

Editorial.

Cliff B. Jones, Michael R. Hansen

Formal Aspects Comput., 2004

Generating web-based systems from specifications.

Tue Becher Jensen, Terkel K. Tolstrup, Michael R. Hansen

Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

2003

An Approach to Analyzing Availability Properties of Security Protocols.

Henrik Pilegaard, Michael R. Hansen, Robin Sharp

Nord. J. Comput., 2003

Using interval logics for temporal analysis of security protocols.

Michael R. Hansen, Robin Sharp

Proceedings of the 2003 ACM workshop on Formal methods in security engineering, 2003

2002

Guest Editors' Foreword.

Magne Haveraaen, Michael R. Hansen

Nord. J. Comput., 2002

1997

Duration Calculus: Logical Foundations.

Michael R. Hansen, Zhou Chaochen

Formal Aspects Comput., 1997

An Adequate First Order Interval Logic.

Zhou Chaochen, Michael R. Hansen

Proceedings of the Compositionality: The Significant Difference, International Symposium, 1997

1996

A Timed Semantics for SDL.

Simon Mørk, Jens Chr. Godskesen, Michael R. Hansen, Robin Sharp

Proceedings of the Formal Description Techniques IX: Theory, 1996

1995

Finite Divergence.

Michael R. Hansen, Paritosh K. Pandya, Zhou Chaochen

Theor. Comput. Sci., 1995

1994

Model-Checking Discrete Duration Calculus.

Michael R. Hansen

Formal Aspects Comput., 1994

Provably Correct Systems.

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

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994

1993

Decidability and Undecidability Results for Duration Calculus.

Zhou Chaochen, Michael R. Hansen, Peter Sestoft

Proceedings of the STACS 93, 1993

1992

An Extended Duration Calculus for Hybrid Real-Time Systems.

Zhou Chaochen, Anders P. Ravn, Michael R. Hansen

Proceedings of the Hybrid Systems, 1992

Duration Specifications for Shared Processors.

Zhou Chaochen, Michael R. Hansen, Anders P. Ravn, Hans Rischel

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1992

1991

Semantics and Completeness of Duration Calculus.

Michael R. Hansen, Zhou Chaochen

Proceedings of the Real-Time: Theory in Practice, 1991

1990

Specification & Verification of Higher Order Processes.

Michael R. Hansen, Zhou Chaochen

Proceedings of the Mathematical Foundations of Computer Science 1990, 1990

1989

Integrating Relational Databases and Constraint Languages.

Michael R. Hansen, Bo S. Hansen, Peter Lucas, Peter van Emde Boas

Comput. Lang., 1989

1983

Eine sequelartige Sprachschnittstelle für das NF2-Modell.

Peter Pistor, Bo S. Hansen, Michael R. Hansen

Proceedings of the Sprachen für Datenbanken, 1983