Abstract is missing.
- Rigorous System Design: The BIP ApproachAnanda Basu, Saddek Bensalem, Marius Bozga, Paraskevas Bourgos, Joseph Sifakis. 1-19 [doi]
- Natural Born ComputingPeter J. Bentley. 20-36 [doi]
- Games and Markov Decision Processes with Mean-Payoff Parity and Energy Parity ObjectivesKrishnendu Chatterjee, Laurent Doyen 0001. 37-46 [doi]
- Assessing System Vulnerability Using Formal Verification TechniquesGörschwin Fey. 47-56 [doi]
- Information Security in a Quantum WorldRenato Renner. 57-62 [doi]
- Computer Memory: Why We Should Care What Is under the HoodVlastimil Babka, Petr Tuma. 63-75 [doi]
- Frequency Prediction of FunctionsKaspars Balodis, Ilja Kucevalovs, Rusins Freivalds. 76-83 [doi]
- Timed Automata Approach to Verification of Systems with DegradationJiri Barnat, Ivana Cerná, Jana Tumova. 84-93 [doi]
- Basic Operations on Binary Suffix-Free LanguagesRoland Cmorik, Galina Jirásková. 94-102 [doi]
- Efficient Data Representation of Large Job SchedulesDalibor Klusácek, Hana Rudová. 103-113 [doi]
- Prefix-Free Regular Languages: Closure Properties, Difference, and Left QuotientMonika Krausová. 114-122 [doi]
- Noise Injection Heuristics for Concurrency TestingBohuslav Krena, Zdenek Letko, Tomás Vojnar. 123-135 [doi]
- Low GPU Occupancy Approach to Fast Arithmetic Coding in JPEG2000Jiri Matela, Martin Srom, Petr Holub. 136-145 [doi]
- Using Dimensionality Reduction Method for Binary Data to Questionnaire AnalysisJakub Mazgut, Martina Paulinyová, Peter Tino. 146-154 [doi]
- Generalized Maneuvers in Route PlanningPetr Hlinený, Ondrej Moris. 155-166 [doi]
- STANSE: Bug-Finding Framework for C ProgramsJan Obdrzálek, Jiri Slaby, Marek Trtík. 167-178 [doi]
- Introducing the FPGA-Based Hardware Architecture of Systemic Computation (HAoS)Christos Sakellariou, Peter J. Bentley. 179-190 [doi]
- A Parallel Compact Hash TableSteven van der Vegt, Alfons Laarman. 191-204 [doi]
- Four Authorization Protocols for an Electronic Payment SystemRoman Zilka, Vashek Matyás, Libor Kyncl. 205-214 [doi]