×

zbMATH — the first resource for mathematics

Møller, Mikael Harkjær

Compute Distance To:
Author ID: moller.mikael-harkjaer Recent zbMATH articles by "Møller, Mikael Harkjær"
Published as: Møller, Mikael H.; Möller, M.; Møller, Mikael Harkjær; Moeller, M.
Documents Indexed: 13 Publications since 1997

Publications by Year

Citations contained in zbMATH Open

10 Publications have been cited 24 times in 20 Documents Cited by Year
Verification of timed-arc Petri nets. Zbl 1298.68175
Jacobsen, Lasse; Jacobsen, Morten; Møller, Mikael H.; Srba, Jiří
6
2011
Parametric modal transition systems. Zbl 1348.68120
Beneš, Nikola; Křetínský, Jan; Larsen, Kim G.; Møller, Mikael H.; Srba, Jiří
4
2011
TAPAAL 2.0: integrated development environment for timed-arc Petri nets. Zbl 1352.68181
David, Alexandre; Jacobsen, Lasse; Jacobsen, Morten; Jørgensen, Kenneth Yrke; Møller, Mikael H.; Srba, Jiří
4
2012
Channel properties of asynchronously composed Petri nets. Zbl 1381.68203
Haddad, Serge; Hennicker, Rolf; Møller, Mikael H.
2
2013
Dual-priced modal transition systems with time durations. Zbl 1352.68144
Beneš, Nikola; Křetínský, Jan; Guldstrand Larsen, Kim; Møller, Mikael H.; Srba, Jiří
2
2012
Specification of asynchronous component systems with modal I/O-Petri nets. Zbl 1348.68162
Haddad, Serge; Hennicker, Rolf; Møller, Mikael H.
2
2014
Undecidability of coverability and boundedness for timed-arc Petri nets with invariants. Zbl 1247.68186
Jacobsen, Lasse; Jacobsen, Morten; Møller, Mikael H.
1
2009
Refinement checking on parametric modal transition systems. Zbl 1309.68130
Beneš, Nikola; Křetínský, Jan; Larsen, Kim G.; Møller, Mikael H.; Sickert, Salomon; Srba, Jiří
1
2015
TCTL-preserving translations from timed-arc Petri nets to networks of timed automata. Zbl 1359.68216
Byg, Joakim; Jacobsen, Morten; Jacobsen, Lasse; Jørgensen, Kenneth Yrke; Møller, Mikael Harkjær; Srba, Jiří
1
2014
On \(n\)-fold expansions for ordinary differential operators. Zbl 1012.34079
Faierman, M.; Markus, A.; Matsaev, V.; Möller, M.
1
2002
Refinement checking on parametric modal transition systems. Zbl 1309.68130
Beneš, Nikola; Křetínský, Jan; Larsen, Kim G.; Møller, Mikael H.; Sickert, Salomon; Srba, Jiří
1
2015
Specification of asynchronous component systems with modal I/O-Petri nets. Zbl 1348.68162
Haddad, Serge; Hennicker, Rolf; Møller, Mikael H.
2
2014
TCTL-preserving translations from timed-arc Petri nets to networks of timed automata. Zbl 1359.68216
Byg, Joakim; Jacobsen, Morten; Jacobsen, Lasse; Jørgensen, Kenneth Yrke; Møller, Mikael Harkjær; Srba, Jiří
1
2014
Channel properties of asynchronously composed Petri nets. Zbl 1381.68203
Haddad, Serge; Hennicker, Rolf; Møller, Mikael H.
2
2013
TAPAAL 2.0: integrated development environment for timed-arc Petri nets. Zbl 1352.68181
David, Alexandre; Jacobsen, Lasse; Jacobsen, Morten; Jørgensen, Kenneth Yrke; Møller, Mikael H.; Srba, Jiří
4
2012
Dual-priced modal transition systems with time durations. Zbl 1352.68144
Beneš, Nikola; Křetínský, Jan; Guldstrand Larsen, Kim; Møller, Mikael H.; Srba, Jiří
2
2012
Verification of timed-arc Petri nets. Zbl 1298.68175
Jacobsen, Lasse; Jacobsen, Morten; Møller, Mikael H.; Srba, Jiří
6
2011
Parametric modal transition systems. Zbl 1348.68120
Beneš, Nikola; Křetínský, Jan; Larsen, Kim G.; Møller, Mikael H.; Srba, Jiří
4
2011
Undecidability of coverability and boundedness for timed-arc Petri nets with invariants. Zbl 1247.68186
Jacobsen, Lasse; Jacobsen, Morten; Møller, Mikael H.
1
2009
On \(n\)-fold expansions for ordinary differential operators. Zbl 1012.34079
Faierman, M.; Markus, A.; Matsaev, V.; Möller, M.
1
2002

Citations by Year