Вы здесь

Larsen K. G.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
П Context-Dependent Bisimulation Between Processes 1987 Larsen K. G. Aalborg Univ. 16.12.1992
СТ Ideal Specification Formalism = Expressivity + Compositionality + Decidability + Testability +... 1990 Larsen K. G. Lecture Notes in Computer Science 01.02.1991
СТ Real-Time Calculi and Expansion Theorems 1992 Godskesen J. C., Larsen K. G. Lecture Notes in Computer Science 28.12.1992
СТ Compositional Verification of Probabilistic 1992 Larsen K. G., Skou A. Lecture Notes in Computer Science 20.10.1992
СТ Model Construction for Implicit Specifications in Modal Logic 1993 Jensen O. H., Lang J. T., Jeppesen C., Larsen K. G. Lecture Notes in Computer Science 19.10.1993
СТ Efficient Local Correctness Checking 1993 Larsen K. G. Lecture Notes in Computer Science 07.05.1993
СТ From Timed Automata to Logic - and Back 1995 Laroussinie F., Larsen K. G., Weise C. Lecture Notes in Computer Science Mathematical Foundations of Computer Science 1995 24.10.1995
СТ Synthesizing Distinguishing Formulae for Real Time Systems - Extended Abstract 1995 Godskesen J. C., Larsen K. G. Lecture Notes in Computer Science Mathematical Foundations of Computer Science 1995 24.10.1995
П A Constraint Oriented Proof Methodology Based on Modal Transition Systems 1995 Larsen K. G., Steffen B., Weise C. Univ.Passau 05.07.1995
СТ A Constraint Oriented Proof Methodology Based on Model Transition Systems 1995 Larsen K. G., Steffen B., Weise C. Lecture Notes in Computer Science 11.01.1996
СТ Model-Checking for Real-Time Systems 1995 Larsen K. G., Pettersson P., Yi W. Lecture Notes in Computer Science Fundamentals of Computation Theory 18.10.1995
СТ Automatic Synthesis of Real Time Systems 1995 Andersen J. H., Kristoffersen K. J., Larsen K. G. Lecture Notes in Computer Science Automata, Languages and Programming 10.09.1995
СТ Compositional Model Checking of Real Time Systems 1995 Laroussinie F., Larsen K. G. Lecture Notes in Computer Science CONCUR 95: Concurrency Theory 14.10.1995
СТ The Methodology of Modal Constraints 1996 Larsen K. G., Steffen B., Weise C. Lecture Notes in Computer Science 24.12.1996
СТ Formal Verification of a Power Controller Using the Real-Time Model Checker UPPAAL 1999 Havelund K., Larsen K. G., Skou A. Lecture Notes in Computer Science 18.06.1999
СТ Scaling Up Uppaal Automatic Verification of Real-Time Systems Using Compositionality and Abstraction 2000 Jensen H. E., Larsen K. G., Skou A. Lecture Notes in Computer Science 25.10.2000
СТ Practical Verification of Embedded Software 2000 Staunstrup J., Andersen H. R., Hulgaard H., Lind-Nielsen J., Larsen K. G., Behrmann G., Kristoffersen K., Skou A., Leerberg H., Theilgaard N. B. Computer 26.07.2000
СТ UPPAAL - Now, Next, and Future 2001 Amnell T., Behrmann G., Bengtsson J., D Argenio P. R., David A., Fehnker A., Hune T., Jeannet B., Larsen K. G., Moller M. O., Pettersson P., Weise C., Yi W. Lecture Notes in Computer Science 04.11.2001
СТ Unification & Sharing in Timed Automata Verification 2003 David A., Behrmann G., Larsen K. G., Yi W. Lecture Notes in Computer Science 29.05.2003
СТ Time-Optimal Test Cases for Real-Time Systems 2004 Hessel A., Larsen K. G., Nielsen B., Pettersson P., Skou A. Lecture Notes in Computer Science 03.06.2004
СТ Time-Optimal Real-Time Test Case Generation Using UPPAAL 2004 Hessel A., Larsen K. G., Nielsen B., Pattersson P., Skou A. Lecture Notes in Computer Science 11.03.2004
СТ Online Testing of Real-Time Systems Using UPPAAL 2005 Larsen K. G., Mikucionis M., Nielsen B. Lecture Notes in Computer Science Lecture Notes in Computer Science 29.04.2005
СТ Compositional and Quantitative Model Checking (Extended Abstract) 2010 Larsen K. G. Lecture Notes in Computer Science Perspectives of Systems Informatics 13.04.2010

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Tools and Algorithms for the Construction and Analysis of Systems: Selected Papers/First Intern. Workshop, TACAS 95, Aarhus, Denmark, May 1995 1995 Lecture Notes in Computer Science
  1. Brinksma E.
  2. Cleaveland W. R.
  3. Larsen K. G.
  4. Margaria T.
10.01.1996
СБ Automata, Languages and Programming: Proc./25th Intern. Colloq., ICALP 98. Aalborg, Denmark, July 1998 1998 Lecture Notes in Computer Science
  1. Larsen K. G.
  2. Skyum S.
  3. Winskel G.
11.08.1998
СБ CONCUR 2001 - Concurrency Theory: Proc./12th Intern. Conf., Aalborg, Denmark, August 2001 2001 Lecture Notes in Computer Science
  1. Larsen K. G.
  2. Nielsen M.
04.10.2001
СБ Computer Aided Verification: Proc./14th Intern. Conf., CAV 2002, Copenhagen, Denmark, July 2002 2002 Lecture Notes in Computer Science
  1. Brinksma E.
  2. Larsen K. G.
31.08.2002
СБ Formal Modeling and Analysis of Timed Systems: Proc./First Intern. Workshop, FORMATS 2003, Marseille, France, September 2003 2004 Lecture Notes in Computer Science
  1. Larsen K. G.
  2. Niebert P.
03.06.2004
СБ Verification, Model Checking, and Abstract Interpretation: Proc./16th International Conference, VMCAI 2015, Mumbai, India, January, 2915 2015 Lecture Notes in Computer Science
  1. D Souza D.
  2. Lal A.
  3. Larsen K. G.
18.01.2015
СБ Reachability Problems: Proc./10th International Workshop, RP 2016, Aalborg, Denmark, September 2016 2016 Lecture Notes in Computer Science
  1. Larsen K. G.
  2. Potapov I.
  3. Srba J.
22.11.2016
СБ Dependable Software Engineering: Theories, Tools, and Applications: Proc./3rd International Symposium, SETTA 2017, Changsha, China, October 2017 2017 Lecture Notes in Computer Science
  1. Larsen K. G.
  2. Sokolsky O.
  3. Wang J.
21.11.2017