default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID13th ACSD 2013: Barcelona, Spain
- Josep Carmona, Mihai T. Lazarescu, Marta Pietkiewicz-Koutny:
13th International Conference on Application of Concurrency to System Design, ACSD 2013, Barcelona, Spain, 8-10 July, 2013. IEEE Computer Society 2013, ISBN 978-0-7695-5035-0
Abstracts of Invited Talks
- Ricardo Baeza-Yates:
Invited Abstract. - Jun Sawada, Dharmendra S. Modha:
SyNAPSE: Jun Sawada. - Mateo Valero:
Killer-mobiles: The way towards energy efficient high performance computers?
Synthesis and Refinement
- A. C. van Hulst, Michel A. Reniers
, Wan J. Fokkink:
Maximal Synthesis for Hennessy-Milner Logic. 1-10 - Lei Song, Lijun Zhang, Holger Hermanns, Jens Chr. Godskesen:
Incremental Bisimulation Abstraction Refinement. 11-20 - Mahesh Nanjundappa, Matthew Kracht, Julien Ouy, Sandeep Kumar Shukla:
A New Multi-threaded Code Synthesis Methodology and Tool for Correct-by-Construction Synthesis from Polychronous Specifications. 21-30
Model Checking and Timing Analysis
- Jasen Markovski:
Towards Optimal Supervisory Control of Discrete-Time Stochastic Discrete-Event Processes with Data. 31-40 - Franck Cassez, Jean-Luc Béchennec:
Timing Analysis of Binary Programs with UPPAAL. 41-50 - Jiri Barnat, Lubos Brim, Vojtech Havel:
LTL Model Checking of Parallel Programs with Under-Approximated TSO Memory Model. 51-59
Verification
- Antti Siirtola, Keijo Heljanko:
Parametrised Compositional Verification with Multiple Process and Data Types. 60-69 - Manuel Gesell, Klaus Schneider:
Modular Verification of Synchronous Programs. 70-79 - Saddek Bensalem, Marius Bozga, Benoît Boyer, Axel Legay:
Incremental Generation of Linear Invariants for Component-Based Systems. 80-89
Petri Nets
- Jean-Marc Delosme, Thomas Hujsa, Alix Munier Kordon:
Polynomial Sufficient Conditions of Well-Behavedness for Weighted Join-Free and Choice-Free Systems. 90-99 - Florent Avellaneda, Rémi Morin:
Checking Partial-Order Properties of Vector Addition Systems with States. 100-109 - Jörg Desel:
On Cyclic Behaviour of Unbounded Petri Nets. 110-119
Petri Nets and Applications
- Stefan Haar, César Rodríguez, Stefan Schwoon:
Reveal Your Faults: It's Only Fair! 120-129 - Loïg Jezequel, Eric Fabre, Victor Khomenko:
Factored Planning: From Automata to Petri Nets. 130-139 - Stanislavs Golubcovs, Walter Vogler, Norman Kluge:
STG-Based Resynthesis for Balsa Circuits. 140-149
Programming
- Gilles Geeraerts, Alexander Heußner, Jean-François Raskin:
Queue-Dispatch Asynchronous Systems. 150-159 - Eugene Yip, Partha S. Roop, Morteza Biglari-Abhari, Alain Girault:
Programming and Timing Analysis of Parallel Programs on Multicores. 160-169 - Benjamin Morandi, Mischael Schill, Sebastian Nanz, Bertrand Meyer:
Prototyping a Concurrency Model. 170-179
Modeling
- Johannes Borgström, Ramunas Gutkovas, Ioana Rodhe, Björn Victor:
A Parametric Tool for Applied Process Calculi. 180-185 - Thi Thieu Hoa Le, Roberto Passerone, Ulrich Fahrenberg, Axel Legay:
Tag Machines for Modeling Heterogeneous Systems. 186-195 - Lukasz Mikulski, Marcin Piatkowski, Sebastian Smyczynski:
Lexicographical Generations of Combined Traces. 196-205
Timed Automata and Embedded Systems
- Matthew M. Y. Kuo, Partha S. Roop, Sidharta Andalam, Nitish D. Patel:
Precision Timed Embedded Systems Using TickPAD Memory. 206-215 - Roland Kindermann, Tommi A. Junttila, Ilkka Niemelä:
Bounded Model Checking of an MITL Fragment for Timed Automata. 216-225 - Raymond Devillers, Jean-Yves Didier, Hanna Klaudel:
Implementing Timed Automata Specifications: The "Sandwich" Approach. 226-235
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-22 03:41 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
