Larsen, K. G. (Kim G.), 1957-
Larsen, Kim Guldstrand, 1957-....
Larsen, K. G.
Larsen, Kim G.
Larsen, Kim G. f. 1957
Larsen, Kim G., 1957-
Kim Guldstrand Larsen
Larsen, Kim Guldstrand
Larsen, Kim G. (Kim Guldstrand)
Larsen, K. G. (Kim G.)
VIAF ID: 112414702 ( Personal )
Permalink: http://viaf.org/viaf/112414702
Preferred Forms
- 100 0 _ ‡a Kim Guldstrand Larsen
-
- 100 1 _ ‡a Larsen, K. G. ‡q (Kim G.)
-
-
-
-
-
- 100 1 _ ‡a Larsen, K. G. ‡q (Kim G.), ‡d 1957-
-
-
-
-
- 100 1 _ ‡a Larsen, Kim G., ‡d 1957-
-
-
- 100 1 _ ‡a Larsen, Kim Guldstrand ‡d 1957-
- 100 1 _ ‡a Larsen, Kim Guldstrand ‡d 1957-
- 100 1 _ ‡a Larsen, Kim Guldstrand, ‡d 1957-....
4xx's: Alternate Name Forms (19)
5xx's: Related Names (2)
Works
Title | Sources |
---|---|
Adaptiv signalstyrring i realtid | |
Automata, languages and programming : 25th international colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998 : proceedings | |
Automatic verification of real-timed systems using Epsilon | |
Bisimulation through probabilistic testing | |
CAV'91 | |
Compositional proofs by partial specification of processes | |
Compositionality through an operational semantics of contexts | |
Computer aided verification : 3rd international workshop, CAV'91, Aalborg, Denmark, July 1-4, 1991 : proceedings | |
Computer aided verification / K. G. Larsen, A. Skou (eds.). - Berlin, 1992. | |
CONCUR 2001 : concurrency theory : 12th international conference, Aalborg, Denmark, August 20-25, 2001 : proceedings | |
Context-dependent bisimulation between processes | |
Danfoss EKC trial project deliverables | |
Deciding properties of regular real timed processes | |
Dependable Software Engineering. Theories, Tools, and Applications Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings | |
Distributed controllers for provably safe, live and fair autonomous car manoeuvres in urban traffic | |
Equation solving using modal transition systems | |
Filtrage par motif temporisé : Théorie et Applications. | |
Formal modeling and analysis of timed systems : first international workshop, FORMATS 2003, Marseille, France, September 6-7, 2003 : revised papers | |
Formal verification of a power controller using the real-time model checker UPPAAL | |
From timed automata to logic - and back | |
Graphical versus logical specifications | |
ICALP'98 | |
Implicit specifications, expressiveness and compositionality | |
Une méthode inverse pour la synthèse de paramètres temporels dans les systèmes concurrents. | |
Model checking via reachability testing for timed automata | |
Modélisation et analyse de systèmes stochastiques et temps réel | |
Modelling and analysis of a collision avoidance protocol using SPIN and UPPAAL | |
Models, Mindsets, Meta: The What, the How, and the Why Not? : Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday | |
Nash equilibria in concurrent games : application to timed games | |
Online on-the-fly testing of real-time systems | |
Pattern Matching with Time : Theory and Applications | |
Principles for simultaneous induction in context free languages | |
Proceedings of the 6th Nordic Workshop on Programming Theory | |
Programme and abstract of the BRICS Autumn School on Verification | |
Proof systems for Hennessy-Milner logic with recursion | |
Quality software | |
Reactive systems : modelling, specification and verification | |
Recursively defined domains and their induction principles | |
A refinement logic for the fork calculus | |
Regular languages definable by Lindström quantifiers | |
Robustness in timed automata : analysis, synthesis, implementation | |
Sustainable energy systems planning, integration and management | |
Synthesizing distinguishing formulae for real time systems | |
Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS '95, Aarhus, Denmark, May 19–20, 1995 : selected papers | |
Vérification compositionnelle des systèmes temps-réel à base de composants et applications. | |
Verification, Model Checking, and Abstract Interpretation : 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015 : Proceedings | |
Verteilte Steuerungen für beweisbar sichere, lebendige und faire autonome Fahrmanöver im Stadtverkehr | |
Vi må ikke lade skandaler om datamisbrug bremse vores brug af data i samfundets tjeneste | |
VMCAI 2015 | |
A ¤complete protocol verification using relativized bisimulation | |
An ¤interface theory for input/output automata | |
The ¤use of static constructs in a modal process logic |