Abstract is missing.
- Separability in Conflict-Free Petri NetsEike Best, Javier Esparza, Harro Wimmel, Karsten Wolf. 1-18 [doi]
- Grand Challenges of System ProgrammingVictor Ivannikov. 19 [doi]
- Specifying and Verifying Programs in Spec#K. Rustan M. Leino. 20 [doi]
- Basic Protocols: Specification Language for Distributed SystemsAlexander A. Letichevsky. 21-25 [doi]
- Why Automata Models Are Sexy for Testers? (Invited Talk)Alexandre Petrenko. 26 [doi]
- An Universal Resolving Algorithm for Inverse Computation of Lazy LanguagesSergei M. Abramov, Robert Glück, Yuri A. Klimov. 27-40 [doi]
- Program Generation in the Equivalent Transformation Computation Model Using the Squeeze MethodKiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike. 41-54 [doi]
- A Versioning and Evolution Framework for RDF Knowledge BasesSören Auer, Heinrich Herre. 55-69 [doi]
- A Graphical Approach to Prove the Semantic Preservation of UML/OCL Refactoring RulesThomas Baar, Slavisa Markovic. 70-83 [doi]
- On the Usage of Concrete Syntax in Model Transformation RulesThomas Baar, Jon Whittle. 84-97 [doi]
- TTCN-3 for Distributed Testing Embedded SoftwareStefan Blom, Thomas Deiß, Natalia Ioustinova, Ari Kontio, Jaco van de Pol, Axel Rennoch, Natalia Sidorova. 98-111 [doi]
- Chase of Recursive QueriesNieves R. Brisaboa, Antonio Fariña, Miguel Rodríguez Luaces, José R. Paramá. 112-123 [doi]
- Improving Semistatic Compression Via Pair-Based CodingNieves R. Brisaboa, Antonio Fariña, Gonzalo Navarro, José R. Paramá. 124-134 [doi]
- An Agent-Based Architecture for Dialogue SystemsMark Buckley, Christoph Benzmüller. 135-147 [doi]
- Encoding Mobile Ambients into the ::::pi:::: -CalculusGabriel Ciobanu, Vladimir A. Zakharov. 148-165 [doi]
- Characterizations of CD Grammar Systems Working in Competence Mode by Multicounter Machine ResourcesLiliana Cojocaru. 166-179 [doi]
- Deriving State-Based Implementations of Interactive Components with History AbstractionsWalter Dosch, Annette Stümpel. 180-194 [doi]
- Introducing Debugging Capabilities to Natural SemanticsAlberto de la Encina, Luis Llana, Fernando Rubio. 195-208 [doi]
- Solution Strategies for Multi-domain Constraint Logic ProgramsStephan Frank, Petra Hofstedt, Peter Pepper, Dirk Reckmann. 209-222 [doi]
- Information-Flow Attacks Based on Limited ObservationsDamas P. Gruska. 223-234 [doi]
- Verifying Generalized Soundness of Workflow NetsKees M. van Hee, Olivia Oanea, Natalia Sidorova, Marc Voorhoeve. 235-247 [doi]
- Specifying Monogenetic Specializers by Means of a Relation Between Source and Residual ProgramsAndrei V. Klimov. 248-259 [doi]
- Satisfiability of Viability Constraints for Pfaffian DynamicsMargarita V. Korovina, Nicolai Vorobjov. 260-269 [doi]
- On the Importance of Parameter Tuning in Text CategorizationCornelis H. A. Koster, Jean Beney. 270-283 [doi]
- Preconditions for Structural Synthesis of ProgramsVahur Kotkas. 284-296 [doi]
- How to Verify and Exploit a Refinement of Component-Based SystemsOlga Kouchnarenko, Arnaud Lanoix. 297-309 [doi]
- Refinements in Typed Abstract State MachinesSebastian Link, Klaus-Dieter Schewe, Jane Zhao. 310-321 [doi]
- Report on an Implementation of a Semi-inverterTorben Æ. Mogensen. 322-334 [doi]
- Loop Parallelization in Multi-dimensional Cartesian SpaceSaeed Parsa, Shahriar Lotfi. 335-348 [doi]
- An ASM Semantics of Token Flow in UML 2 Activity DiagramsStefan Sarstedt, Walter Guttmann. 349-362 [doi]
- Well-Structured Model Checking of Multiagent SystemsNikolay V. Shilov, Natalya Olegovna Garanina. 363-376 [doi]
- Development of a Robust Data Mining Method Using CBFS and RSMSangmun Shin, Yi Guo, Yongsun Choi, Myeonggil Choi, Charles Kim. 377-388 [doi]
- Pushout: A Mathematical Model of Architectural MergerAndrew Solomon. 389-399 [doi]
- A Formal Model of Data PrivacyPhiniki Stouppa, Thomas Studer. 400-408 [doi]
- Linear Complementarity and P-Matrices for Stochastic GamesOla Svensson, Sergei G. Vorobyov. 409-423 [doi]
- RapidOWL - An Agile Knowledge Engineering MethodologySören Auer, Heinrich Herre. 424-430 [doi]
- BURS-Based Instruction Set SelectionDmitri Boulytchev. 431-437 [doi]
- Improved Resolution-Based Method for Satisfiability Checking Formulas of the Language LAnatoly Chebotarev, Sergey Krivoi. 438-442 [doi]
- Real-Time Stable Event Structures and Marked Scott Domains: An AdjunctionR. S. Dubtsov. 443-450 [doi]
- Streaming Networks for Coordinating Data-Parallel ProgramsClemens Grelck, Sven-Bodo Scholz, Alexander V. Shafarenko. 451-455 [doi]
- Formal Methods in Industrial Software Standards EnforcementAlexey Grinevich, Alexey V. Khoroshilov, Victor V. Kuliamin, Denis Markovtsev, Alexandre Petrenko, Vladimir V. Rubanov. 456-466 [doi]
- Visual Rules ModelingSergey Lukichev, Gerd Wagner. 467-473 [doi]
- Security for Multithreaded Programs Under Cooperative SchedulingAlejandro Russo, Andrei Sabelfeld. 474-480 [doi]
- A Fully Dynamic Algorithm for Recognizing and Representing Chordal GraphsTursunbay kyzy Yrysgul. 481-486 [doi]
- A Knowledge Portal for Cultural Information Resources: Towards an ArchitectureYury A. Zagorulko, Jawed I. A. Siddiqi, Babak Akhgar, Olesya Borovikova. 487-494 [doi]