| 2024 | TASE | Energy-Efficient Motion Planning for Autonomous Vehicles Using Uppaal Stratego. | Muhammad Naeem, Rong Gu, Cristina Seceleanu, Kim Guldstrand Larsen, Brian Nielsen, Michele Albano |
| 2022 | KES | Web of Things Semantic Interoperability in Smart Buildings. | Amir Laadhar, Junior Dongo, Sren Enevoldsen, Frdric Revaz, Dominique Gabioud, Torben Bach Pedersen, Martin Meyer, Brian Nielsen, Christian Thomsen |
| 2021 | IECON | Web of Things Interoperability for the Arrowhead Framework. | Junior Dongo, Michele Albano, Arne Skou, Brian Nielsen |
| 2019 | IECON | Reengineering the lifecycle of Arrowhead applications: from skeletons to the client library. | Thomas Pedersen, Michele Albano, Brian Nielsen |
| 2018 | FM | 20 Years of Real Real Time Model Validation. | Kim Guldstrand Larsen, Florian Lorber, Brian Nielsen |
| 2018 | ICST | Model-Based Mutation Testing of Real-Time Systems via Model Checking. | Florian Lorber, Kim G. Larsen, Brian Nielsen |
| 2018 | ISoLA | 20 Years of UPPAAL Enabled Industrial Model-Based Validation and Beyond. | Kim G. Larsen, Florian Lorber, Brian Nielsen |
| 2017 | ICFEM | Pareto Optimal Reachability Analysis for Simple Priced Timed Automata. | Zhengkui Zhang, Brian Nielsen, Kim Guldstrand Larsen, Gilles Nies, Marvin Stenger, Holger Hermanns |
| 2017 | ICST | Mutation-Based Test-Case Generation with Ecdar. | Kim G. Larsen, Florian Lorber, Brian Nielsen, Ulrik Nyman |
| 2016 | SAC | Time optimal reachability analysis using swarm verification. | Zhengkui Zhang, Brian Nielsen, Kim G. Larsen |
| 2015 | FMICS | Formal Analysis and Testing of Real-Time Automotive Systems Using UPPAAL Tools. | Jin Hyun Kim, Kim G. Larsen, Brian Nielsen, Marius Mikucionis, Petur Olsen |
| 2014 | ISSRE | Expressing Best Practices in (Risk) Analysis and Testing of Safety-Critical Systems Using Patterns. | Wolfgang Herzner, Sven Sieverding, Omar Kacimi, Eckard Bde, Thomas Bauer, Brian Nielsen |
| 2014 | MODELSWARD | Towards a Method for Combined Model-based Testing and Analysis. | Brian Nielsen |
| 2010 | DATE | Scenario-based analysis and synthesis of real-time systems using uppaal. | Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen, Saulius Pusinskas |
| 2010 | ISoLA | Schedulability Analysis Using Uppaal: Herschel-Planck Case Study. | Marius Mikucionis, Kim Guldstrand Larsen, Jacob Illum Rasmussen, Brian Nielsen, Arne Skou, Steen Ulrik Palm, Jan Storbank Pedersen, Poul Hougaard |
| 2009 | FM | Verifying Real-Time Systems against Scenario-Based Requirements. | Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen, Saulius Pusinskas |
| 2009 | ICST | Timed Testing under Partial Observability. | Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen |
| 2008 | DATE | A Game-Theoretic Approach to Real-Time System Testing. | Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen |
| 2005 | EMSOFT | Testing real-time embedded software using UPPAAL-TRON: an industrial case study. | Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen, Arne Skou |
| 2004 | FORTE | Connectivity Testing Through Model-Checking. | Jens Chr. Godskesen, Brian Nielsen, Arne Skou |
| 2001 | ECRTS | Test Generation for Time Critical Systems: Tool and Case Study. | Brian Nielsen, Arne Skou |
| 2001 | TACAS | Automated Test Generation from Timed Automata. | Brian Nielsen, Arne Skou |
| 1998 | ISORC | Specification of Real-Time Interaction Constraints. | Brian Nielsen, Shangping Ren, Gul Agha |