| 2026 |
J |
jnl |
Robotics Auton. Syst.
Santiago Gil, Arjun Badyal, Alvaro Miyazawa, Peter Gorm Larsen, Ana Cavalcanti
|
| 2026 |
J |
jnl |
IEEE Softw.
Hassan Sartaj, Jalil Boudjadar, Mirgita Frasheri, Shaukat Ali, Peter Gorm Larsen
|
| 2025 |
J |
jnl |
CoRR
Marco Picone, Samuele Burattini, Marco Melloni, Prasad Talasila, Davide Ziglioli, Matteo Martinelli, Nicola Bicocchi, Alessandro Ricci, Peter Gorm Larsen
|
| 2025 |
J |
jnl |
Softw. Syst. Model.
Santiago Gil, Eduard Kamburjan, Prasad Talasila, Peter Gorm Larsen
|
| 2025 |
— |
conf |
ICPS
Iman Sharifirad, Jalil Boudjadar, Peter Gorm Larsen
|
| 2025 |
A |
conf |
ICCAD
Fatemeh Kakavandi, Peihua Han, Tim Brix Nerenst, Roger De Reus, Cláudio Gomes, Peter Gorm Larsen
|
| 2025 |
J |
jnl |
Simul.
Prasad Talasila, Cláudio Gomes, Lars Bernd Vosteen, Hannes Iven, Martin Leucker, Santiago Gil, Peter Høgh Mikkelsen, Eduard Kamburjan, Peter Gorm Larsen
|
| 2025 |
— |
conf |
ICARA
José Miguel Mendes, Mirgita Frasheri, Peter Gorm Larsen
|
| 2025 |
B |
conf |
RV
Morten Haahr Kristensen, Thomas Wright, Cláudio Gomes, Lukas Esterle, Peter Gorm Larsen
|
| 2025 |
— |
conf |
ICPS
Marco Picone, Prasad Talasila, Nicola Bicocchi, Peter Gorm Larsen
|
| 2025 |
J |
jnl |
CoRR
Hassan Sartaj, Jalil Boudjadar, Mirgita Frasheri, Shaukat Ali, Peter Gorm Larsen
|
| 2025 |
J |
jnl |
CoRR
John S. Fitzgerald, Philip James, Cláudio Gomes, Peter Gorm Larsen
|
| 2025 |
— |
conf |
MODELS-C
Mikkel Schmidt Andersen, Cláudio Gomes, Sophia Thompson, Peter Gorm Larsen
|
| 2025 |
B |
conf |
iFM
Carlos Isasa, Noah Abou El Wafa, Cláudio Gomes, Peter Gorm Larsen, André Platzer
|
| 2025 |
J |
jnl |
CoRR
Shaukat Ali, Ana Cavalcanti, Cláudio Ângelo Gonçalves Gomes, Peter Gorm Larsen, Hassan Sartaj, Anastasios Tefas, Jim Woodcock, Houxiang Zhang
|
| 2025 |
J |
jnl |
Simul.
Santiago Gil, Bentley Oakes, Cláudio Gomes, Mirgita Frasheri, Peter Gorm Larsen
|
| 2025 |
— |
conf |
TAROS
Andreas Kaag Thomsen, Buster Salomon Rasmussen, Mirgita Frasheri, Santiago Gil, Peter Gorm Larsen
|
| 2025 |
J |
jnl |
CoRR
Nick Battle, Peter Gorm Larsen
|
| 2025 |
— |
conf |
PerCom Workshops
Mirgita Frasheri, Prasad Talasila, Peter Gorm Larsen, Lukas Esterle
|
| 2024 |
J |
jnl |
J. Syst. Softw.
Simon Thrane Hansen, Casper Thule, Cláudio Gomes, Kenneth Lausdahl, Frederik Palludan Madsen, Giuseppe Abbiati, Peter Gorm Larsen
|
| 2024 |
— |
conf |
SETSS
Cláudio Gomes, Morten Haahr Kristensen, Mikkel Schmidt Andersen, Prasad Talasila, Hao Feng, Thomas Wright, Peter Gorm Larsen
|
| 2024 |
— |
conf |
ICIT
Zahra Kazemi, Emre Yildiz, Peter Gorm Larsen
|
| 2024 |
— |
conf |
BCD
Iman Sharifirad, Jalil Boudjadar, Peter Gorm Larsen
|
| 2024 |
Misc |
conf |
SISY
Iman Sharifirad, Jalil Boudjadar, Peter Gorm Larsen
|
| 2024 |
J |
jnl |
Res. Dir. Cyber Phys. Syst.
Peter Gorm Larsen, Shaukat Ali, Roland Behrens, Ana Cavalcanti, Cláudio Gomes, Guoyuan Li, Paul De Meulenaere, Mikkel Labori Olsen, Nikolaos Passalis, Thomas Peyrucain, Jesús Tapia, Anastasios Tefas, Houxiang Zhang
|
| 2024 |
— |
conf |
ACSOS-C
Morten Haahr Kristensen, Alberto Bonizzi, Cláudio Gomes, Simon Thrane Hansen, Carlos Ignacio Isasa Martin, Hannes Iven, Eduard Kamburjan, Peter Gorm Larsen, Martin Leucker, Prasad Talasila, Valdemar Trøjgård Tang, Stefano Tonetta, Lars Bernd Vosteen, Thomas Wright
|
| 2024 |
J |
jnl |
Softw. Pract. Exp.
Santiago Gil, Peter Høgh Mikkelsen, Cláudio Gomes, Peter Gorm Larsen
|
| 2024 |
— |
conf |
The Application of Formal Methods
Peter Gorm Larsen, Prasad Talasila, John S. Fitzgerald
|
| 2024 |
C |
conf |
ETFA
Christian Remi Wewer, Harshit Mahapatra, Lukas Esterle, Peter Gorm Larsen
|
| 2024 |
— |
ch. |
The Practice of Formal Methods (I)
John S. Fitzgerald, Peter Gorm Larsen, Ken Pierce, Leo Freitas, Nick Battle
|
| 2023 |
C |
conf |
ETFA
Santiago Gil, Peter Høgh Mikkelsen, Daniella Tola, Casper Schou, Peter Gorm Larsen
|
| 2023 |
J |
jnl |
Robotics Auton. Syst.
Mirgita Frasheri, Henrik Ejersbo, Casper Thule, Cláudio Gomes, Jakob Levisen Kvistgaard, Peter Gorm Larsen, Lukas Esterle
|
| 2023 |
— |
conf |
CASE
Daniel Lehner, Santiago Gil, Peter Høgh Mikkelsen, Peter Gorm Larsen, Manuel Wimmer
|
| 2023 |
— |
conf |
ISIE
Zahra Kazemi, Peter Rindom Andersen, Jakob Lemming, Peter Gorm Larsen
|
| 2023 |
J |
jnl |
CoRR
Jonas Lund, Lucas Bjarke Jensen, Nick Battle, Peter Gorm Larsen, Hugo Daniel Macedo
|
| 2023 |
Misc |
conf |
MMAR
Mirgita Frasheri, Gill Lumer-Klabbers, Jakob Levisen Kvistgaard, Jacob Odgaard Hausted, Casper Thule, Lukas Esterle, Peter Gorm Larsen
|
| 2023 |
J |
jnl |
ACM Comput. Surv.
Christian Møldrup Legaard, Thomas Schranz, Gerald Schweiger, Ján Drgona, Basak Falay, Cláudio Gomes, Alexandros Iosifidis, Mahdi Abkar, Peter Gorm Larsen
|
| 2023 |
J |
jnl |
CoRR
Prasad Talasila, Cláudio Gomes, Peter Høgh Mikkelsen, Santiago Gil Arboleda, Eduard Kamburjan, Peter Gorm Larsen
|
| 2023 |
— |
conf |
ANNSIM
Bentley Oakes, Cláudio Gomes, Peter Gorm Larsen, Joachim Denil, Julien Deantoni, João Cambeiro, John S. Fitzgerald
|
| 2023 |
— |
conf |
Applicable Formal Methods for Safe Industrial Products
Peter Gorm Larsen, Lukas Esterle, John S. Fitzgerald, Mirgita Frasheri
|
| 2023 |
J |
jnl |
Res. Dir. Cyber Phys. Syst.
Peter Gorm Larsen, John S. Fitzgerald, Jim Woodcock
|
| 2023 |
A |
conf |
ICCAD
Fatemeh Kakavandi, Peihua Han, Roger De Reus, Peter Gorm Larsen, Houxiang Zhang
|
| 2023 |
J |
jnl |
CoRR
Morten Haahr Kristensen, Peter Gorm Larsen
|
| 2023 |
J |
jnl |
CoRR
Jim Woodcock, Mikkel Schmidt Andersen, Diego F. Aranha, Stefan Hallerstede, Simon Thrane Hansen, Nikolaj Kuhne Jakobsen, Tomas Kulik, Peter Gorm Larsen, Hugo Daniel Macedo, Carlos Ignacio Isasa Martin, Victor Alexander Mtsimbe Norrild
|
| 2023 |
J |
jnl |
CoRR
Leo Freitas, Peter Gorm Larsen
|
| 2022 |
J |
jnl |
Formal Aspects Comput.
Tomas Kulik, Brijesh Dongol, Peter Gorm Larsen, Hugo Daniel Macedo, Steve Schneider, Peter W. V. Tran-Jørgensen, Jim Woodcock
|
| 2022 |
— |
conf |
SII
Emil Madsen, Daniella Tola, Carlos Hansen, Cláudio Gomes, Peter Gorm Larsen
|
| 2022 |
J |
jnl |
CoRR
Prasad Talasila, Daniel-Cristian Craciunean, Bogdan-Constantin Pirvu, Peter Gorm Larsen, Constantin B. Zamfirescu, Alea Scovill
|
| 2022 |
— |
conf |
ACSOS-C
Lukas Esterle, Henrik Ejersbo, Mirgita Frasheri, Cláudio Gomes, Hugo Daniel Macedo, Peter Gorm Larsen
|
| 2022 |
— |
conf |
ISoLA (4)
Aaron John Buhagiar, Leo Freitas, William E. Scott III, Peter Gorm Larsen
|
| 2022 |
— |
conf |
ISoLA (4)
John S. Fitzgerald, Peter Gorm Larsen, Tiziana Margaria, Jim Woodcock, Cláudio Gomes
|
| 2022 |
— |
conf |
ICCMA
Fatemeh Kakavandi, Peter Gorm Larsen
|
| 2022 |
— |
conf |
FACS
Laurynas Ubys, Valeriu Nicolas Vancea, Tomas Kulik, Peter Gorm Larsen, Jalil Boudjadar, Diego F. Aranha
|
| 2022 |
J |
jnl |
Array
Valentina Zambrano, Johannes Mueller-Roemer, Michael Sandberg, Prasad Talasila, Davide Zanin, Peter Gorm Larsen, Elke Loeschner, Wolfgang Thronicke, Dario Pietraroia, Giuseppe Landolfi, Alessandro Fontana, Manuel Laspalas, Jibinraj Antony, Valerie Poser, Tamás Kiss, Simon Bergweiler, Sebastián Peña Serna, Salvador Izquierdo, Ismael Viejo, Asier Juan, Francisco Serrano, André Stork
|
| 2022 |
— |
conf |
ANNSIM
Hao Feng, Cláudio Gomes, Santiago Gil, Peter Høgh Mikkelsen, Daniella Tola, Peter Gorm Larsen, Michael Sandberg
|
| 2022 |
C |
conf |
INDIN
Fatemeh Kakavandi, Roger De Reus, Cláudio Gomes, Negar Heidari, Alexandros Iosifidis, Peter Gorm Larsen
|
| 2022 |
— |
conf |
SII
Daniella Tola, Emil Madsen, Cláudio Gomes, Lukas Esterle, Christian Schlette, Casper Hansen, Peter Gorm Larsen
|
| 2022 |
— |
conf |
ACSOS-C
Daniella Tola, Till Böttjer, Peter Gorm Larsen, Lukas Esterle
|
| 2022 |
— |
conf |
ISoLA (4)
Tomas Kulik, Cláudio Gomes, Hugo Daniel Macedo, Stefan Hallerstede, Peter Gorm Larsen
|
| 2021 |
J |
jnl |
CoRR
Tomas Kulik, Brijesh Dongol, Peter Gorm Larsen, Hugo Daniel Macedo, Steve Schneider, Peter Würtz Vinther Tran-Jørgensen, Jim Woodcock
|
| 2021 |
C |
conf |
SIMULTECH
Christian Møldrup Legaard, Daniella Tola, Thomas Schranz, Hugo Daniel Macedo, Peter Gorm Larsen
|
| 2021 |
— |
conf |
SEFM Workshops
Prasad Talasila, Daniel-Cristian Craciunean, Bogdan-Constantin Pirvu, Peter Gorm Larsen, Constantin B. Zamfirescu, Alea Scovill
|
| 2021 |
J |
jnl |
CoRR
Christian Møldrup Legaard, Thomas Schranz, Gerald Schweiger, Ján Drgona, Basak Falay, Cláudio Gomes, Alexandros Iosifidis, Mahdi Abkar, Peter Gorm Larsen
|
| 2021 |
— |
conf |
MoDELS (Companion)
Hao Feng, Cláudio Gomes, Michael Sandberg, Casper Thule, Kenneth Lausdahl, Peter Gorm Larsen
|
| 2021 |
— |
conf |
ACSOS-C
Lukas Esterle, Cláudio Gomes, Mirgita Frasheri, Henrik Ejersbo, Sven Tomforde, Peter Gorm Larsen
|
| 2021 |
— |
conf |
ICSRS
Mirgita Frasheri, Casper Thule, Hugo Daniel Macedo, Kenneth Lausdahl, Peter Gorm Larsen, Lukas Esterle
|
| 2021 |
— |
conf |
ANNSIM
Hao Feng, Cláudio Gomes, Casper Thule, Kenneth Lausdahl, Alexandros Iosifidis, Peter Gorm Larsen
|
| 2021 |
— |
conf |
ANNSIM
Simon Thrane Hansen, Cláudio Gomes, Peter Gorm Larsen, Jaco van de Pol
|
| 2021 |
— |
conf |
ANNSIM
Emin Oguz Inci, Jan Croes, Wim Desmet, Cláudio Gomes, Casper Thule, Kenneth Lausdahl, Peter Gorm Larsen
|
| 2021 |
J |
jnl |
CoRR
Hao Feng, Cláudio Gomes, Casper Thule, Kenneth Lausdahl, Michael Sandberg, Peter Gorm Larsen
|
| 2021 |
— |
conf |
F-IDE@NFM
Jonas Kjær Rask, Frederik Palludan Madsen, Nick Battle, Hugo Daniel Macedo, Peter Gorm Larsen
|
| 2021 |
B |
conf |
COMPSAC
Gill Lumer-Klabbers, Jacob Odgaard Hausted, Jakob Levisen Kvistgaard, Hugo Daniel Macedo, Mirgita Frasheri, Peter Gorm Larsen
|
| 2021 |
— |
conf |
SEFM Workshops
Hao Feng, Cláudio Gomes, Michael Sandberg, Hugo Daniel Macedo, Peter Gorm Larsen
|
| 2020 |
J |
jnl |
CoRR
Peter Gorm Larsen, Hugo Daniel Macedo, John S. Fitzgerald, Holger Pfeifer, Martin Benedikt, Stefano Tonetta, Angelo Marguglio, Sergio Gusmeroli, George Suciu Jr.
|
| 2020 |
C |
conf |
SIMULTECH
Peter Gorm Larsen, Hugo Daniel Macedo, John S. Fitzgerald, Holger Pfeifer, Martin Benedikt, Stefano Tonetta, Angelo Marguglio, Sergio Gusmeroli, George Suciu Jr.
|
| 2020 |
J |
jnl |
Softw. Syst. Model.
John S. Fitzgerald, Fuyuki Ishikawa, Peter Gorm Larsen
|
| 2020 |
J |
jnl |
Int. J. Softw. Tools Technol. Transf.
Luís Diogo Couto, Peter W. V. Tran-Jørgensen, René S. Nilsson, Peter Gorm Larsen
|
| 2020 |
— |
conf |
ISoLA (4)
John S. Fitzgerald, Peter Gorm Larsen, Tiziana Margaria, Jim Woodcock
|
| 2020 |
— |
conf |
SIMULTECH (Selected Papers)
Peter Gorm Larsen, Hugo Daniel Macedo, John S. Fitzgerald, Holger Pfeifer, Martin Benedikt, Stefano Tonetta, Angelo Marguglio, Giuseppe Veneziano, Lorenzo Sutton, Sergio Gusmeroli, George Suciu
|
| 2020 |
B |
conf |
SEFM
Prasad Talasila, Armine Sanjari, Kristoffer Villadsen, Casper Thule, Peter Gorm Larsen, Hugo Daniel Macedo
|
| 2020 |
— |
conf |
ISoLA (4)
Beidi Li, Rasmus O. Nielsen, Karsten W. Johansen, Jochen Teizer, Peter Gorm Larsen, Carl Schultz
|
| 2020 |
— |
conf |
ISoLA (4)
Frederik F. Foldager, Casper Thule, Ole Balling, Peter Gorm Larsen
|
| 2020 |
— |
conf |
ISoLA (4)
Jim Woodcock, Cláudio Gomes, Hugo Daniel Macedo, Peter Gorm Larsen
|
| 2019 |
J |
jnl |
Des. Autom. Embed. Syst.
Miran Hasanagic, Tommaso Fabbri, Peter Gorm Larsen, Victor Bandur, Peter W. V. Tran-Jørgensen, Julien Ouy
|
| 2019 |
— |
conf |
FISEE
Peter Gorm Larsen, Hugo Daniel Macedo, Cláudio Goncalves Gomes, Lukas Esterle, Casper Thule, John S. Fitzgerald, Kenneth Pierce
|
| 2019 |
— |
conf |
SEFM Workshops
Cláudio Gomes, Casper Thule, Levi Lúcio, Hans Vangheluwe, Peter Gorm Larsen
|
| 2019 |
J |
jnl |
Simul. Model. Pract. Theory
Casper Thule, Kenneth Lausdahl, Cláudio Gomes, Gerd Meisl, Peter Gorm Larsen
|
| 2019 |
— |
conf |
FM Workshops (2)
Hugo Daniel Macedo, Mikkel Bayard Rasmussen, Casper Thule, Peter Gorm Larsen
|
| 2019 |
— |
conf |
From Software Engineering to Formal Methods and Tools, and Back
John S. Fitzgerald, Peter Gorm Larsen, Ken G. Pierce
|
| 2019 |
— |
conf |
FISEE
Stefan Hallerstede, Peter Gorm Larsen, Jalil Boudjadar, Carl Schultz, Lukas Esterle
|
| 2019 |
J |
jnl |
Softw. Pract. Exp.
Miran Hasanagic, Peter W. V. Tran-Jørgensen, René S. Nilsson, Peter Gorm Larsen
|
| 2019 |
C |
conf |
MEMOCODE
Peter W. V. Tran-Jørgensen, Tomas Kulik, Jalil Boudjadar, Peter Gorm Larsen
|
| 2019 |
J |
jnl |
Comput.
Hugo Daniel Macedo, René S. Nilsson, Peter Gorm Larsen
|
| 2019 |
— |
conf |
SEFM Workshops
Casper Thule, Maurizio Palmieri, Cláudio Gomes, Kenneth Lausdahl, Hugo Daniel Macedo, Nick Battle, Peter Gorm Larsen
|
| 2019 |
— |
conf |
FM Workshops (2)
Nick Battle, Casper Thule, Cláudio Gomes, Hugo Daniel Macedo, Peter Gorm Larsen
|
| 2019 |
— |
conf |
FM Workshops (2)
Tomohiro Oda, Keijiro Araki, Yasuhiro Yamamoto, Kumiyo Nakakoji, Hiroshi Sako, Han-Myung Chang, Peter Gorm Larsen
|
| 2018 |
— |
conf |
ISoLA (1)
Stefan Hallerstede, Peter Gorm Larsen, John S. Fitzgerald
|
| 2018 |
J |
jnl |
Int. J. Softw. Tools Technol. Transf.
Peter W. V. Tran-Jørgensen, Peter Gorm Larsen, Gary T. Leavens
|
| 2018 |
J |
jnl |
ACM Comput. Surv.
Cláudio Gomes, Casper Thule, David Broman, Peter Gorm Larsen, Hans Vangheluwe
|
| 2018 |
J |
jnl |
CoRR
Cláudio Gomes, Casper Thule, Peter Gorm Larsen, Joachim Denil, Hans Vangheluwe
|
| 2018 |
— |
conf |
ISoLA (3)
Cláudio Gomes, Casper Thule, Julien Deantoni, Peter Gorm Larsen, Hans Vangheluwe
|
| 2018 |
— |
conf |
ISoLA (3)
J. Paul Gibson, Peter Gorm Larsen, Marc Pantel, John S. Fitzgerald, Jim Woodcock
|
| 2018 |
— |
conf |
STAF Workshops
Cláudio Gomes, Casper Thule, Kenneth Lausdahl, Peter Gorm Larsen, Hans Vangheluwe
|
| 2018 |
B |
conf |
SEFM
Stefan Hallerstede, Miran Hasanagic, Sebastian Krings, Peter Gorm Larsen, Michael Leuschel
|
| 2018 |
J |
jnl |
CoRR
Martin Peter Christiansen, Peter Gorm Larsen, Rasmus Nyholm Jørgensen
|
| 2018 |
— |
conf |
STAF Workshops
Casper Thule, Cláudio Gomes, Julien Deantoni, Peter Gorm Larsen, Jörg Brauer, Hans Vangheluwe
|
| 2017 |
J |
jnl |
IEICE Trans. Inf. Syst.
Tomohiro Oda, Keijiro Araki, Peter Gorm Larsen
|
| 2017 |
J |
jnl |
Int. J. Embed. Syst.
José Antonio Esparza Isasa, Peter Gorm Larsen, Finn Overgaard Hansen
|
| 2017 |
J |
jnl |
CoRR
Cláudio Gomes, Casper Thule, David Broman, Peter Gorm Larsen, Hans Vangheluwe
|
| 2017 |
— |
conf |
SEFM Workshops
Frederik F. Foldager, Peter Gorm Larsen, Ole Green
|
| 2017 |
C |
conf |
SIMULTECH
Nicolai Pedersen, Kenneth Lausdahl, Enrique Vidal Sanchez, Peter Gorm Larsen, Jan Madsen
|
| 2017 |
— |
conf |
SIMULTECH (Selected Papers)
Nicolai Pedersen, Kenneth Lausdahl, Enrique Vidal Sanchez, Casper Thule, Peter Gorm Larsen, Jan Madsen
|
| 2017 |
— |
conf |
SEFM Workshops
Peter Gorm Larsen, John S. Fitzgerald, Jim Woodcock, Carl Gamble, Richard John Payne, Kenneth Pierce
|
| 2017 |
— |
conf |
SEFM Workshops
Luís Diogo Couto, Stylianos Basagiannis, El Hassan Ridouane, Alie El-Din Mady, Miran Hasanagic, Peter Gorm Larsen
|
| 2017 |
J |
jnl |
NII Shonan Meet. Rep.
Fuyuki Ishikawa, Peter Gorm Larsen, John S. Fitzgerald
|
| 2016 |
J |
jnl |
Future Gener. Comput. Syst.
Chris Piechotta, Martin Grooss Olsen, Adam Enø Jensen, Joey W. Coleman, Peter Gorm Larsen
|
| 2016 |
B |
conf |
FM
Miran Hasanagic, Peter W. V. Tran-Jørgensen, Kenneth Lausdahl, Peter Gorm Larsen
|
| 2016 |
— |
conf |
CPS Data
Peter Gorm Larsen, John S. Fitzgerald, Jim Woodcock, Peter Fritzson, Jörg Brauer, Christian Kleijn, Thierry Lecomte, Markus Pfeil, Ole Green, Stylianos Basagiannis, Andrey Sadovykh
|
| 2016 |
J |
jnl |
J. Log. Algebraic Methods Program.
Peter Gorm Larsen, John S. Fitzgerald
|
| 2016 |
— |
conf |
ISoLA (2)
Peter Gorm Larsen, John S. Fitzgerald, Jim Woodcock, René A. Nilsson, Carl Gamble, Simon Foster
|
| 2016 |
— |
conf |
IWST
Tomohiro Oda, Keijiro Araki, Peter Gorm Larsen
|
| 2015 |
— |
conf |
FormaliSE@ICSE
John S. Fitzgerald, Carl Gamble, Peter Gorm Larsen, Kenneth Pierce, Jim Woodcock
|
| 2015 |
J |
jnl |
Formal Aspects Comput.
Alexandre Mota, Adalberto Farias, Jim Woodcock, Peter Gorm Larsen
|
| 2015 |
J |
jnl |
Robotics
Martin P. Christiansen, Peter Gorm Larsen, Rasmus N. Jørgensen
|
| 2015 |
J |
jnl |
ACM Comput. Surv.
Claus Ballegaard Nielsen, Peter Gorm Larsen, John S. Fitzgerald, Jim Woodcock, Jan Peleska
|
| 2015 |
— |
conf |
F-IDE
Luís Diogo Couto, Peter Gorm Larsen, Miran Hasanagic, Georgios Kanakis, Kenneth Lausdahl, Peter W. V. Tran-Jørgensen
|
| 2015 |
— |
conf |
FormaliSE@ICSE
Tomohiro Oda, Keijiro Araki, Peter Gorm Larsen
|
| 2014 |
— |
conf |
SoSE
Simon Foster, Alvaro Miyazawa, Jim Woodcock, Ana Cavalcanti, John S. Fitzgerald, Peter Gorm Larsen
|
| 2014 |
— |
ch. |
Collaborative Design for Embedded Systems
Kenneth Pierce, Peter Gorm Larsen, John S. Fitzgerald
|
| 2014 |
— |
conf |
SoSE
John S. Fitzgerald, Ken G. Pierce, Peter Gorm Larsen
|
| 2014 |
— |
book |
John S. Fitzgerald, Peter Gorm Larsen, Marcel Verhoef
|
| 2014 |
C |
conf |
PRO-VE
John S. Fitzgerald, Jeremy W. Bryans, Peter Gorm Larsen, Hansen Salim
|
| 2014 |
— |
conf |
SysCon
Claus Ballegaard Nielsen, Peter Gorm Larsen
|
| 2014 |
— |
conf |
ISoLA (2)
Jim Woodcock, Ana Cavalcanti, John S. Fitzgerald, Simon Foster, Peter Gorm Larsen
|
| 2014 |
— |
ch. |
Collaborative Design for Embedded Systems
Sune Wolff, Peter Gorm Larsen, Marcel Verhoef
|
| 2014 |
— |
ch. |
Collaborative Design for Embedded Systems
Peter Gorm Larsen, John S. Fitzgerald, Marcel Verhoef, Kenneth Pierce
|
| 2014 |
C |
conf |
WETICE
Claus Ballegaard Nielsen, Kenneth Lausdahl, Peter Gorm Larsen
|
| 2014 |
— |
conf |
FHIES/SEHC
José Antonio Esparza Isasa, Peter Gorm Larsen, Finn Overgaard Hansen
|
| 2014 |
— |
ch. |
Collaborative Design for Embedded Systems
John S. Fitzgerald, Peter Gorm Larsen, Marcel Verhoef
|
| 2014 |
C |
conf |
MODELSWARD
José Antonio Esparza Isasa, Peter Würtz Vinther Jørgensen, Peter Gorm Larsen
|
| 2014 |
— |
ch. |
Collaborative Design for Embedded Systems
Marcel Verhoef, Peter Gorm Larsen
|
| 2014 |
— |
ch. |
Collaborative Design for Embedded Systems
Joey W. Coleman, Kenneth Lausdahl, Peter Gorm Larsen
|
| 2014 |
— |
ch. |
Collaborative Design for Embedded Systems
Peter Gorm Larsen, Carl Gamble, Kenneth Pierce, Augusto Ribeiro, Kenneth Lausdahl
|
| 2014 |
J |
jnl |
ERCIM News
John S. Fitzgerald, Peter Gorm Larsen, Marcel Verhoef
|
| 2013 |
C |
conf |
CLOSER
Chris Piechotta, Adam Enø Jensen, Martin Grooss Olsen, Joey W. Coleman, Peter Gorm Larsen
|
| 2013 |
J |
jnl |
Math. Struct. Comput. Sci.
John S. Fitzgerald, Peter Gorm Larsen, Ken G. Pierce, Marcel Verhoef
|
| 2013 |
— |
conf |
CSDM
John S. Fitzgerald, Peter Gorm Larsen, Jim Woodcock
|
| 2013 |
— |
ch. |
Industrial Deployment of System Engineering Methods
John S. Fitzgerald, Juan Bicarregui, Peter Gorm Larsen, Jim Woodcock
|
| 2012 |
— |
conf |
SoSE
Joey W. Coleman, Anders Kaels Malmos, Peter Gorm Larsen, Jan Peleska, Ralph Hains, Zoe Andrews, Richard John Payne, Simon Foster, Alvaro Miyazawa, Cristiano Bertolini, André Didier
|
| 2012 |
C |
conf |
ABZ
Claus Ballegaard Nielsen, Kenneth Lausdahl, Peter Gorm Larsen
|
| 2012 |
— |
conf |
SoSE
Claus Ballegaard Nielsen, Peter Gorm Larsen
|
| 2012 |
— |
conf |
SoSE
Jim Woodcock, Ana Cavalcanti, John S. Fitzgerald, Peter Gorm Larsen, Alvaro Miyazawa, Simon Perry
|
| 2011 |
C |
conf |
ICFEM
Kenneth Lausdahl, Peter Gorm Larsen, Nick Battle
|
| 2010 |
— |
conf |
FM+AM
Peter Gorm Larsen, John S. Fitzgerald, Sune Wolff
|
| 2010 |
B |
conf |
IFM
John S. Fitzgerald, Peter Gorm Larsen, Ken G. Pierce, Marcel Verhoef, Sune Wolff
|
| 2010 |
B |
conf |
SEFM
Peter Gorm Larsen, Kenneth Lausdahl, Nick Battle
|
| 2010 |
— |
conf |
SERENE
Jan F. Broenink, Christian Kleijn, Peter Gorm Larsen, Dusko S. Jovanovic, Marcel Verhoef, Kenneth Pierce
|
| 2010 |
C |
conf |
ICFEM
Augusto Ribeiro, Peter Gorm Larsen
|
| 2010 |
Misc |
conf |
SAC
Sander Vermolen, Jozef Hooman, Peter Gorm Larsen
|
| 2010 |
J |
jnl |
ACM SIGSOFT Softw. Eng. Notes
Peter Gorm Larsen, Nick Battle, Miguel Alexandre Ferreira, John S. Fitzgerald, Kenneth Lausdahl, Marcel Verhoef
|
| 2009 |
B |
conf |
FM
Kenneth Lausdahl, Hans Kristian Agerlund Lintrup, Peter Gorm Larsen
|
| 2009 |
J |
jnl |
ACM Comput. Surv.
Jim Woodcock, Peter Gorm Larsen, Juan Bicarregui, John S. Fitzgerald
|
| 2009 |
B |
conf |
FM
Juan Bicarregui, John S. Fitzgerald, Peter Gorm Larsen, J. C. P. Woodcock
|
| 2009 |
J |
jnl |
Int. J. Softw. Informatics
Peter Gorm Larsen, John S. Fitzgerald, Sune Wolff
|
| 2009 |
— |
book |
Modelling Systems - Practical Tools and Techniques in Software Development (2. ed.).
John S. Fitzgerald, Peter Gorm Larsen
|
| 2009 |
J |
jnl |
Formal Aspects Comput.
Peter Gorm Larsen, John S. Fitzgerald, Steve Riddle
|
| 2008 |
B |
conf |
FM
Hugo Daniel Macedo, Peter Gorm Larsen, John S. Fitzgerald
|
| 2008 |
J |
jnl |
ACM SIGPLAN Notices
John S. Fitzgerald, Peter Gorm Larsen, Shin Sahara
|
| 2008 |
— |
ch. |
Wiley Encyclopedia of Computer Science and Engineering
John S. Fitzgerald, Peter Gorm Larsen, Marcel Verhoef
|
| 2007 |
— |
conf |
Formal Methods and Hybrid Real-Time Systems
John S. Fitzgerald, Peter Gorm Larsen
|
| 2007 |
— |
conf |
HASE
John S. Fitzgerald, Simon Tjell, Peter Gorm Larsen, Marcel Verhoef
|
| 2006 |
B |
conf |
FM
Marcel Verhoef, Peter Gorm Larsen, Jozef Hooman
|
| 2006 |
C |
conf |
ISoLA
John S. Fitzgerald, Peter Gorm Larsen
|
| 2001 |
J |
jnl |
J. Univers. Comput. Sci.
Peter Gorm Larsen
|
| 2000 |
J |
jnl |
Formal Aspects Comput.
Peter Gorm Larsen, Paul Mukherjee, Kim Sunesen
|
| 1998 |
— |
conf |
FM-Trends
Sten Agerholm, Peter Gorm Larsen
|
| 1998 |
— |
conf |
FM-Trends
Sten Agerholm, Peter Gorm Larsen
|
| 1997 |
— |
conf |
FME
Bernhard K. Aichernig, Peter Gorm Larsen
|
| 1997 |
— |
conf |
FME
Lionel Devauchelle, Peter Gorm Larsen, Henrik Voss
|
| 1996 |
J |
jnl |
IEEE Softw.
Peter Gorm Larsen, John S. Fitzgerald, T. M. Brookes
|
| 1996 |
— |
conf |
FME
Brigitte Fröhlich, Peter Gorm Larsen
|
| 1996 |
— |
conf |
FME
T. M. Brookes, John S. Fitzgerald, Peter Gorm Larsen
|
| 1996 |
J |
jnl |
Formal Aspects Comput.
Peter Gorm Larsen, Bo Stig Hansen
|
| 1995 |
J |
jnl |
IEEE Trans. Software Eng.
Jim Woodcock, Peter Gorm Larsen
|
| 1994 |
J |
jnl |
Formal Aspects Comput.
Peter Gorm Larsen, Nico Plat, Hans Toetenel
|
| 1994 |
— |
conf |
FME
Peter Gorm Larsen
|
| 1994 |
— |
conf |
FME
John S. Fitzgerald, T. M. Brookes, M. A. Green, Peter Gorm Larsen
|
| 1994 |
J |
jnl |
Formal Aspects Comput.
Peter Gorm Larsen
|
| 1994 |
J |
jnl |
ACM SIGPLAN Notices
René Elmstrøm, Peter Gorm Larsen, Poul Bøgh Lassen
|
| 1993 |
— |
ed. |
FME
Jim Woodcock, Peter Gorm Larsen
|
| 1993 |
— |
conf |
Semantics of Specification Languages
Peter Gorm Larsen
|
| 1992 |
J |
jnl |
ACM SIGPLAN Notices
Nico Plat, Peter Gorm Larsen
|
| 1992 |
J |
jnl |
Microprocess. Microprogramming
Michael Andersen, René Elmstrøm, Poul Bøgh Lassen, Peter Gorm Larsen
|
| 1992 |
J |
jnl |
Comput. J.
Peter Gorm Larsen, Nico Plat
|
| 1991 |
— |
conf |
VDM Europe (1)
Peter Gorm Larsen, Poul Bøgh Lassen
|
| 1989 |
— |
conf |
IFIP Congress
Peter Gorm Larsen, Michael Meincke Arentoft, Brian Q. Monahan, Stephen Bear
|