Abstract is missing.
- Killer-mobiles: The way towards energy efficient high performance computers?Mateo Valero. [doi]
- Invited AbstractRicardo Baeza-Yates. [doi]
- SyNAPSE: Jun SawadaJun Sawada, Dharmendra S. Modha. [doi]
- Maximal Synthesis for Hennessy-Milner LogicA. C. van Hulst, Michel A. Reniers, Wan Fokkink. 1-10 [doi]
- Incremental Bisimulation Abstraction RefinementLei Song, Lijun Zhang 0001, Holger Hermanns, Jens Chr. Godskesen. 11-20 [doi]
- A New Multi-threaded Code Synthesis Methodology and Tool for Correct-by-Construction Synthesis from Polychronous SpecificationsMahesh Nanjundappa, Matthew Kracht, Julien Ouy, Sandeep Kumar Shukla. 21-30 [doi]
- Towards Optimal Supervisory Control of Discrete-Time Stochastic Discrete-Event Processes with DataJasen Markovski. 31-40 [doi]
- Timing Analysis of Binary Programs with UPPAALFranck Cassez, Jean-Luc Béchennec. 41-50 [doi]
- LTL Model Checking of Parallel Programs with Under-Approximated TSO Memory ModelJiri Barnat, Lubos Brim, Vojtech Havel. 51-59 [doi]
- Parametrised Compositional Verification with Multiple Process and Data TypesAntti Siirtola, Keijo Heljanko. 60-69 [doi]
- Modular Verification of Synchronous ProgramsManuel Gesell, Klaus Schneider. 70-79 [doi]
- Incremental Generation of Linear Invariants for Component-Based SystemsSaddek Bensalem, Marius Bozga, Benoît Boyer, Axel Legay. 80-89 [doi]
- Polynomial Sufficient Conditions of Well-Behavedness for Weighted Join-Free and Choice-Free SystemsJean-Marc Delosme, Thomas Hujsa, Alix Munier Kordon. 90-99 [doi]
- Checking Partial-Order Properties of Vector Addition Systems with StatesFlorent Avellaneda, Rémi Morin. 100-109 [doi]
- On Cyclic Behaviour of Unbounded Petri NetsJörg Desel. 110-119 [doi]
- Reveal Your Faults: It's Only Fair!Stefan Haar, César Rodríguez, Stefan Schwoon. 120-129 [doi]
- Factored Planning: From Automata to Petri NetsLoïg Jezequel, Eric Fabre, Victor Khomenko. 130-139 [doi]
- STG-Based Resynthesis for Balsa CircuitsStanislavs Golubcovs, Walter Vogler, Norman Kluge. 140-149 [doi]
- Queue-Dispatch Asynchronous SystemsGilles Geeraerts, Alexander Heußner, Jean-François Raskin. 150-159 [doi]
- Programming and Timing Analysis of Parallel Programs on MulticoresEugene Yip, Partha S. Roop, Morteza Biglari-Abhari, Alain Girault. 160-169 [doi]
- Prototyping a Concurrency ModelBenjamin Morandi, Mischael Schill, Sebastian Nanz, Bertrand Meyer. 170-179 [doi]
- A Parametric Tool for Applied Process CalculiJohannes Borgström, Ramunas Gutkovas, Ioana Rodhe, Björn Victor. 180-185 [doi]
- Tag Machines for Modeling Heterogeneous SystemsThi Thieu Hoa Le, Roberto Passerone, Ulrich Fahrenberg, Axel Legay. 186-195 [doi]
- Lexicographical Generations of Combined TracesLukasz Mikulski, Marcin Piatkowski, Sebastian Smyczynski. 196-205 [doi]
- Precision Timed Embedded Systems Using TickPAD MemoryMatthew Kuo, Partha S. Roop, Sidharta Andalam, Nitish Patel. 206-215 [doi]
- Bounded Model Checking of an MITL Fragment for Timed AutomataRoland Kindermann, Tommi A. Junttila, Ilkka Niemelä. 216-225 [doi]
- Implementing Timed Automata Specifications: The "Sandwich" ApproachRaymond R. Devillers, Jean-Yves Didier, Hanna Klaudel. 226-235 [doi]