Michael R. Hansen

48 papers A 2B 3C 5Misc 2Journal 12Unranked 21

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Beyond Equivalence: Benchmark Datasets for Ontology Alignment. KGSWC Xianhao Liu, Sven Hertling, Michael R. Hansen
2025	—	`conf`	MDMapper Results for OAEI 2025. OM@ISWC Xianhao Liu, Michael R. Hansen, Jesper Grode
2024	—	`ch.`	Consistent Alignments for Simple Ontologies in the Digital Information Supply Chain. The Practice of Formal Methods (I) Michael R. Hansen, Xianhao Liu, Jesper Grode
2024	—	`conf`	MDMapper Results for OAEI 2024. OM@ISWC Xianhao Liu, Michael R. Hansen, Jesper Grode
2024	—	`conf`	MDMapper: A Framework for Aligning Master Data Models Using Ontology Matching Techniques. OM@ISWC Xianhao Liu, Jesper Grode, Michael R. Hansen
2016	C	`ed.`	23rd International Symposium on Temporal Representation and Reasoning, TIME 2016, Kongens Lyngby, Denmark, October 17-19, 2016 TIME Curtis E. Dyreson, Michael R. Hansen, Luke Hunsberger
2016	B	`conf`	Discounted Duration Calculus. FM Heinrich Ody, Martin Fränzle, Michael R. Hansen
2016	—	`conf`	Synthesis of Railway-Signaling Plans using Reachability Games. IFL Patrick Kasting, Michael R. Hansen, Steen Vester
2015	J	`jnl`	An approach to multicore parallelism using functional programming: A case study based on Presburger Arithmetic. J. Log. Algebraic Methods Program. Anh-Dung Phan, Michael R. Hansen
2015	—	`conf`	No Need Knowing Numerous Neighbours - Towards a Realizable Interpretation of MLSL. Correct System Design Martin Fränzle, Michael R. Hansen, Heinrich Ody
2014	J	`jnl`	A practical approach to model checking Duration Calculus using Presburger Arithmetic. Ann. Math. Artif. Intell. Michael R. Hansen, Anh-Dung Phan, Aske Wiid Brekling
2014	—	`conf`	EHRA: Specification and Analysis of Energy-Harvesting Wireless Sensor Networks. Specification, Algebra, and Software Anh-Dung Phan, Michael R. Hansen, Jan Madsen
2012	J	`jnl`	Guest Editor's foreword. J. Log. Algebraic Methods Program. Michael R. Hansen
2011	C	`conf`	On Tool Support for Duration Calculus on the Basis of Presburger Arithmetic. TIME Michael R. Hansen, Aske Wiid Brekling
2010	C	`conf`	DEHAR: A distributed energy harvesting aware routing algorithm for ad-hoc multi-hop wireless sensor networks. WOWMOM Mikkel Koefoed Jakobsen, Jan Madsen, Michael R. Hansen
2009	J	`jnl`	Efficient Model Checking for Duration Calculus? Int. J. Softw. Informatics Martin Fränzle, Michael R. Hansen
2008	—	`conf`	Cost Analysis for Embedded Systems: Experiments with Priced Timed Automata. FESCA@ETAPS Tolga Ovatman, Aske Wiid Brekling, Michael R. Hansen
2008	—	`conf`	Declarative Business Process Modelling and the Generation of ERP Systems. ICSOFT (Selected Papers) Nicholas Poul Schultz-Møller, Christian Hølmer, Michael R. Hansen
2008	B	`conf`	Efficient Model Checking for Duration Calculus Based on Branching-Time Approximations. SEFM Martin Fränzle, Michael R. Hansen
2008	—	`ch.`	Experiences with Functional Programming in an Introductory Curriculum. Reflections on the Teaching of Programming Michael R. Hansen, Jens Thyge Kristensen
2008	—	`conf`	Faults Analysis in Distributed Systems - Quantitative Estimation of Reliability and Resource Requirements. ICSOFT (SE/MUSE/GSDCA) Christian Dauer Thorenfeldt Sellberg, Michael R. Hansen, Paul Fischer
2008	—	`conf`	Generation of ERP Systems from REA Specifications. ICSOFT (ISDM/ABF) Nicholas Poul Schultz-Møller, Christian Hølmer, Michael R. Hansen
2008	J	`jnl`	Models and formal verification of multiprocessor system-on-chips. J. Log. Algebraic Methods Program. Aske Wiid Brekling, Michael R. Hansen, Jan Madsen
2007	—	`conf`	A Theory of Duration Calculus with Application. Domain Modeling and the Duration Calculus Michael R. Hansen, Dang Van Hung
2007	A	`conf`	Deciding an Interval Logic with Accumulated Durations. TACAS Martin Fränzle, Michael R. Hansen
2007	—	`conf`	Semantics and Verification of a Language for Modelling Hardware Architectures. Formal Methods and Hybrid Real-Time Systems Michael R. Hansen, Jan Madsen, Aske Wiid Brekling
2007	Misc	`conf`	Timed Traces and Strand Spaces. CSR Robin Sharp, Michael R. Hansen
2006	—	`conf`	Decidability of a Hybrid Duration Calculus. HyLo@FLoC Thomas Bolander, Jens Ulrik Hansen, Michael R. Hansen
2005	C	`conf`	A Robust Interpretation of Duration Calculus. ICTAC Martin Fränzle, Michael R. Hansen
2004	—	`book`	Duration Calculus - A Formal Approach to Real-Time Systems Zhou Chaochen, Michael R. Hansen
2004	J	`jnl`	Editorial. Formal Aspects Comput. Cliff B. Jones, Michael R. Hansen
2004	Misc	`conf`	Generating web-based systems from specifications. SAC Tue Becher Jensen, Terkel K. Tolstrup, Michael R. Hansen
2003	J	`jnl`	An Approach to Analyzing Availability Properties of Security Protocols. Nord. J. Comput. Henrik Pilegaard, Michael R. Hansen, Robin Sharp
2003	—	`conf`	Using interval logics for temporal analysis of security protocols. FMSE Michael R. Hansen, Robin Sharp
2002	J	`jnl`	Guest Editors' Foreword. Nord. J. Comput. Magne Haveraaen, Michael R. Hansen
1997	—	`conf`	An Adequate First Order Interval Logic. COMPOS Zhou Chaochen, Michael R. Hansen
1997	J	`jnl`	Duration Calculus: Logical Foundations. Formal Aspects Comput. Michael R. Hansen, Zhou Chaochen
1996	C	`conf`	A Timed Semantics for SDL. FORTE Simon Mørk, Jens Chr. Godskesen, Michael R. Hansen, Robin Sharp
1995	J	`jnl`	Finite Divergence. Theor. Comput. Sci. Michael R. Hansen, Paritosh K. Pandya, Zhou Chaochen
1994	J	`jnl`	Model-Checking Discrete Duration Calculus. Formal Aspects Comput. Michael R. Hansen
1994	—	`conf`	Provably Correct Systems. FTRTFT 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
1993	A	`conf`	Decidability and Undecidability Results for Duration Calculus. STACS Zhou Chaochen, Michael R. Hansen, Peter Sestoft
1992	—	`conf`	An Extended Duration Calculus for Hybrid Real-Time Systems. Hybrid Systems Zhou Chaochen, Anders P. Ravn, Michael R. Hansen
1992	—	`conf`	Duration Specifications for Shared Processors. FTRTFT Zhou Chaochen, Michael R. Hansen, Anders P. Ravn, Hans Rischel
1991	—	`conf`	Semantics and Completeness of Duration Calculus. REX Workshop Michael R. Hansen, Zhou Chaochen
1990	B	`conf`	Specification & Verification of Higher Order Processes. MFCS Michael R. Hansen, Zhou Chaochen
1989	J	`jnl`	Integrating Relational Databases and Constraint Languages. Comput. Lang. Michael R. Hansen, Bo S. Hansen, Peter Lucas, Peter van Emde Boas
1983	—	`conf`	Eine sequelartige Sprachschnittstelle für das NF2-Modell. Sprachen für Datenbanken Peter Pistor, Bo S. Hansen, Michael R. Hansen