Joakim Byg

According to our database, Joakim Byg authored at least 4 papers between 2009 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

TCTL-preserving translations from timed-arc Petri nets to networks of timed automata.

Joakim Byg, Morten Jacobsen, Lasse Jacobsen, Kenneth Yrke Jørgensen, Mikael Harkjær Møller, Jirí Srba

Theor. Comput. Sci., 2014

2013

Tools for Model-Checking Timed Systems.

Alexandre David, Gerd Behrmann, Peter E. Bulychev, Joakim Byg, Thomas Chatain, Kim G. Larsen, Paul Pettersson, Jacob Illum Rasmussen, Jirí Srba, Wang Yi, Kenneth Yrke Jørgensen, Didier Lime, Morgan Magnin, Olivier H. Roux, Louis-Marie Traonouez

Proceedings of the Communicating Embedded Systems, 2013

2009

An Efficient Translation of Timed-Arc Petri Nets to Networks of Timed Automata.

Joakim Byg, Kenneth Yrke Jørgensen, Jirí Srba

Proceedings of the Formal Methods and Software Engineering, 2009

TAPAAL: Editor, Simulator and Verifier of Timed-Arc Petri Nets.

Joakim Byg, Kenneth Yrke Jørgensen, Jirí Srba

Proceedings of the Automated Technology for Verification and Analysis, 2009