Brian Nielsen - RankMe

56 papers A* 1A 4B 4C 9Misc 3Journal 8Unranked 26

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