Abstract is missing.
- Games, Interaction and ComputationSamson Abramsky. 1 [doi]
- Rôle of Domain Engineering in Software Development - Why Current Requirements Engineering Is Flawed !Dines Bjørner. 2-34 [doi]
- Compositional and Quantitative Model Checking (Extended Abstract)Kim G. Larsen. 35-42 [doi]
- Invariants, Modularity, and RightsErnie Cohen, Eyad Alkassar, Vladimir Boyarinov, Markus Dahlweid, Ulan Degenbaev, Mark A. Hillebrand, Bruno Langenstein, Dirk Leinenbach, Michal Moskal, Steven Obua, Wolfgang J. Paul, Hristo Pentchev, Elena Petrova, Thomas Santen, Norbert Schirmer, Sabine Schmaltz, Wolfram Schulte, Andrey Shadrin, Stephan Tobies, Alexandra Tsyban, Sergey Tverdyshev. 43-55 [doi]
- Distributed Embedded Systems: Reconciling Computation, Communication and Resource InteractionLothar Thiele. 56-57 [doi]
- Simulation of Kohn s Molecular Interaction Maps through Translation into Stochastic CLS+Roberto Barbuti, Daniela Lepri, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini, Aureliano Rama. 58-69 [doi]
- A Two-Level Approach for Modeling and Verification of Telecommunication SystemsDmitri M. Beloglazov, Valery A. Nepomniaschy. 70-85 [doi]
- SVM ParadoxesJean Beney, Cornelis H. A. Koster. 86-97 [doi]
- Indexing Dense Nested Metric Spaces for Efficient Similarity SearchNieves R. Brisaboa, Miguel RodrÃguez Luaces, Oscar Pedreira, Ãngeles S. Places, Diego Seco. 98-109 [doi]
- On the Containment Problem for Queries in Conjunctive Form with NegationVictor Felea. 110-123 [doi]
- Towards a Scalable, Pragmatic Knowledge Representation Language for the WebFlorian Fischer, Gulay Ãœnel, Barry Bishop, Dieter Fensel. 124-134 [doi]
- An Experiment with the Fourth Futamura ProjectionRobert Glück. 135-150 [doi]
- Extracting the Essence of DistillationG. W. Hamilton. 151-164 [doi]
- Establishing Linux Driver Verification ProcessAlexey V. Khoroshilov, Vadim Mutilin, Alexandre Petrenko, Vladimir Zakharov. 165-176 [doi]
- A Java Supercompiler and Its Application to Verification of Cache-Coherence ProtocolsAndrei V. Klimov. 185-192 [doi]
- Proving the Equivalence of Higher-Order Terms by Means of SupercompilationIlya Klyuchnikov, Sergei A. Romanenko. 193-205 [doi]
- Unifying the Semantics of UML 2 State, Activity and Interaction DiagramsJens Kohlmeyer, Walter Guttmann. 206-217 [doi]
- Applicability of the BLAST Model Checker: An Industrial Case StudyEmanuel Kolb, Ondrej Sery, Roland Weiss. 218-229 [doi]
- Sigma::::::K::::::-constraints for Hybrid SystemsMargarita V. Korovina, Oleg V. Kudinov. 230-241 [doi]
- A Complete Invariant Generation Approach for P-solvable LoopsLaura Kovács. 242-256 [doi]
- Standardization and Testing of Mathematical FunctionsVictor V. Kuliamin. 257-268 [doi]
- Using AOP for Discovering and Defining Executable Test CasesPhilipp Kumar, Thomas Baar. 269-281 [doi]
- Cryptographic Protocols Analysis in Event BNazim Benaïssa, Dominique Méry. 282-293 [doi]
- A Query Language for Logic ArchitecturesAnton Malykh, Andrei Mantsivoda. 294-305 [doi]
- Planet Map Generation by Tetrahedral SubdivisionTorben Æ. Mogensen. 306-318 [doi]
- Towards Checking Parametric Reachability for UML State MachinesArtur Niewiadomski, Wojciech Penczek, Maciej Szreter. 319-330 [doi]
- A Flexible Approach to Automated Development of Cross Toolkits for Embedded SystemsNikolay Pakulin, Vladimir V. Rubanov. 331-343 [doi]
- A Technique for Information Retrieval from Microformatted WebsitesJ. Guadalupe Ramos, Josep Silva, Gustavo Arroyo, Juan C. Solorio. 344-351 [doi]
- From Dynamic to Static and Back: Riding the Roller Coaster of Information-Flow Control ResearchAndrei Sabelfeld, Alejandro Russo. 352-365 [doi]
- History-Dependent Stochastic Petri NetsHelen Schonenberg, Natalia Sidorova, Wil M. P. van der Aalst, Kees M. van Hee. 366-379 [doi]
- Privacy Preserving Modules for OntologiesThomas Studer. 380-387 [doi]
- Symbolic Bounded Conformance Checking of Model ProgramsMargus Veanes, Nikolaj Bjørner. 388-400 [doi]
- Multi-level Virtual Machine Debugging Using the Java Platform Debugger ArchitectureThomas Würthinger, Michael L. Van de Vanter, Doug Simon. 401-412 [doi]
- Anti-unification Algorithms and Their Applications in Program AnalysisPeter E. Bulychev, Egor V. Kostylev, Vladimir A. Zakharov. 413-423 [doi]