default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID7th Ershov Memorial Conference 2009: Novosibirsk, Russia
- Amir Pnueli, Irina B. Virbitskaite, Andrei Voronkov:
Perspectives of Systems Informatics, 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers. Lecture Notes in Computer Science 5947, Springer 2010, ISBN 978-3-642-11485-4
Invited Talks
- Samson Abramsky
:
Games, Interaction and Computation. 1 - Dines Bjørner:
Rôle of Domain Engineering in Software Development - Why Current Requirements Engineering Is Flawed ! 2-34 - Kim G. Larsen:
Compositional and Quantitative Model Checking (Extended Abstract). 35-42 - Ernie 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:
Invariants, Modularity, and Rights. 43-55 - Lothar Thiele:
Distributed Embedded Systems: Reconciling Computation, Communication and Resource Interaction. 56-57
Regular Papers
- Roberto Barbuti, Daniela Lepri, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini, Aureliano Rama:
Simulation of Kohn's Molecular Interaction Maps through Translation into Stochastic CLS+. 58-69 - Dmitri M. Beloglazov, Valery A. Nepomniaschy:
A Two-Level Approach for Modeling and Verification of Telecommunication Systems. 70-85 - Jean Beney, Cornelis H. A. Koster:
SVM Paradoxes. 86-97 - Nieves R. Brisaboa, Miguel Rodríguez Luaces, Oscar Pedreira, Ángeles Saavedra Places, Diego Seco:
Indexing Dense Nested Metric Spaces for Efficient Similarity Search. 98-109 - Victor Felea:
On the Containment Problem for Queries in Conjunctive Form with Negation. 110-123 - Florian Fischer, Gulay Ünel, Barry Bishop, Dieter Fensel:
Towards a Scalable, Pragmatic Knowledge Representation Language for the Web. 124-134 - Robert Glück:
An Experiment with the Fourth Futamura Projection. 135-150 - Geoff W. Hamilton:
Extracting the Essence of Distillation. 151-164 - Alexey V. Khoroshilov, Vadim S. Mutilin, Alexander K. Petrenko, Vladimir Zakharov:
Establishing Linux Driver Verification Process. 165-176 - Dmitry Kichigin:
A Method for Test Suite Reduction for Regression Testing of Interactions between Software Modules. 177-184 - Andrei V. Klimov:
A Java Supercompiler and Its Application to Verification of Cache-Coherence Protocols. 185-192 - Ilya G. Klyuchnikov, Sergei A. Romanenko:
Proving the Equivalence of Higher-Order Terms by Means of Supercompilation. 193-205 - Jens Kohlmeyer, Walter Guttmann:
Unifying the Semantics of UML 2 State, Activity and Interaction Diagrams. 206-217 - Emanuel Kolb, Ondrej Sery, Roland Weiss:
Applicability of the BLAST Model Checker: An Industrial Case Study. 218-229 - Margarita V. Korovina, Oleg V. Kudinov:
SigmaK-constraints for Hybrid Systems. 230-241 - Laura Kovács:
A Complete Invariant Generation Approach for P-solvable Loops. 242-256 - Victor V. Kuliamin:
Standardization and Testing of Mathematical Functions. 257-268 - Philipp Kumar, Thomas Baar:
Using AOP for Discovering and Defining Executable Test Cases. 269-281 - Nazim Benaïssa, Dominique Méry:
Cryptographic Protocols Analysis in Event B. 282-293 - Anton Malykh, Andrei Mantsivoda:
A Query Language for Logic Architectures. 294-305 - Torben Æ. Mogensen:
Planet Map Generation by Tetrahedral Subdivision. 306-318 - Artur Niewiadomski, Wojciech Penczek, Maciej Szreter:
Towards Checking Parametric Reachability for UML State Machines. 319-330 - Nikolay V. Pakulin, Vladimir V. Rubanov:
A Flexible Approach to Automated Development of Cross Toolkits for Embedded Systems. 331-343 - J. Guadalupe Ramos, Josep Silva, Gustavo Arroyo, Juan C. Solorio:
A Technique for Information Retrieval from Microformatted Websites. 344-351 - Andrei Sabelfeld, Alejandro Russo:
From Dynamic to Static and Back: Riding the Roller Coaster of Information-Flow Control Research. 352-365 - Helen Schonenberg, Natalia Sidorova, Wil M. P. van der Aalst, Kees M. van Hee:
History-Dependent Stochastic Petri Nets. 366-379 - Thomas Studer:
Privacy Preserving Modules for Ontologies. 380-387 - Margus Veanes, Nikolaj S. Bjørner:
Symbolic Bounded Conformance Checking of Model Programs. 388-400 - Thomas Würthinger, Michael L. Van de Vanter, Doug Simon:
Multi-level Virtual Machine Debugging Using the Java Platform Debugger Architecture. 401-412 - Peter E. Bulychev, Egor V. Kostylev, Vladimir A. Zakharov:
Anti-unification Algorithms and Their Applications in Program Analysis. 413-423
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-07 01:30 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
