Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Kim Guldstrand
Last name:	Larsen
DBLP:	l/KimGuldstrandLarsen
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 10 of 256  

Select a publication
Show	Title	Venue	Rating	Date
	Conference paper Benoît Delahaye, Kim Guldstrand Larsen, Axel Legay. Stuttering for Abstract Probabilistic Automata.	Logical Foundations of Computer Science, International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings 2013	(0)	2013
	Conference paper Sebastian S. Bauer, Ulrich Fahrenberg, Line Juhl, Kim Guldstrand Larsen, Axel Legay, Claus R. Thrane. Weighted modal transition systems.	Formal Methods in System Design 2013, Volume 42	(0)	2013
	Conference paper Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Radu Mardare. On-the-Fly Exact Computation of Bisimilarity Distances.	Tools and Algorithms for the Construction and Analysis of Systems - 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings 2013	(0)	2013
	Conference paper Kim Guldstrand Larsen. Priced Timed Automata and Statistical Model Checking.	Integrated Formal Methods, 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings 2013	(0)	2013
	Conference paper Alexandre David, Dehui Du, Kim Guldstrand Larsen, Axel Legay, Marius Mikucionis. Optimizing Control Strategy Using Statistical Model Checking.	NASA Formal Methods, 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings 2013	(0)	2013
	Conference paper Jonas Finnemann Jensen, Kim Guldstrand Larsen, Jirí Srba, Lars Kaerlund Oestergaard. Local Model Checking of Weighted CTL with Upper-Bound Constraints.	Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings 2013	(0)	2013
	Conference paper Miroslav Klimos, Kim Guldstrand Larsen, Filip Stefanak, Jeppe Thaarup. Nash Equilibria in Concurrent Priced Games.	Language and Automata Theory and Applications - 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings 2012	(0)	2012
	Conference paper Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Axel Legay, Guangyuan Li, Danny Bøgsted Poulsen, Amélie Stainer. Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic.	Logic for Programming, Artificial Intelligence, and Reasoning - 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings 2012	(0)	2012
	Conference paper Nikola Benes, Jan Kretínský, Kim Guldstrand Larsen, Mikael H. Møller, Jirí Srba. Dual-Priced Modal Transition Systems with Time Durations.	Logic for Programming, Artificial Intelligence, and Reasoning - 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings 2012	(0)	2012
	Conference paper Sebastian S. Bauer, Alexandre David, Rolf Hennicker, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski. Moving from Specifications to Contracts in Component-Based Design.	Fundamental Approaches to Software Engineering - 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings 2012	(0)	2012

Show item 1 to 10 of 256  

Your query returned 256 matches in the database.