Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
[1]
Hilfe
Suche: Author="van Hee, Kees"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
The right timing: Reflections on the modeling and analysis of time
Kees van Hee
,
Natalia Sidorova
Lecture Notes in Computer Science
7927
, 2013, pp. 1-20
Designing weakly terminating ROS systems
Debjyoti Bera
,
Kees M. van Hee
,
Jan Martijn van der Werf
Lecture Notes in Computer Science
7347
, 2012, pp. 328-347
Refinement of synchronizable places with multi-workflow nets: Weak termination preserved!
Kees M. van Hee
,
Natalia Sidorova
,
Jan Martijn van der Werf
Lecture Notes in Computer Science
6709
, 2011, pp. 149-168
Compositional service trees
Wil M.P. van der Aalst
,
Kees M. van Hee
,
Peter Massuthe
,
Natalia Sidorova
,
Jan Martijn van der Werf
Lecture Notes in Computer Science
5606
, 2009, pp. 283-302
Challenges and opportunities for formal specifications in service oriented architectures
Gustavo Alonso
Lecture Notes in Computer Science
5062
, 2008, pp. 1-6
Synthesis of Petri nets from scenarios with VipTool
Robin Bergenthum
,
Jörg Desel
,
Robert Lorenz
,
Sebastian Mauser
Lecture Notes in Computer Science
5062
, 2008, pp. 388-398
Faster unfolding of general Petri nets based on token flows
Robin Bergenthum
,
Robert Lorenz
,
Sebastian Mauser
Lecture Notes in Computer Science
5062
, 2008, pp. 13-32
Decomposition theorems for bounded persistent Petri nets
Eike Best
,
Philippe Darondeau
Lecture Notes in Computer Science
5062
, 2008, pp. 33-51
Compositional specification of Web services via behavioural equivalence of nets: A case study
Filippo Bonchi
,
Antonio Brogi
,
Sara Corfini
,
Fabio Gadducci
Lecture Notes in Computer Science
5062
, 2008, pp. 52-71
Modeling and analysis of security protocols using role based specifications and Petri nets
Roland Bouroulet
,
Raymond Devillers
,
Hanna Klaudel
,
Elisabeth Pelz
,
Franck Pommereau
Lecture Notes in Computer Science
5062
, 2008, pp. 72-91
A monitoring toolset for PAOSE
Lawrence Cabac
,
Till Dörges
,
Heiko Rölke
Lecture Notes in Computer Science
5062
, 2008, pp. 399-408
A symbolic algorithm for the synthesis of bounded Petri nets
J. Carmona
,
J. Cortadella
,
M. Kishinevsky
,
A. Kondratyev
,
L. Lavagno
,
A. Yakovlev
Lecture Notes in Computer Science
5062
, 2008, pp. 92-111
Synthesis of nets with step firing policies
Philippe Darondeau
,
Maciej Koutny
,
Marta Pietkiewicz-Koutny
,
Alex Yakovlev
Lecture Notes in Computer Science
5062
, 2008, pp. 112-131
Modelling and analysis of the INVITE transaction of the session initiation protocol using coloured Petri nets
Lay G. Ding
,
Lin Liu
Lecture Notes in Computer Science
5062
, 2008, pp. 132-151
Modeling interactions between biochemical reactions
A. Ehrenfeucht
,
G. Rozenberg
Lecture Notes in Computer Science
5062
, 2008, pp. 7-7
Modelling and initial validation of the DYMO routing protocol for mobile ad-hoc networks
Kristian L. Espensen
,
Mads K. Kjeldsen
,
Lars M. Kristensen
Lecture Notes in Computer Science
5062
, 2008, pp. 152-170
Formal specification and validation of secure connection establishment in a Generic Access Network scenario
Paul Fleischer
,
Lars M. Kristensen
Lecture Notes in Computer Science
5062
, 2008, pp. 171-190
Parametric language analysis of the class of stop-and-wait protocols
Guy Edward Gallasch
,
Jonathan Billington
Lecture Notes in Computer Science
5062
, 2008, pp. 191-210
Hierarchical set decision diagrams and automatic saturation
Alexandre Hamez
,
Yann Thierry-Mieg
,
Fabrice Kordon
Lecture Notes in Computer Science
5062
, 2008, pp. 211-230
Performance evaluation of workflows using continuous Petri nets twith interval firing speeds
Kunihiko Hiraishi
Lecture Notes in Computer Science
5062
, 2008, pp. 231-250
Modelling concurrency with quotient monoids
Ryszard Janicki
,
Dai Tri Man Lê
Lecture Notes in Computer Science
5062
, 2008, pp. 251-269
Labeled step sequences in Petri nets
Matthias Jantzen
,
Georg Zetzsche
Lecture Notes in Computer Science
5062
, 2008, pp. 270-287
Transaction calculus
He Jifeng
Lecture Notes in Computer Science
5062
, 2008, pp. 8-8
MC-SOG: An LTL model checker based on symbolic observation graphs
Kais Klai
,
Denis Poitrenaud
Lecture Notes in Computer Science
5062
, 2008, pp. 288-306
Stratifying winning positions in parity games
Huimin Lin
Lecture Notes in Computer Science
5062
, 2008, pp. 9-11
Seiten 1
2
>