by Wognsen, Erik Ramsgaard, Karlsen, Henrik Søndberg, Olesen, Mads Chr, Hansen, René Rydhof
Published in Science of computer programming (15.10.2014)

by Gadyatskaya, Olga, Hansen, René Rydhof, Larsen, Kim Guldstrand, Legay, Axel, Olesen, Mads Chr, Poulsen, Danny Bøgsted
Published in Formal Modeling and Analysis of Timed Systems

by Olesen, Mads Chr, Hansen, René Rydhof, Lawall, Julia L., Palix, Nicolas
Published in Science of computer programming (01.10.2014)

by Olesen, Mads Chr, Hansen, René Rydhof, Lawall, Julia, Palix, Nicolas
Published in Science of computer programming (01.10.2014)

by Hansen, René Rydhof, Larsen, Kim Guldstrand, Olesen, Mads Chr, Wognsen, Erik Ramsgaard
Published in Information systems frontiers (01.10.2016)

by Dalsgaard, Andreas E., Enevoldsen, Søren, Fogh, Peter, Jensen, Lasse S., Jensen, Peter G., Jepsen, Tobias S., Kaufmann, Isabella, Larsen, Kim G., Nielsen, Søren M., Olesen, Mads Chr, Pastva, Samuel, Srba, Jiří
Published in Fundamenta informaticae (06.07.2018)

by Dalsgaard, Andreas E., Enevoldsen, Søren, Fogh, Peter, Jensen, Lasse S., Jepsen, Tobias S., Kaufmann, Isabella, Larsen, Kim G., Nielsen, Søren M., Olesen, Mads Chr, Pastva, Samuel, Srba, Jiří
Published in Application and Theory of Petri Nets and Concurrency

by Laarman, Alfons, Olesen, Mads Chr, Dalsgaard, Andreas Engelbredt, Larsen, Kim Guldstrand, van de Pol, Jaco
Published in Computer Aided Verification

by Jensen, Torben, Pedersen, Heine, Olesen, Mads Chr, Hansen, René Rydhof
Published in Secure IT Systems

by Dalsgaard, Andreas E., Laarman, Alfons, Larsen, Kim G., Olesen, Mads Chr, van de Pol, Jaco
Published in Formal Modeling and Analysis of Timed Systems

by Dalsgaard, Andreas Engelbredt, Hansen, René Rydhof, Jørgensen, Kenneth Yrke, Larsen, Kim Gulstrand, Olesen, Mads Chr, Olsen, Petur, Srba, Jiří
Published in NASA Formal Methods

by Skelin, Mladen, Wognsen, Erik Ramsgaard, Olesen, Mads Chr, Hansen, Rene Rydhof, Larsen, Kim Guldstrand
Published in 10th IEEE International Symposium on Industrial Embedded Systems (SIES) (01.06.2015)

by Biallas, Sebastian, Olesen, Mads Chr, Cassez, Franck, Huuck, Ralf
Published in 2013 IEEE 13th International Working Conference on Source Code Analysis and Manipulation (SCAM) (01.09.2013)

by Hansen, Rene Rydhof, Larsen, Kim Guldstrand, Olesen, Mads Chr, Wognsen, Erik Ramsgaard
Published in 2015 IEEE International Conference on Information Reuse and Integration (01.08.2015)