| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Michael R. Hansen |
Guest Editor's foreword.  |
J. Log. Algebr. Program.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Lelai Zhou, Shaoping Bai, Michael Rygaard Hansen |
Integrated dimensional and drive-train design optimization of a light-weight anthropomorphic arm. |
Robotics and Autonomous Systems |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael R. Hansen, Aske Wiid Brekling |
On Tool Support for Duration Calculus on the Basis of Presburger Arithmetic. |
TIME |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tolga Ovatman, Aske Wiid Brekling, Michael R. Hansen |
Cost Analysis for Embedded Systems: Experiments with Priced Timed Automata. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Shaoping Bai, Michael R. Hansen, Torben O. Andersen |
Modellingof a special class of spherical parallel manipulators with Euler parameters. |
Robotica |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Fränzle, Michael R. Hansen |
Efficient Model Checking for Duration Calculus? |
Int. J. Software and Informatics |
2009 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Aske Wiid Brekling, Michael R. Hansen, Jan Madsen |
Models and formal verification of multiprocessor system-on-chips. |
J. Log. Algebr. Program. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael R. Hansen, Jens Thyge Kristensen |
Experiences with Functional Programming in an Introductory Curriculum. |
Reflections on the Teaching of Programming |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicholas Poul Schultz-Møller, Christian Hølmer, Michael R. Hansen |
Generation of ERP Systems from REA Specifications. |
ICSOFT (ISDM/ABF) |
2008 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Martin Fränzle, Michael R. Hansen |
Efficient Model Checking for Duration Calculus Based on Branching-Time Approximations. |
SEFM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Bolander, Jens Ulrik Hansen, Michael R. Hansen |
Decidability of a Hybrid Duration Calculus. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Robin Sharp, Michael R. Hansen |
Timed Traces and Strand Spaces. |
CSR |
2007 |
DBLP DOI BibTeX RDF |
verification, real-time, Security protocols, interval logic |
| 1 | Martin Fränzle, Michael R. Hansen |
Deciding an Interval Logic with Accumulated Durations. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
metric-time temporal logic, multi-priced timed automata, Real-time systems, model-checking, decidability |
| 1 | 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 |
DBLP DOI BibTeX RDF |
Hardware descriptions, model- checking, verification, semantics |
| 1 | Michael R. Hansen, Dang Van Hung |
A Theory of Duration Calculus with Application. |
Domain Modeling and the Duration Calculus |
2007 |
DBLP DOI BibTeX RDF |
metric-time temporal logic, Real-time systems, model-checking, application, decidability, duration calculus |
| 1 | Martin Fränzle, Michael R. Hansen |
A Robust Interpretation of Duration Calculus. |
ICTAC |
2005 |
DBLP DOI BibTeX RDF |
Metric-time temporal logic, Robust interpretation, Discrete time vs. dense time |
| 1 | Cliff B. Jones, Michael R. Hansen |
Editorial. |
Formal Asp. Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Tue Becher Jensen, Terkel K. Tolstrup, Michael R. Hansen |
Generating web-based systems from specifications. |
SAC |
2004 |
DBLP DOI BibTeX RDF |
navigation safeness, type safeness, specification, Web engineering, automatic generation |
| 1 | Henrik Pilegaard, Michael R. Hansen, Robin Sharp |
An Approach to Analyzing Availability Properties of Security Protocols. |
Nord. J. Comput. |
2003 |
DBLP BibTeX RDF |
|
| 1 | Michael R. Hansen, Robin Sharp |
Using interval logics for temporal analysis of security protocols. |
FMSE |
2003 |
DBLP DOI BibTeX RDF |
verification, real-time, security protocols, interval logic |
| 1 | Magne Haveraaen, Michael R. Hansen |
Guest Editors' Foreword. |
Nord. J. Comput. |
2002 |
DBLP BibTeX RDF |
|
| 1 | Michael R. Hansen, Zhou Chaochen |
Duration Calculus: Logical Foundations. |
Formal Asp. Comput. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhou Chaochen, Michael R. Hansen |
An Adequate First Order Interval Logic. |
COMPOS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Mørk, Jens Chr. Godskesen, Michael R. Hansen, Robin Sharp |
A Timed Semantics for SDL. |
FORTE |
1996 |
DBLP BibTeX RDF |
|
| 1 | Michael R. Hansen, Paritosh K. Pandya, Zhou Chaochen |
Finite Divergence. |
Theor. Comput. Sci. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael R. Hansen |
Model-Checking Discrete Duration Calculus. |
Formal Asp. Comput. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhou Chaochen, Michael R. Hansen, Peter Sestoft |
Decidability and Undecidability Results for Duration Calculus. |
STACS |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhou Chaochen, Anders P. Ravn, Michael R. Hansen |
An Extended Duration Calculus for Hybrid Real-Time Systems. |
Hybrid Systems |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhou Chaochen, Michael R. Hansen, Anders P. Ravn, Hans Rischel |
Duration Specifications for Shared Processors. |
FTRTFT |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael R. Hansen, Zhou Chaochen |
Semantics and Completeness of Duration Calculus. |
REX Workshop |
1991 |
DBLP DOI BibTeX RDF |
relative completeness, real-time systems, verification, specifications, specification languages, proof system, Duration Calculus, Interval Temporal Logic |
| 1 | Michael R. Hansen, Zhou Chaochen |
Specification & Verification of Higher Order Processes. |
MFCS |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael R. Hansen, Bo S. Hansen, Peter Lucas, Peter van Emde Boas |
Integrating Relational Databases and Constraint Languages. |
Comput. Lang. |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Pistor, Bo S. Hansen, Michael R. Hansen |
Eine sequelartige Sprachschnittstelle für das NF2-Modell. |
Sprachen für Datenbanken |
1983 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")