Conferences in DBLP
Eike Best , Javier Esparza , Harro Wimmel , Karsten Wolf Separability in Conflict-Free Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Victor Ivannikov Grand Challenges of System Programming. [Citation Graph (0, 0)][DBLP ] Conf ] K. Rustan M. Leino Specifying and Verifying Programs in Spec#. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander A. Letichevsky Basic Protocols: Specification Language for Distributed Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Alexandre Petrenko Why Automata Models Are Sexy for Testers? (Invited Talk). [Citation Graph (0, 0)][DBLP ] Conf ] Sergei M. Abramov , Robert Glück , Yuri A. Klimov An Universal Resolving Algorithm for Inverse Computation of Lazy Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Kiyoshi Akama , Ekawit Nantajeewarawat , Hidekatsu Koike Program Generation in the Equivalent Transformation Computation Model Using the Squeeze Method. [Citation Graph (0, 0)][DBLP ] Conf ] Sören Auer , Heinrich Herre A Versioning and Evolution Framework for RDF Knowledge Bases. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Baar , Slavisa Markovic A Graphical Approach to Prove the Semantic Preservation of UML/OCL Refactoring Rules. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Baar , Jon Whittle On the Usage of Concrete Syntax in Model Transformation Rules. [Citation Graph (0, 0)][DBLP ] Conf ] Stefan Blom , Thomas Deiß , Natalia Ioustinova , Ari Kontio , Jaco van de Pol , Axel Rennoch , Natalia Sidorova TTCN-3 for Distributed Testing Embedded Software. [Citation Graph (0, 0)][DBLP ] Conf ] Nieves R. Brisaboa , Antonio Fariña , Miguel Rodríguez Luaces , José R. Paramá Chase of Recursive Queries. [Citation Graph (0, 0)][DBLP ] Conf ] Nieves R. Brisaboa , Antonio Fariña , Gonzalo Navarro , José R. Paramá Improving Semistatic Compression Via Pair-Based Coding. [Citation Graph (0, 0)][DBLP ] Conf ] Mark Buckley , Christoph Benzmüller An Agent-Based Architecture for Dialogue Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Gabriel Ciobanu , Vladimir A. Zakharov Encoding Mobile Ambients into the pi -Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Liliana Cojocaru Characterizations of CD Grammar Systems Working in Competence Mode by Multicounter Machine Resources. [Citation Graph (0, 0)][DBLP ] Conf ] Walter Dosch , Annette Stümpel Deriving State-Based Implementations of Interactive Components with History Abstractions. [Citation Graph (0, 0)][DBLP ] Conf ] Alberto de la Encina , Luis Llana , Fernando Rubio Introducing Debugging Capabilities to Natural Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Stephan Frank , Petra Hofstedt , Peter Pepper , Dirk Reckmann Solution Strategies for Multi-domain Constraint Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Damas P. Gruska Information-Flow Attacks Based on Limited Observations. [Citation Graph (0, 0)][DBLP ] Conf ] Kees M. van Hee , Olivia Oanea , Natalia Sidorova , Marc Voorhoeve Verifying Generalized Soundness of Workflow Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Andrei V. Klimov Specifying Monogenetic Specializers by Means of a Relation Between Source and Residual Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Margarita V. Korovina , Nicolai Vorobjov Satisfiability of Viability Constraints for Pfaffian Dynamics. [Citation Graph (0, 0)][DBLP ] Conf ] Cornelis H. A. Koster , Jean Beney On the Importance of Parameter Tuning in Text Categorization. [Citation Graph (0, 0)][DBLP ] Conf ] Vahur Kotkas Preconditions for Structural Synthesis of Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Olga Kouchnarenko , Arnaud Lanoix How to Verify and Exploit a Refinement of Component-Based Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Sebastian Link , Klaus-Dieter Schewe , Jane Zhao Refinements in Typed Abstract State Machines. [Citation Graph (0, 0)][DBLP ] Conf ] Torben Æ. Mogensen Report on an Implementation of a Semi-inverter. [Citation Graph (0, 0)][DBLP ] Conf ] Saeed Parsa , Shahriar Lotfi Loop Parallelization in Multi-dimensional Cartesian Space. [Citation Graph (0, 0)][DBLP ] Conf ] Stefan Sarstedt , Walter Guttmann An ASM Semantics of Token Flow in UML 2 Activity Diagrams. [Citation Graph (0, 0)][DBLP ] Conf ] Nikolay V. Shilov , Natalya Olegovna Garanina Well-Structured Model Checking of Multiagent Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Sangmun Shin , Yi Guo , Yongsun Choi , Myeonggil Choi , Charles Kim Development of a Robust Data Mining Method Using CBFS and RSM. [Citation Graph (0, 0)][DBLP ] Conf ] Andrew Solomon Pushout: A Mathematical Model of Architectural Merger. [Citation Graph (0, 0)][DBLP ] Conf ] Phiniki Stouppa , Thomas Studer A Formal Model of Data Privacy. [Citation Graph (0, 0)][DBLP ] Conf ] Ola Svensson , Sergei G. Vorobyov Linear Complementarity and P-Matrices for Stochastic Games. [Citation Graph (0, 0)][DBLP ] Conf ] Sören Auer , Heinrich Herre RapidOWL - An Agile Knowledge Engineering Methodology. [Citation Graph (0, 0)][DBLP ] Conf ] Dmitri Boulytchev BURS-Based Instruction Set Selection. [Citation Graph (0, 0)][DBLP ] Conf ] Anatoly Chebotarev , Sergey Krivoi Improved Resolution-Based Method for Satisfiability Checking Formulas of the Language L. [Citation Graph (0, 0)][DBLP ] Conf ] R. S. Dubtsov Real-Time Stable Event Structures and Marked Scott Domains: An Adjunction. [Citation Graph (0, 0)][DBLP ] Conf ] Clemens Grelck , Sven-Bodo Scholz , Alexander V. Shafarenko Streaming Networks for Coordinating Data-Parallel Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Alexey Grinevich , Alexey Khoroshilov , Victor V. Kuliamin , Denis Markovtsev , Alexandre Petrenko , Vladimir Rubanov Formal Methods in Industrial Software Standards Enforcement. [Citation Graph (0, 0)][DBLP ] Conf ] Sergey Lukichev , Gerd Wagner Visual Rules Modeling. [Citation Graph (0, 0)][DBLP ] Conf ] Alejandro Russo , Andrei Sabelfeld Security for Multithreaded Programs Under Cooperative Scheduling. [Citation Graph (0, 0)][DBLP ] Conf ] Tursunbay kyzy Yrysgul A Fully Dynamic Algorithm for Recognizing and Representing Chordal Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] Yury A. Zagorulko , Jawed I. A. Siddiqi , Babak Akhgar , Olesya Borovikova A Knowledge Portal for Cultural Information Resources: Towards an Architecture. [Citation Graph (0, 0)][DBLP ] Conf ] 