by Tilstone, Gavin H., Peters, Steef W.M., van der Woerd, Hendrik Jan, Eleveld, Marieke A., Ruddick, Kevin, Schönfeld, Wolfgang, Krasemann, Hajo, Martinez-Vicente, Victor, Blondeau-Patissier, David, Röttgers, Rüdiger, Sørensen, Kai, Jørgensen, Peter V., Shutler, Jamie D.
Published in Remote sensing of environment (15.03.2012)

by Tran-Jørgensen, Peter W. V., Larsen, Peter Gorm, Leavens, Gary T.
Published in International journal on software tools for technology transfer (01.04.2018)

by Hasanagić, Miran, Tran‐Jørgensen, Peter W. V., Nilsson, René S., Larsen, Peter Gorm
Published in Software, practice & experience (01.03.2019)

by Couto, Luís Diogo, Larsen, Peter Gorm, Hasanagić, Miran, Kanakis, Georgios, Lausdahl, Kenneth, Tran-Jørgensen, Peter W. V.
Published in Electronic proceedings in theoretical computer science (14.08.2015)

by Couto, Luis Diogo, Tran-Jørgensen, Peter W. V., Nilsson, René S., Larsen, Peter Gorm
Published in International journal on software tools for technology transfer (01.12.2020)

by Hasanagić, Miran, Tran-Jørgensen, Peter W. V., Lausdahl, Kenneth, Larsen, Peter Gorm
Published in FM 2016: Formal Methods

by Kulik, Tomas, Boudjadar, Jalil, Tran-Jorgensen, Peter W. V.
Published in 2020 IEEE/ACM 8th International Conference on Formal Methods in Software Engineering (FormaliSE) (01.05.2020)

by Kulik, Tomas, Dongol, Brijesh, Larsen, Peter Gorm, Macedo, Hugo Daniel, Schneider, Steve, Tran-Jørgensen, Peter W. V., Woodcock, James
Published in Formal aspects of computing (06.07.2022)

by Couto, Luís Diogo, Peter Gorm Larsen, Hasanagić, Miran, Kanakis, Georgios, Lausdahl, Kenneth, Tran-Jørgensen, Peter W V
Published in arXiv.org (17.08.2015)

by Kulik, Tomas, Tran-Jørgensen, Peter W. V., Boudjadar, Jalil
Published in Innovative Security Solutions for Information Technology and Communications (2019)

by Kulik, Tomas, Tran-Jorgensen, Peter W. V., Boudjadar, Jalil
Published in 2019 Global IoT Summit (GIoTS) (01.06.2019)

by Kulik, Tomas, Tran-Jorgensen, Peter W.V., Boudjadar, Jalil, Schultz, Carl
Published in 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) (01.04.2018)

by Couto, Luis Diogo, Tran-Jorgensen, Peter W. V., Edwards, Gareth T. C.
Published in 2016 6th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH) (01.07.2016)

by Couto, Luis Diogo, Tran-Jorgensen, Peter W. V., Coleman, Joey W., Lausdahl, Kenneth
Published in 2015 12th Working IEEE/IFIP Conference on Software Architecture (01.05.2015)