default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBrian Nielsen
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c45]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: 356-373- 2023
- [c44]Muhammad Naeem, Michele Albano
, Kim Guldstrand Larsen, Brian Nielsen:
Comparative Analysis of Uppaal SMC, ns-3 and MATLAB/Simulink. ECBS 2023: 153-169 - 2022
- [c43]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: 997-1006 - [c42]Muhammad Naeem, Michele Albano, Davide Magrin, Brian Nielsen, Kim Guldstrand Larsen:
A Sigfox Module for the Network Simulator 3. WNS3 2022: 81-88 - 2021
- [j6]Pujie Han, Zhengjun Zhai, Brian Nielsen, Ulrik Nyman:
Model-based optimization of ARINC-653 partition scheduling. Int. J. Softw. Tools Technol. Transf. 23(5): 721-740 (2021) - [c41]Junior Dongo, Michele Albano, Arne Skou, Brian Nielsen:
Web of Things Interoperability for the Arrowhead Framework. IECON 2021: 1-6 - [c40]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: 1-6 - 2020
- [c39]Michele Albano, Brian Nielsen:
Interoperability by construction: code generation for Arrowhead Clients. ICPS 2020: 429-432
2010 – 2019
- 2019
- [j5]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): 473-499 (2019) - [c38]Thomas Pedersen, Michele Albano, Brian Nielsen:
Reengineering the lifecycle of Arrowhead applications: from skeletons to the client library. IECON 2019: 5519-5524 - 2018
- [c37]Kim Guldstrand Larsen, Florian Lorber, Brian Nielsen:
20 Years of Real Real Time Model Validation. FM 2018: 22-36 - [c36]Florian Lorber, Kim G. Larsen, Brian Nielsen:
Model-Based Mutation Testing of Real-Time Systems via Model Checking. ICST Workshops 2018: 59-68 - [c35]Kim G. Larsen, Florian Lorber, Brian Nielsen:
20 Years of UPPAAL Enabled Industrial Model-Based Validation and Beyond. ISoLA (4) 2018: 212-229 - [c34]Pujie Han, Zhengjun Zhai, Brian Nielsen, Ulrik Nyman:
A Compositional Approach for Schedulability Analysis of Distributed Avionics Systems. MeTRiD@ETAPS 2018: 39-51 - [c33]Pujie Han, Zhengjun Zhai, Brian Nielsen, Ulrik Nyman:
A Modeling Framework for Schedulability Analysis of Distributed Avionics Systems. MARS/VPT@ETAPS 2018: 150-168 - 2017
- [c32]Kim G. Larsen, Axel Legay, Marius Mikucionis, Brian Nielsen, Ulrik Nyman:
Compositional Testing of Real-Time Systems. ModelEd, TestEd, TrustEd 2017: 107-124 - [c31]Zhengkui Zhang, Brian Nielsen, Kim Guldstrand Larsen, Gilles Nies, Marvin Stenger, Holger Hermanns:
Pareto Optimal Reachability Analysis for Simple Priced Timed Automata. ICFEM 2017: 481-495 - [c30]Kim G. Larsen, Florian Lorber, Brian Nielsen, Ulrik Nyman:
Mutation-Based Test-Case Generation with Ecdar. ICST Workshops 2017: 319-328 - 2016
- [j4]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): 255-299 (2016) - [c29]Peter Fogh, Thomas C. Hald, Brian Nielsen:
WUppaal: A web-service for the Uppaal model-checker. CPS Data 2016: 1-6 - [c28]Zhengkui Zhang, Brian Nielsen, Kim G. Larsen:
Distributed Algorithms for Time Optimal Reachability Analysis. FORMATS 2016: 157-173 - [c27]Zhengkui Zhang, Brian Nielsen, Kim G. Larsen:
Time optimal reachability analysis using swarm verification. SAC 2016: 1634-1640 - 2015
- [c26]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: 47-61 - [c25]Jin Hyun Kim, Axel Legay, Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen:
Resource-Parameterized Timing Analysis of Real-Time Systems. Haifa Verification Conference 2015: 190-205 - 2014
- [c24]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: 299-304 - [c23]Brian Nielsen:
Towards a Method for Combined Model-based Testing and Analysis. MODELSWARD 2014: 609-618 - 2012
- [c22]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: 216-230 - [c21]Hua Mao, Yingke Chen, Manfred Jaeger, Thomas D. Nielsen, Kim G. Larsen, Brian Nielsen:
Learning Markov Decision Processes for Model Checking. QFM 2012: 49-63 - [e2]Brian Nielsen, Carsten Weise:
Testing Software and Systems - 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings. Lecture Notes in Computer Science 7641, Springer 2012, ISBN 978-3-642-34690-3 [contents] - 2011
- [c20]Goran Frehse, Kim G. Larsen, Marius Mikucionis, Brian Nielsen:
Monitoring Dynamical Signals While Testing Timed Aspects of a System. ICTSS 2011: 115-130 - [c19]Hua Mao, Yingke Chen, Manfred Jaeger, Thomas D. Nielsen, Kim G. Larsen, Brian Nielsen:
Learning Probabilistic Automata for Model Checking. QEST 2011: 111-120 - 2010
- [j3]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): 200-264 (2010) - [c18]Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen, Saulius Pusinskas:
Scenario-based analysis and synthesis of real-time systems using uppaal. DATE 2010: 447-452 - [c17]Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Marius Mikucionis, Brian Nielsen:
Testing Real-Time Systems under Uncertainty. FMCO 2010: 352-371 - [c16]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: 175-190
2000 – 2009
- 2009
- [c15]Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen, Saulius Pusinskas:
Verifying Real-Time Systems against Scenario-Based Requirements. FM 2009: 676-691 - [c14]Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen:
Timed Testing under Partial Observability. ICST 2009: 61-70 - 2008
- [c13]Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen:
A Game-Theoretic Approach to Real-Time System Testing. DATE 2008: 486-491 - [c12]Anders Hessel, Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen, Paul Pettersson, Arne Skou:
Testing Real-Time Systems Using UPPAAL. Formal Methods and Testing 2008: 77-117 - [c11]Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen:
Cooperative Testing of Timed Systems. MBT@ETAPS 2008: 79-92 - [i3]Alexandre David, Brian Nielsen:
Model-Driven Development of Embedded Real-Time Systems. ERCIM News 2008(75) (2008) - [i2]Brian Nielsen:
Quasimodo. ERCIM News 2008(75) (2008) - 2005
- [c10]Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen, Arne Skou:
Testing real-time embedded software using UPPAAL-TRON: an industrial case study. EMSOFT 2005: 299-306 - [e1]Jens Grabowski, Brian Nielsen:
Formal Approaches to Software Testing, 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3395, Springer 2005, ISBN 3-540-25109-X [contents] - 2004
- [c9]Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen:
Online Testing of Real-time Systems Using Uppaal. FATES 2004: 79-94 - [c8]Jens Chr. Godskesen, Brian Nielsen, Arne Skou:
Connectivity Testing Through Model-Checking. FORTE 2004: 167-184 - [c7]Marius Mikucionis, Kim Guldstrand Larsen, Brian Nielsen:
T-UPPAAL: Online Model-based Testing of Real-Time Systems. ASE 2004: 396-397 - [i1]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 - 2003
- [j2]Brian Nielsen, Arne Skou:
Automated test generation from timed automata. Int. J. Softw. Tools Technol. Transf. 5(1): 59-77 (2003) - [c6]Anders Hessel, Kim Guldstrand Larsen, Brian Nielsen, Paul Pettersson, Arne Skou:
Time-Optimal Real-Time Test Case Generation Using Uppaal. FATES 2003: 114-130 - [c5]Anders Hessel, Kim Guldstrand Larsen, Brian Nielsen, Paul Pettersson, Arne Skou:
Time-Optimal Test Cases for Real-Time Systems. FORMATS 2003: 234-245 - 2001
- [c4]Brian Nielsen, Arne Skou:
Test Generation for Time Critical Systems: Tool and Case Study. ECRTS 2001: 155-162 - [c3]Brian Nielsen, Arne Skou:
Automated Test Generation from Timed Automata. TACAS 2001: 343-357
1990 – 1999
- 1999
- [j1]Brian Nielsen, Gul Agha:
Towards Reusable Real-Time Objects. Ann. Softw. Eng. 7: 257-282 (1999) - [c2]Morten Vadskær Jensen, Brian Nielsen:
Real-Time Layered Video Compression Using SIMD Computation. ACPC 1999: 377-387 - 1998
- [c1]Brian Nielsen, Shangping Ren, Gul Agha:
Specification of Real-Time Interaction Constraints. ISORC 1998: 206-214
Coauthor Index
aka: Kim Guldstrand Larsen
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
