Marius Mikucionis

	2012
14		Peter E. Bulychev, Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis: Computing Nash Equilibrium in Wireless Ad Hoc Networks: A Simulation-Based Approach IWIGP 2012: 1-14
13		Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen: Checking and Distributing Statistical Model Checking. NASA Formal Methods 2012: 449-463
	2011
12		Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Zheng Wang: Time for Statistical Model Checking of Real-Time Systems. CAV 2011: 349-355
11		Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Jonas van Vliet, Zheng Wang: Statistical Model Checking for Networks of Priced Timed Automata. FORMATS 2011: 80-96
10		Goran Frehse, Kim G. Larsen, Marius Mikucionis, Brian Nielsen: Monitoring Dynamical Signals While Testing Timed Aspects of a System. ICTSS 2011: 115-130
9		Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Marius Mikucionis, Axel Legay: Distributed Parametric and Statistical Model Checking PDMC 2011: 30-42
8		Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Jonas van Vliet, Zheng Wang: Stochastic Semantics and Statistical Model Checking for Networks of Priced Timed Automata CoRR abs/1106.3961: (2011)
	2010
7		Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Marius Mikucionis, Brian Nielsen: Testing Real-Time Systems under Uncertainty. FMCO 2010: 352-371
6		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
	2008
5		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
	2005
4		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
	2004
3		Marius Mikucionis, Kim Guldstrand Larsen, Brian Nielsen: T-UPPAAL: Online Model-based Testing of Real-Time Systems. ASE 2004: 396-397
2		Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen: Online Testing of Real-time Systems Using Uppaal. FATES 2004: 79-94
1		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

Coauthor Index

1	Peter E. Bulychev	[9] [13] [14]
2	Alexandre David	[7] [8] [9] [11] [12] [13] [14]
3	Goran Frehse	[10]
4	Anders Hessel	[5]
5	Poul Hougaard	[6]
6	Kim Guldstrand Larsen (Kim G. Larsen)	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14]
7	Axel Legay	[8] [9] [11] [12] [13] [14]
8	Shuhao Li	[7]
9	Brian Nielsen	[1] [2] [3] [4] [5] [6] [7] [10]
10	Steen Ulrik Palm	[6]
11	Jan Storbank Pedersen	[6]
12	Paul Pettersson	[5]
13	Danny Bøgsted Poulsen	[8] [11] [13]
14	Jacob Illum Rasmussen	[6]
15	Arne Skou	[4] [5] [6]
16	Jonas van Vliet	[8] [11]
17	Zheng Wang	[8] [11] [12]

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page