TDG Scholar TDGScholar Committed to research! Version 1.7
Home | Bibliography | Writers | Journals | Conferences | Publishers Help | News

Bibliography

| Report | Share
A total of 38 records were found in 0.172 seconds
Fetch | Report | Google
Online and Compositional Learning of Controllers with Application to Floor Heating
Kim G. Larsen, Marius Mikucionis, Marco Muñiz, Jirí Srba, Jakob Haahr Taankvist
TACAS, 244-259, 2016
Fetch | Report | Google
Statistical and exact schedulability analysis of hierarchical scheduling systems
Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou
Sci. Comput. Program., 127103-130, 2016
Fetch | Report | Google
Importance Sampling for Stochastic Timed Automata
Cyrille Jégourel, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards
SETTA, 163-178, 2016
Fetch | Report | Google
Toolchain for user-centered intelligent floor heating control
Mads Kronborg Agesen, Kim Guldstrand Larsen, Marius Mikucionis, Marco Muñiz, Petur Olsen, Thomas Pedersen, Jirí Srba, Arne Skou
IECON, 5296-5301, 2016
Fetch | Report | Google
Resource-Parameterized Timing Analysis of Real-Time Systems
Jin Hyun Kim, Axel Legay, Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen
Haifa Verification Conference, 190-205, 2015
Fetch | Report | Google
Formal Analysis and Testing of Real-Time Automotive Systems Using UPPAAL Tools
Jin Hyun Kim, Kim G. Larsen, Brian Nielsen, Marius Mikucionis, Petur Olsen
FMICS, 47-61, 2015
Fetch | Report | Google
A reconfigurable framework for compositional schedulability and power analysis of hierarchical scheduling systems with frequency scaling
Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou
Sci. Comput. Program., 113236-260, 2015
Fetch | Report | Google
Uppaal SMC tutorial
Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen
STTT, 17(4):397-415, 2015
Fetch | Report | Google
Safe and Optimal Adaptive Cruise Control
Kim Guldstrand Larsen, Marius Mikucionis, Jakob Haahr Taankvist
Correct System Design, 260-277, 2015
Fetch | Report | Google
Statistical model checking for biological systems
Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards
STTT, 17(3):351-367, 2015
Fetch | Report | Google
Schedulability of Herschel revisited using statistical model checking
Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis
STTT, 17(2):187-199, 2015
Fetch | Report | Google
Quantitative Schedulability Analysis of Continuous Probability Tasks in a Hierarchical Context
Jin Hyun Kim, Abdeldjalil Boudjadar, Ulrik Nyman, Marius Mikucionis, Kim G. Larsen, Arne Skou, Insup Lee, Linh Thi Xuan Phan
CBSE, 91-100, 2015
Fetch | Report | Google
Uppaal Stratego
Alexandre David, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marius Mikucionis, Jakob Haahr Taankvist
TACAS, 206-211, 2015
Fetch | Report | Google
Widening the Schedulability of Hierarchical Scheduling Systems
Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim Guldstrand Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou
FACS, 209-227, 2014
Fetch | Report | Google
Degree of Schedulability of Mixed-Criticality Real-Time Systems with Probabilistic Sporadic Tasks
Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou
TASE, 126-130, 2014
Fetch | Report | Google
Analyzing Industrial Architectural Models by Simulation and Model-Checking
Raluca Marinescu, Henrik Kaijser, Marius Mikucionis, Cristina Seceleanu, Henrik Lönn, Alexandre David
FTSCS, 189-205, 2014
Fetch | Report | Google
Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal
Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim Guldstrand Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou
FACS, 61-78, 2013
Fetch | Report | Google
Optimizing Control Strategy Using Statistical Model Checking
Alexandre David, Dehui Du, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis
NASA Formal Methods, 352-367, 2013
Fetch | Report | Google
Remote Testing of Timed Specifications
Alexandre David, Kim G. Larsen, Marius Mikucionis, Omer Nguena-Timo, Antoine Rollet
ICTSS, 65-81, 2013
Fetch | Report | Google
Computing Nash Equilibrium in Wireless Ad Hoc Networks: A Simulation-Based Approach
Peter E. Bulychev, Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis
IWIGP, 1-14, 2012
Fetch | Report | Google
Checking and Distributing Statistical Model Checking
Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen
NASA Formal Methods, 449-463, 2012
Fetch | Report | Google
UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata
Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Marius Mikucionis, Danny Bøgsted Poulsen, Axel Legay, Zheng Wang 0005
QAPL, 1-16, 2012
Fetch | Report | Google
Statistical Model Checking for Stochastic Hybrid Systems
Alexandre David, Dehui Du, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards
HSB, 122-136, 2012
Fetch | Report | Google
Schedulability of Herschel-Planck Revisited Using Statistical Model Checking
Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis
ISoLA (2), 293-307, 2012
Fetch | Report | Google
Runtime Verification of Biological Systems
Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Sean Sedwards
ISoLA (1), 388-404, 2012
Fetch | Report | Google
An evaluation framework for energy aware buildings using statistical model checking
Alexandre David, Dehui Du, Kim G. Larsen, Marius Mikucionis, Arne Skou
SCIENCE CHINA Information Sciences, 55(12):2694-2707, 2012
Fetch | Report | Google
Statistical Model Checking for Networks of Priced Timed Automata
Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Jonas van Vliet, Zheng Wang 0005
FORMATS, 80-96, 2011
Fetch | Report | Google
Monitoring Dynamical Signals While Testing Timed Aspects of a System
Goran Frehse, Kim G. Larsen, Marius Mikucionis, Brian Nielsen
ICTSS, 115-130, 2011
Fetch | Report | Google
Time for Statistical Model Checking of Real-Time Systems
Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Zheng Wang 0005
CAV, 349-355, 2011
Fetch | Report | Google
Stochastic Semantics and Statistical Model Checking for Networks of Priced Timed Automata
Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Jonas van Vliet, Zheng Wang 0005
CoRR, abs/1106.3961, 2011
Fetch | Report | Google
Distributed Parametric and Statistical Model Checking
Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Marius Mikucionis, Axel Legay
PDMC, 30-42, 2011
Fetch | Report | Google
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
ISoLA (2), 175-190, 2010
Fetch | Report | Google
Testing Real-Time Systems under Uncertainty
Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Marius Mikucionis, Brian Nielsen
FMCO, 352-371, 2010
Fetch | Report | Google
Testing Real-Time Systems Using UPPAAL
Anders Hessel, Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen, Paul Pettersson, Arne Skou
Formal Methods and Testing, 77-117, 2008
Fetch | Report | Google
Testing real-time embedded software using UPPAAL-TRON: an industrial case study
Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen, Arne Skou
EMSOFT, 299-306, 2005
Fetch | Report | Google
Online Testing of Real-time Systems Using Uppaal
Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen
FATES, 79-94, 2004
Fetch | Report | Google
T-UPPAAL: Online Model-based Testing of Real-Time Systems
Marius Mikucionis, Kim Guldstrand Larsen, Brian Nielsen
ASE, 396-397, 2004
Fetch | Report | Google
Online Testing of Real-Time Systems Using UPPAAL: Status and Future Work
Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen
Perspectives of Model-Based Testing, 2004
Copyright © 2008–2018 The Distributed Group | Thanks to DBLP, MSAA, PN I+D+I, and CICE