Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Michael R. Hansen
Michael Rygaard Hansen
2010 – today
- 2012
[j14]- [j13]Lelai Zhou, Shaoping Bai, Michael Rygaard Hansen: Integrated dimensional and drive-train design optimization of a light-weight anthropomorphic arm. Robotics and Autonomous Systems 60(1): 113-122 (2012)
- [c23]Yousef Iskandarani, Hamid Reza Karimi, Michael Rygaard Hansen: An iterative based approach for hysteresis parameters estimation in Magnetorheological dampers. IEEE Conf. of Intelligent Systems 2012: 439-444
- 2011
- [c22]Michael R. Hansen, Aske Wiid Brekling: On Tool Support for Duration Calculus on the Basis of Presburger Arithmetic. TIME 2011: 115-122
- 2010
- [j12]Tolga Ovatman, Aske Wiid Brekling, Michael R. Hansen: Cost Analysis for Embedded Systems: Experiments with Priced Timed Automata. Electr. Notes Theor. Comput. Sci. 238(6): 81-95 (2010)
- [c21]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: 1-9
2000 – 2009
- 2009
- [j11]Martin Fränzle, Michael R. Hansen: Efficient Model Checking for Duration Calculus? Int. J. Software and Informatics 3(2-3): 171-196 (2009)
- [j10]Shaoping Bai, Michael R. Hansen, Torben O. Andersen: Modellingof a special class of spherical parallel manipulators with Euler parameters. Robotica 27(2): 161-170 (2009)
- [c20]Martin Choux, Hamid Reza Karimi, Geir Hovland, Michael Rygaard Hansen, Morten Ottestad, Mogens Blanke: Robust adaptive backstepping control design for a Nonlinear Hydraulic-Mechanical System. CDC 2009: 2460-2467
- 2008
- [j9]Aske Wiid Brekling, Michael R. Hansen, Jan Madsen: Models and formal verification of multiprocessor system-on-chips. J. Log. Algebr. Program. 77(1-2): 1-19 (2008)
- [c19]Nicholas Poul Schultz-Møller, Christian Hølmer, Michael R. Hansen: Generation of ERP Systems from REA Specifications. ICSOFT (ISDM/ABF) 2008: 12-19
- [c18]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: 45-52
- [c17]Martin Fränzle, Michael R. Hansen: Efficient Model Checking for Duration Calculus Based on Branching-Time Approximations. SEFM 2008: 63-72
- [p1]Michael R. Hansen, Jens Thyge Kristensen: Experiences with Functional Programming in an Introductory Curriculum. Reflections on the Teaching of Programming 2008: 30-46
- 2007
- [j8]Thomas Bolander, Jens Ulrik Hansen, Michael R. Hansen: Decidability of a Hybrid Duration Calculus. Electr. Notes Theor. Comput. Sci. 174(6): 113-133 (2007)
- [c16]Michael R. Hansen, Dang Van Hung: A Theory of Duration Calculus with Application. Domain Modeling and the Duration Calculus 2007: 119-176
- [c15]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: 300-319
- [c14]
- [c13]Martin Fränzle, Michael R. Hansen: Deciding an Interval Logic with Accumulated Durations. TACAS 2007: 201-215
- 2005
- [c12]Martin Fränzle, Michael R. Hansen: A Robust Interpretation of Duration Calculus. ICTAC 2005: 257-271
- 2004
- [j7]
- [c11]Tue Becher Jensen, Terkel K. Tolstrup, Michael R. Hansen: Generating web-based systems from specifications. SAC 2004: 1647-1653
- 2003
- [j6]Henrik Pilegaard, Michael R. Hansen, Robin Sharp: An Approach to Analyzing Availability Properties of Security Protocols. Nord. J. Comput. 10(4): 337- (2003)
- [c10]Michael R. Hansen, Robin Sharp: Using interval logics for temporal analysis of security protocols. FMSE 2003: 24-31
- 2002
- [j5]
1990 – 1999
- 1997
- [j4]Michael R. Hansen, Zhou Chaochen: Duration Calculus: Logical Foundations. Formal Asp. Comput. 9(3): 283-330 (1997)
- [c9]
- 1996
- [c8]Simon Mørk, Jens Chr. Godskesen, Michael R. Hansen, Robin Sharp: A Timed Semantics for SDL. FORTE 1996: 295-309
- 1995
- [j3]Michael R. Hansen, Paritosh K. Pandya, Zhou Chaochen: Finite Divergence. Theor. Comput. Sci. 138(1): 113-139 (1995)
- 1994
- [j2]Michael R. Hansen: Model-Checking Discrete Duration Calculus. Formal Asp. Comput. 6(6A): 826-845 (1994)
- [c7]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: 288-335
- 1993
- [c6]Zhou Chaochen, Michael R. Hansen, Peter Sestoft: Decidability and Undecidability Results for Duration Calculus. STACS 1993: 58-68
- 1992
- [c5]Zhou Chaochen, Michael R. Hansen, Anders P. Ravn, Hans Rischel: Duration Specifications for Shared Processors. FTRTFT 1992: 21-32
- [c4]Zhou Chaochen, Anders P. Ravn, Michael R. Hansen: An Extended Duration Calculus for Hybrid Real-Time Systems. Hybrid Systems 1992: 36-59
- 1991
- [c3]Michael R. Hansen, Zhou Chaochen: Semantics and Completeness of Duration Calculus. REX Workshop 1991: 209-225
- 1990
- [c2]Michael R. Hansen, Zhou Chaochen: Specification & Verification of Higher Order Processes. MFCS 1990: 322-328
1980 – 1989
- 1989
- [j1]Michael R. Hansen, Bo S. Hansen, Peter Lucas, Peter van Emde Boas: Integrating Relational Databases and Constraint Languages. Comput. Lang. 14(2): 63-82 (1989)
- 1983
- [c1]Peter Pistor, Bo S. Hansen, Michael R. Hansen: Eine sequelartige Sprachschnittstelle für das NF2-Modell. Sprachen für Datenbanken 1983: 134-147
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-01-31 23:04 CET by the dblp team