Brian Nielsen

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 24

Top Topics

Top Venues

Publications

Muhammad Naeem, Rong Gu, Cristina Seceleanu, Kim Guldstrand Larsen, Brian Nielsen, Michele Albano
Energy-Efficient Motion Planning for Autonomous Vehicles Using Uppaal Stratego. TASE (2024)
Muhammad Naeem, Michele Albano, Kim Guldstrand Larsen, Brian Nielsen
Comparative Analysis of Uppaal SMC, ns-3 and MATLAB/Simulink. ECBS (2023)
Amir Laadhar, Junior Dongo, Søren Enevoldsen, Frédéric Revaz, Dominique Gabioud, Torben Bach Pedersen, Martin Meyer, Brian Nielsen, Christian Thomsen
Web of Things Semantic Interoperability in Smart Buildings. KES (2022)
Muhammad Naeem, Michele Albano, Davide Magrin, Brian Nielsen, Kim Guldstrand Larsen
A Sigfox Module for the Network Simulator 3. WNS3 (2022)
Pujie Han, Zhengjun Zhai, Brian Nielsen, Ulrik Nyman
Model-based optimization of ARINC-653 partition scheduling. Int. J. Softw. Tools Technol. Transf. 23 (5) (2021)
Muhammad Naeem, Michele Albano, Kim G. Larsen, Brian Nielsen, Anders Høedholt, Christian Ø. Laursen
Battery Aware Analysis of Sensor Networks in Uppaal SMC. MECO (2021)
Junior Dongo, Michele Albano, Arne Skou, Brian Nielsen
Web of Things Interoperability for the Arrowhead Framework. IECON (2021)
Michele Albano, Brian Nielsen
Interoperability by construction: code generation for Arrowhead Clients. ICPS (2020)
Thomas Pedersen, Michele Albano, Brian Nielsen
Reengineering the lifecycle of Arrowhead applications: from skeletons to the client library. IECON (2019)
Pujie Han, Zhengjun Zhai, Brian Nielsen, Ulrik Nyman, Martin Kristjansen
Schedulability Analysis of Distributed Multicore Avionics Systems with UPPAAL. J. Aerosp. Inf. Syst. 16 (11) (2019)
Kim G. Larsen, Florian Lorber, Brian Nielsen
20 Years of UPPAAL Enabled Industrial Model-Based Validation and Beyond. ISoLA (4) (2018)
Pujie Han, Zhengjun Zhai, Brian Nielsen, Ulrik Nyman
A Modeling Framework for Schedulability Analysis of Distributed Avionics Systems. MARS/VPT@ETAPS (2018)
Kim Guldstrand Larsen, Florian Lorber, Brian Nielsen
20 Years of Real Real Time Model Validation. FM (2018)
Pujie Han, Zhengjun Zhai, Brian Nielsen, Ulrik Nyman
A Compositional Approach for Schedulability Analysis of Distributed Avionics Systems. MeTRiD@ETAPS (2018)
Florian Lorber, Kim G. Larsen, Brian Nielsen
Model-Based Mutation Testing of Real-Time Systems via Model Checking. ICST Workshops (2018)
Kim G. Larsen, Florian Lorber, Brian Nielsen, Ulrik Nyman
Mutation-Based Test-Case Generation with Ecdar. ICST Workshops (2017)
Kim G. Larsen, Axel Legay, Marius Mikucionis, Brian Nielsen, Ulrik Nyman
Compositional Testing of Real-Time Systems. ModelEd, TestEd, TrustEd (2017)
Zhengkui Zhang, Brian Nielsen, Kim Guldstrand Larsen, Gilles Nies, Marvin Stenger, Holger Hermanns
Pareto Optimal Reachability Analysis for Simple Priced Timed Automata. ICFEM (2017)
Zhengkui Zhang, Brian Nielsen, Kim G. Larsen
Distributed Algorithms for Time Optimal Reachability Analysis. FORMATS (2016)
Zhengkui Zhang, Brian Nielsen, Kim G. Larsen
Time optimal reachability analysis using swarm verification. SAC (2016)
Hua Mao, Yingke Chen, Manfred Jaeger, Thomas D. Nielsen, Kim G. Larsen, Brian Nielsen
Learning deterministic probabilistic automata from a model checking perspective. Mach. Learn. 105 (2) (2016)
Peter Fogh, Thomas C. Hald, Brian Nielsen
WUppaal: A web-service for the Uppaal model-checker. CPS Data (2016)
Jin Hyun Kim, Kim G. Larsen, Brian Nielsen, Marius Mikucionis, Petur Olsen
Formal Analysis and Testing of Real-Time Automotive Systems Using UPPAAL Tools. FMICS (2015)
Jin Hyun Kim, Axel Legay, Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen
Resource-Parameterized Timing Analysis of Real-Time Systems. Haifa Verification Conference (2015)
Brian Nielsen
Towards a Method for Combined Model-based Testing and Analysis. MODELSWARD (2014)
Wolfgang Herzner, Sven Sieverding, Omar Kacimi, Eckard Böde, Thomas Bauer, Brian Nielsen
Expressing Best Practices in (Risk) Analysis and Testing of Safety-Critical Systems Using Patterns. ISSRE Workshops (2014)
Hua Mao, Yingke Chen, Manfred Jaeger, Thomas D. Nielsen, Kim G. Larsen, Brian Nielsen
Learning Markov Decision Processes for Model Checking QFM (2012)
Yingke Chen, Hua Mao, Manfred Jaeger, Thomas Dyhre Nielsen, Kim Guldstrand Larsen, Brian Nielsen
Learning Markov Models for Stationary System Behaviors. NASA Formal Methods (2012)
Goran Frehse, Kim G. Larsen, Marius Mikucionis, Brian Nielsen
Monitoring Dynamical Signals While Testing Timed Aspects of a System. ICTSS (2011)
Hua Mao, Yingke Chen, Manfred Jaeger, Thomas D. Nielsen, Kim G. Larsen, Brian Nielsen
Learning Probabilistic Automata for Model Checking. QEST (2011)
Shuhao Li, Sandie Balaguer, Alexandre David, Kim G. Larsen, Brian Nielsen, Saulius Pusinskas
Scenario-based verification of real-time systems using Uppaal. Formal Methods Syst. Des. 37 (2-3) (2010)
Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Marius Mikucionis, Brian Nielsen
Testing Real-Time Systems under Uncertainty. FMCO (2010)
Marius Mikucionis, Kim Guldstrand Larsen, Jacob Illum Rasmussen, Brian Nielsen, Arne Skou, Steen Ulrik Palm, Jan Storbank Pedersen, Poul Hougaard
Schedulability Analysis Using Uppaal: Herschel-Planck Case Study. ISoLA (2) (2010)
Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen, Saulius Pusinskas
Scenario-based analysis and synthesis of real-time systems using uppaal. DATE (2010)
Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen, Saulius Pusinskas
Verifying Real-Time Systems against Scenario-Based Requirements. FM (2009)
Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen
Timed Testing under Partial Observability. ICST (2009)
Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen
Cooperative Testing of Timed Systems. Electron. Notes Theor. Comput. Sci. 220 (1) (2008)
Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen
A Game-Theoretic Approach to Real-Time System Testing. DATE (2008)
Brian Nielsen
Quasimodo. ERCIM News 2008 (75) (2008)
Alexandre David, Brian Nielsen
Model-Driven Development of Embedded Real-Time Systems. ERCIM News 2008 (75) (2008)
Anders Hessel, Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen, Paul Pettersson, Arne Skou
Testing Real-Time Systems Using UPPAAL. Formal Methods and Testing (2008)
Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen, Arne Skou
Testing real-time embedded software using UPPAAL-TRON: an industrial case study. EMSOFT (2005)
Jens Chr. Godskesen, Brian Nielsen, Arne Skou
Connectivity Testing Through Model-Checking. FORTE (2004)
Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen
Online Testing of Real-time Systems Using Uppaal. FATES (2004)
Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen
Online Testing of Real-Time Systems Using UPPAAL: Status and Future Work. Perspectives of Model-Based Testing (2004)
Marius Mikucionis, Kim Guldstrand Larsen, Brian Nielsen
T-UPPAAL: Online Model-based Testing of Real-Time Systems. ASE (2004)
Brian Nielsen, Arne Skou
Automated test generation from timed automata. Int. J. Softw. Tools Technol. Transf. 5 (1) (2003)
Anders Hessel, Kim Guldstrand Larsen, Brian Nielsen, Paul Pettersson, Arne Skou
Time-Optimal Test Cases for Real-Time Systems. FORMATS (2003)
Anders Hessel, Kim Guldstrand Larsen, Brian Nielsen, Paul Pettersson, Arne Skou
Time-Optimal Real-Time Test Case Generation Using Uppaal. FATES (2003)
Brian Nielsen, Arne Skou
Test Generation for Time Critical Systems: Tool and Case Study. ECRTS (2001)
Brian Nielsen, Arne Skou
Automated Test Generation from Timed Automata. TACAS (2001)
Brian Nielsen, Gul Agha
Towards Reusable Real-Time Objects. Ann. Softw. Eng. 7 (1999)
Morten Vadskær Jensen, Brian Nielsen
Real-Time Layered Video Compression Using SIMD Computation. ACPC (1999)
Brian Nielsen, Shangping Ren, Gul Agha
Specification of Real-Time Interaction Constraints. ISORC (1998)