Brian Nielsen - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Brian Nielsen' as author, editor, or advisor:

Schedulability Analysis Using Uppaal: Herschel-Planck Case StudyMarius Mikucionis, Kim Guldstrand Larsen, Jacob Illum Rasmussen, Brian Nielsen, Arne Skou, Steen Ulrik Palm, Jan Storbank Pedersen, Poul Hougaard. ISoLA 2010: 175-190 [doi]
Cooperative Testing of Timed SystemsAlexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen. ENTCS, 220(1):79-92, 2008. [doi]
Resource-Parameterized Timing Analysis of Real-Time SystemsJin Hyun Kim, Axel Legay, Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen. hvc 2015: 190-205 [doi]
Learning deterministic probabilistic automata from a model checking perspectiveHua Mao, Yingke Chen, Manfred Jaeger, Thomas D. Nielsen, Kim G. Larsen, Brian Nielsen. ml, 105(2):255-299, 2016. [doi]
Model-Driven Development of Embedded Real-Time SystemsAlexandre David, Brian Nielsen. ercim, 2008(75), 2008. [doi]
Testing Real-Time Systems Using UPPAALAnders Hessel, Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen, Paul Pettersson, Arne Skou. fortest 2008: 77-117 [doi]
Schedulability Analysis of Distributed Multicore Avionics Systems with UPPAALPujie Han, Zhengjun Zhai, Brian Nielsen, Ulrik Nyman, Martin Kristjansen. jacic, 16(11):473-499, November 2019. [doi]
20 Years of Real Real Time Model ValidationKim Guldstrand Larsen, Florian Lorber, Brian Nielsen. FM 2018: 22-36 [doi]
T-UPPAAL: Online Model-based Testing of Real-Time SystemsMarius Mikucionis, Kim Guldstrand Larsen, Brian Nielsen. jckbse 2004: 396-397 [doi]
Distributed Algorithms for Time Optimal Reachability AnalysisZhengkui Zhang, Brian Nielsen, Kim G. Larsen. formats 2016: 157-173 [doi]
Testing Real-Time Systems under UncertaintyAlexandre David, Kim Guldstrand Larsen, Shuhao Li, Marius Mikucionis, Brian Nielsen. FMCO 2012: 352-371 [doi]
Mutation-Based Test-Case Generation with EcdarKim G. Larsen, Florian Lorber, Brian Nielsen, Ulrik Nyman. icst 2017: 319-328 [doi]
Model-based optimization of ARINC-653 partition schedulingPujie Han, Zhengjun Zhai, Brian Nielsen, Ulrik Nyman. STTT, 23(5):721-740, 2021. [doi]
A Game-Theoretic Approach to Real-Time System TestingAlexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen. date 2008: 486-491 [doi]
Automated test generation from timed automataBrian Nielsen, Arne Skou. STTT, 5(1):59-77, 2003. [doi]
Online Testing of Real-Time Systems Using UPPAAL: Status and Future WorkKim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen. Dagstuhl 2005: [doi]
Web of Things Semantic Interoperability in Smart BuildingsAmir Laadhar, Junior Dongo, Søren Enevoldsen, Frédéric Revaz, Dominique Gabioud, Torben Bach Pedersen, Martin Meyer, Brian Nielsen, Christian Thomsen 0001. kes 2022: 997-1006 [doi]
Specification of Real-Time Interaction ConstraintsBrian Nielsen, Shangping Ren, Gul Agha. isorc 1998: 206-214 [doi]
Battery Aware Analysis of Sensor Networks in Uppaal SMCMuhammad Naeem, Michele Albano, Kim G. Larsen, Brian Nielsen, Anders Høedholt, Christian Ø. Laursen. meco 2021: 1-6 [doi]
Time-Optimal Test Cases for Real-Time SystemsAnders Hessel, Kim Guldstrand Larsen, Brian Nielsen, Paul Pettersson, Arne Skou. formats 2003: 234-245 [doi]
Towards Reusable Real-Time ObjectsBrian Nielsen, Gul Agha. ansoft, 7:257-282, 1999.
Expressing Best Practices in (Risk) Analysis and Testing of Safety-Critical Systems Using PatternsWolfgang Herzner, Sven Sieverding, Omar Kacimi, Eckard Böde, Thomas Bauer, Brian Nielsen. issre 2014: 299-304 [doi]
Time optimal reachability analysis using swarm verificationZhengkui Zhang, Brian Nielsen, Kim G. Larsen. SAC 2016: 1634-1640 [doi]
WUppaal: A web-service for the Uppaal model-checkerPeter Fogh, Thomas C. Hald, Brian Nielsen. cspdata 2016: 1-6 [doi]
A Sigfox Module for the Network Simulator 3Muhammad Naeem, Michele Albano, Davide Magrin, Brian Nielsen, Kim Guldstrand Larsen. wns3 2022: 81-88 [doi]
Online Testing of Real-time Systems Using UppaalKim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen. fates 2005: 79-94 [doi]
Test Generation for Time Critical Systems: Tool and Case StudyBrian Nielsen, Arne Skou. ecrts 2001: 155-162 [doi]
Testing Software and Systems - 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. ProceedingsBrian Nielsen, Carsten Weise, editors, Volume 7641 of Lecture Notes in Computer Science, Springer, 2012. [doi]
Monitoring Dynamical Signals While Testing Timed Aspects of a SystemGoran Frehse, Kim G. Larsen, Marius Mikucionis, Brian Nielsen. pts 2011: 115-130 [doi]
Automated Test Generation from Timed AutomataBrian Nielsen, Arne Skou. TACAS 2001: 343-357 [doi]
Web of Things Interoperability for the Arrowhead FrameworkJunior Dongo, Michele Albano, Arne Skou, Brian Nielsen. iecon 2021: 1-6 [doi]
Testing real-time embedded software using UPPAAL-TRON: an industrial case studyKim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen, Arne Skou. emsoft 2005: 299-306 [doi]
Real-Time Layered Video Compression Using SIMD ComputationMorten Vadskær Jensen, Brian Nielsen. acpc 1999: 377-387 [doi]
Connectivity Testing Through Model-CheckingJens Chr. Godskesen, Brian Nielsen, Arne Skou. forte 2004: 167-184 [doi]
Scenario-based analysis and synthesis of real-time systems using uppaalKim Guldstrand Larsen, Shuhao Li, Brian Nielsen, Saulius Pusinskas. date 2010: 447-452 [doi]
Compositional Testing of Real-Time SystemsKim G. Larsen, Axel Legay, Marius Mikucionis, Brian Nielsen, Ulrik Nyman. BIRTHDAY 2017: 107-124 [doi]
Learning Probabilistic Automata for Model CheckingHua Mao, Yingke Chen, Manfred Jaeger, Thomas D. Nielsen, Kim G. Larsen, Brian Nielsen. qest 2011: 111-120 [doi]
Verifying Real-Time Systems against Scenario-Based RequirementsKim Guldstrand Larsen, Shuhao Li, Brian Nielsen, Saulius Pusinskas. FM 2009: 676-691 [doi]
Towards a Method for Combined Model-based Testing and AnalysisBrian Nielsen. modelsward 2014: 609-618 [doi]
20 Years of UPPAAL Enabled Industrial Model-Based Validation and BeyondKim G. Larsen, Florian Lorber, Brian Nielsen. ISoLA 2018: 212-229 [doi]
Reengineering the lifecycle of Arrowhead applications: from skeletons to the client libraryThomas Pedersen, Michele Albano, Brian Nielsen. iecon 2019: 5519-5524 [doi]
Scenario-based verification of real-time systems using UppaalShuhao Li, Sandie Balaguer, Alexandre David, Kim G. Larsen, Brian Nielsen, Saulius Pusinskas. fmsd, 37(2-3):200-264, 2010. [doi]
Interoperability by construction: code generation for Arrowhead ClientsMichele Albano, Brian Nielsen. icphys 2020: 429-432 [doi]
Timed Testing under Partial ObservabilityAlexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen. icst 2009: 61-70 [doi]
Formal Analysis and Testing of Real-Time Automotive Systems Using UPPAAL ToolsJin Hyun Kim, Kim G. Larsen, Brian Nielsen, Marius Mikucionis, Petur Olsen. fmics 2015: 47-61 [doi]
QuasimodoBrian Nielsen. ercim, 2008(75), 2008. [doi]
Model-Based Mutation Testing of Real-Time Systems via Model CheckingFlorian Lorber, Kim G. Larsen, Brian Nielsen. icst 2018: 59-68 [doi]
Pareto Optimal Reachability Analysis for Simple Priced Timed AutomataZhengkui Zhang, Brian Nielsen, Kim Guldstrand Larsen, Gilles Nies, Marvin Stenger, Holger Hermanns. icfem 2017: 481-495 [doi]
Comparative Analysis of Uppaal SMC, ns-3 and MATLAB/SimulinkMuhammad Naeem, Michele Albano, Kim Guldstrand Larsen, Brian Nielsen. ecbseerc 2024: 153-169 [doi]
Time-Optimal Real-Time Test Case Generation Using UppaalAnders Hessel, Kim Guldstrand Larsen, Brian Nielsen, Paul Pettersson, Arne Skou. fates 2004: 114-130 [doi]
Formal Approaches to Software Testing, 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected PapersJens Grabowski, Brian Nielsen, editors, Volume 3395 of Lecture Notes in Computer Science, Springer, 2005.
Learning Markov Models for Stationary System BehaviorsYingke Chen, Hua Mao, Manfred Jaeger, Thomas Dyhre Nielsen, Kim Guldstrand Larsen, Brian Nielsen. NFM 2012: 216-230 [doi]
Refocusing in reduction semanticsDanvy Olivier, Nielsen, Lasse R. 2004.

runs on WebDSL