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
Hilfe
Suche: Author="Cortadella, Jordi"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A compositional method for the synthesis of asynchronous communication mechanisms
Kyller Gorgônio
,
Jordi Cortadella
,
Fei Xia
Lecture Notes in Computer Science
4546
, 2007, pp. 144-163
Derivation of non-structural invariants of Petri nets using abstract interpretation
Robert Clarisó
,
Enric Rodríguez-Carbonell
,
Jordi Cortadella
Lecture Notes in Computer Science
3536
, 2005, pp. 188-207
Composition of temporal logic specifications
Adrianna Alexander
Lecture Notes in Computer Science
3099
, 2004, pp. 98-116
On the use of coloured Petri nets for object-oriented design
João Paulo Barros
,
Luís Gomes
Lecture Notes in Computer Science
3099
, 2004, pp. 117-136
Positive non-interference in elementary and trace nets
Nadia Busi
,
Roberto Gorrieri
Lecture Notes in Computer Science
3099
, 2004, pp. 1-16
Qualitative modelling of genetic networks: From logical regulatory graphs to standard Petri nets
Claudine Chaouiya
,
Elisabeth Remy
,
Paul Ruet
,
Denis Thieffry
Lecture Notes in Computer Science
3099
, 2004, pp. 137-156
Reachability set generation for Petri nets: Can brute force be smart?
Gianfranco Ciardo
Lecture Notes in Computer Science
3099
, 2004, pp. 17-34
Finite unfoldings of unbounded Petri nets
Jörg Desel
,
Gabriel Juhás
,
Christian Neumair
Lecture Notes in Computer Science
3099
, 2004, pp. 157-176
Compositional modeling of complex systems: Contact center scenarios in OsMoSys
Giuliana Franceschinis
,
Marco Gribaudo
,
Mauro Iacono
,
Stefano Marrone
,
Nicola Mazzocca
,
Valeria Vittorini
Lecture Notes in Computer Science
3099
, 2004, pp. 177-196
Petri net based model validation in systems biology
Monika Heiner
,
Ina Koch
Lecture Notes in Computer Science
3099
, 2004, pp. 216-237
Embedded software: Better models, better code
Thomas A. Henzinger
Lecture Notes in Computer Science
3099
, 2004, pp. 35-36
Synthesis of controlled behavior with modules of signal nets
Gabriel Juhás
,
Robert Lorenz
,
Christian Neumair
Lecture Notes in Computer Science
3099
, 2004, pp. 238-257
New canonical representative marking algorithms for Place/Transition-nets
Tommi A. Junttila
Lecture Notes in Computer Science
3099
, 2004, pp. 258-277
3D-visualization of Petri net models: Concept and realization
Ekkart Kindler
,
Csaba Páles
Lecture Notes in Computer Science
3099
, 2004, pp. 464-473
Properties of object Petri nets
Michael Köhler
,
Heiko Rölke
Lecture Notes in Computer Science
3099
, 2004, pp. 278-297
An approach to distributed state space exploration for Coloured Petri Nets
Lars M. Kristensen
,
Laure Petrucci
Lecture Notes in Computer Science
3099
, 2004, pp. 474-483
An extensible editor and simulation engine for Petri nets: RENEW
Olaf Kummer
,
Frank Wienberg
,
Michael Duvigneau
,
Jörn Schumacher
,
Michael Köhler
,
Daniel Moldt
,
Heiko Rölke
,
Rüdiger Valk
Lecture Notes in Computer Science
3099
, 2004, pp. 484-493
LTL model checking for modular Petri nets
Timo Latvala
,
Marko Mäkelä
Lecture Notes in Computer Science
3099
, 2004, pp. 298-311
Web supported enactment of Petri-net based workflows with XRL/flower
Alexander Norta
Lecture Notes in Computer Science
3099
, 2004, pp. 494-503
Covering fairness against conspiracies
Edward Ochmański
Lecture Notes in Computer Science
3099
, 2004, pp. 312-330
Modeling and analysis of Margolus quantum cellular automata using net-theoretical methods
Leo Ojala
,
Olli-Matti Penttinen
,
Elina Parviainen
Lecture Notes in Computer Science
3099
, 2004, pp. 331-350
Specification and model checking of temporal properties in time Petri nets and timed automata
Wojciech Penczek
,
Agata Póƚrola
Lecture Notes in Computer Science
3099
, 2004, pp. 37-76
A framework for the modelling and simulation of Distributed Transaction Processing Systems using Coloured Petri Nets
M. José Polo Martín
,
Luis A. Miguel Quintales
,
María N. Moreno García
Lecture Notes in Computer Science
3099
, 2004, pp. 351-370
Formal tools for modular system development
Lucia Pomello
,
Luca Bernardinello
Lecture Notes in Computer Science
3099
, 2004, pp. 77-96
Time Petri nets with inhibitor hyperarcs. Formal semantics and state space computation
Olivier H. Roux
,
Didier Lime
Lecture Notes in Computer Science
3099
, 2004, pp. 371-390
Seiten 1
2
>