Abstract is missing.
- Property-Preserving Generation of Tailored Benchmark Petri NetsBernhard Steffen, Marc Jasper, Jeroen Meijer, Jaco van de Pol. 1-8 [doi]
- Liveness in L/U-Parametric Timed AutomataÉtienne André, Didier Lime. 9-18 [doi]
- Compositional Proofs in Differential Dynamic Logic dLSimon Lunel, Benoît Boyer, Jean-Pierre Talpin. 19-28 [doi]
- Toward a Correct-and-Scalable Verification of Concurrent Robotic Systems: Insights on Formalisms and ToolsMohammed Foughali. 29-38 [doi]
- Refinement Checking Parameterised Quorum SystemsAntti Siirtola. 39-48 [doi]
- A Component-Based Simplex Architecture for High-Assurance Cyber-Physical SystemsDung Phan, Junxing Yang, Matthew Clark, Radu Grosu, John D. Schierman, Scott A. Smolka, Scott D. Stoller. 49-58 [doi]
- Formal Design and Verification of an Asynchronous SRAM ControllerVictor Khomenko, Andrey Mokhov, Danil Sokolov, Alex Yakovlev. 59-67 [doi]
- Plato: A Tool for Behavioural Specification of Asynchronous CircuitsJonathan Beaumont. 68-73 [doi]
- Xprova: Formal Verification Tool with Built-in Metastability ModelingGhaith Tarawneh, Andrey Mokhov. 74-79 [doi]
- Selective Abstraction for Estimating Extra-Functional Properties in Networks-on-Chips Using ArchOn FrameworkAshur Rafiev, F. Xia, Alexei Iliasov, Alexander Romanovsky, Alexandre Yakovlev. 80-85 [doi]
- Process WindowsAndrey Mokhov, Jordi Cortadella, Alessandro de Gennaro. 86-95 [doi]
- Reduction of Order StructuresLukasz Mikulski, Andrey Mokhov, Marcin Piatkowski. 96-105 [doi]
- Exploring the Potential of Instruction-Level Parallelism of Exposed Datapath Architectures with Buffered Processing UnitsAnoop Bhagyanath, Klaus Schneider 0001. 106-115 [doi]
- A Backward Algorithm for the Multiprocessor Online Feasibility of Sporadic TasksGilles Geeraerts, Joël Goossens, Thi-Van-Anh Nguyen. 116-125 [doi]
- Lock Optimization for Hoare Monitors in Real-Time SystemsGeorges-Axel Jaloyan, Lee Pike. 126-135 [doi]
- Ardoises: Collaborative & Interactive Editing Using Layered DataAlban Linard, Didier Buchs. 136-145 [doi]