TDG
Scholar
Committed to research!
Version 1.7
Home
|
Bibliography
|
Writers
|
Journals
|
Conferences
|
Publishers
Help
|
News
Bibliography
Refine on click
|
Report
|
Share
A total of 37 records were found in 0.156 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
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