The Resource Perspectives of systems informatics : 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised selected papers, Edmund Clarke, Irina Virbitskaite, Andrei Voronkov (eds.), (electronic book)
Perspectives of systems informatics : 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised selected papers, Edmund Clarke, Irina Virbitskaite, Andrei Voronkov (eds.), (electronic book)
Resource Information
The item Perspectives of systems informatics : 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised selected papers, Edmund Clarke, Irina Virbitskaite, Andrei Voronkov (eds.), (electronic book) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Liverpool.This item is available to borrow from 1 library branch.
Resource Information
The item Perspectives of systems informatics : 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised selected papers, Edmund Clarke, Irina Virbitskaite, Andrei Voronkov (eds.), (electronic book) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Liverpool.
This item is available to borrow from 1 library branch.
- Language
- eng
- Extent
- 1 online resource (xiii, 410 p.)
- Contents
-
- (Abstract)
- Rupak Majumdar
- Mining Precise Specifications
- (Abstract)
- Andreas Zeller
- Detecting Entry Points in Java Libraries
- Thomas Baar and Philipp Kumar
- Static Analysis of Run-Time Modes in Synchronous Process Network
- Michael Beyer and Sabine Glesner
- Compositional Methods in Characterization of Timed Event Structures
- Petri Net Distributability
- Elena Bozhenkova
- Algorithmic Debugging of SQL Views
- Rafael Caballero, Yolanda García-Ruiz and Fernando Sáenz-Pérez
- Timed Transition Systems with Independence and Marked Scott Domains: An Adjunction
- Roman Dubtsov
- An Extensible System for Enhancing Social Conference Experience
- Michael A. H. Fried, Anna Fensel, Federico Michele Facca and Dieter Fensel
- Exponential Acceleration of Model Checking for Perfect Recall Systems
- Natalia O. Garanina
- Bootstrapping Compiler Generators from Partial Evaluators
- Eike Best and Philippe Darondeau
- Robert Glück
- A Logic Characteristic for Timed Extensions of Partial Order Based Equivalences
- Natalya S. Gribovskaya
- Proving the Correctness of Unfold/Fold Program Transformations Using Bisimulation
- Geoff W. Hamilton and Neil D. Jones
- Secure Multi-execution in Haskell
- Mauro Jaskelioff and Alejandro Russo
- Towards an Open Framework for C Verification Tools Benchmarking
- Alexey Khoroshilov, Vadim Mutilin, Eugene Novikov, Pavel Shved and Alexander Strakh
- Connector Algebras, Petri Nets, and BIP
- Roberto Bruni, Hernán Melgratti and Ugo Montanari
- Models of Provenance
- (Abstract)
- Peter Buneman
- End-to-End Guarantees in Embedded Control Systems
- Reachability in One-Dimensional Controlled Polynomial Dynamical Systems
- Margarita Korovina and Nicolai Vorobjov
- Insertion Modeling System
- Alexander A. Letichevsky, Olexandr A. Letychevskyi and Vladimir S. Peschanenko
- Decidability of Modular Logics for Concurrency
- Radu Mardare
- Partial Evaluation of Janus Part 2: Assertions and Procedures
- Torben Ægidius Mogensen
- Scalable Parallel Interval Propagation for Sparse Constraint Satisfaction Problems
- Evgueni Petrov
- Solving Coverability Problem for Monotonic Counter Systems by Supercompilation
- A Combined Technique for Automatic Detection of Backward Binary Compatibility Problems
- Andrey Ponomarenko and Vladimir Rubanov
- Weighted Lumpability on Markov Chains
- Arpit Sharma and Joost-Pieter Katoen
- Development of the Computer Language Classification Knowledge Portal
- Nikolay V. Shilov, Alexander A. Akinin, Alexey V. Zubkov and Renat I. Idrisov
- Justified Terminological Reasoning
- Thomas Studer
- Implementing Conflict Resolution
- Konstantin Korovin, Nestan Tsiskaridze and Andrei Voronkov
- Andrei V. Klimov
- Symbolic Tree Transducers
- Margus Veanes and Nikolaj Bjørner
- Probabilistic Concepts in Formal Contexts
- Alexander Demin, Denis Ponomaryov and Evgeny Vityaev
- Multi-result Supercompilation as Branching Growth of the Penultimate Level in Metasystem Transitions
- Ilya Klyuchnikov and Sergei A. Romanenko
- Symbolic Loop Bound Computation for WCET Analysis
- Jens Knoop, Laura Kovács and Jakob Zwirchmayr
- GoRRiLA and Hard Reality
- Konstantin Korovin and Andrei Voronkov
- Isbn
- 9783642297083
- Label
- Perspectives of systems informatics : 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised selected papers
- Title
- Perspectives of systems informatics
- Title remainder
- 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised selected papers
- Statement of responsibility
- Edmund Clarke, Irina Virbitskaite, Andrei Voronkov (eds.)
- Title variation
- PSI 2011
- Subject
-
- Computer Imaging, Vision, Pattern Recognition and Graphics.
- Computer science -- Congresses
- Computer science.
- Computer software.
- Computer vision.
- Logic design.
- Logics and Meanings of Programs.
- Programming Languages, Compilers, Interpreters.
- Programming Techniques.
- Software engineering -- Congresses
- Software engineering.
- Systems engineering -- Congresses
- Algorithm Analysis and Problem Complexity.
- Language
- eng
- Cataloging source
- GW5XE
- Dewey number
- 004
- Index
- index present
- LC call number
- QA75.5
- LC item number
- .I58 2011
- Literary form
- non fiction
- http://bibfra.me/vocab/lite/meetingDate
- 2011
- http://bibfra.me/vocab/lite/meetingName
- International Andrei Ershov Memorial Conference
- Nature of contents
-
- dictionaries
- bibliography
- http://library.link/vocab/relatedWorkOrContributorDate
-
- 1945-
- 1959-
- http://library.link/vocab/relatedWorkOrContributorName
-
- Clarke, E. M.
- Virbitskaite, Irina
- Voronkov, A.
- Series statement
-
- Lecture notes in computer science,
- LNCS sublibrary. SL 1, Theoretical computer science and general issues
- Series volume
- 7162
- http://library.link/vocab/subjectName
-
- Computer science
- Software engineering
- Systems engineering
- Label
- Perspectives of systems informatics : 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised selected papers, Edmund Clarke, Irina Virbitskaite, Andrei Voronkov (eds.), (electronic book)
- Antecedent source
- unknown
- Bibliography note
- Includes bibliographical references and author index
- Color
- multicolored
- Contents
-
- (Abstract)
- Rupak Majumdar
- Mining Precise Specifications
- (Abstract)
- Andreas Zeller
- Detecting Entry Points in Java Libraries
- Thomas Baar and Philipp Kumar
- Static Analysis of Run-Time Modes in Synchronous Process Network
- Michael Beyer and Sabine Glesner
- Compositional Methods in Characterization of Timed Event Structures
- Petri Net Distributability
- Elena Bozhenkova
- Algorithmic Debugging of SQL Views
- Rafael Caballero, Yolanda García-Ruiz and Fernando Sáenz-Pérez
- Timed Transition Systems with Independence and Marked Scott Domains: An Adjunction
- Roman Dubtsov
- An Extensible System for Enhancing Social Conference Experience
- Michael A. H. Fried, Anna Fensel, Federico Michele Facca and Dieter Fensel
- Exponential Acceleration of Model Checking for Perfect Recall Systems
- Natalia O. Garanina
- Bootstrapping Compiler Generators from Partial Evaluators
- Eike Best and Philippe Darondeau
- Robert Glück
- A Logic Characteristic for Timed Extensions of Partial Order Based Equivalences
- Natalya S. Gribovskaya
- Proving the Correctness of Unfold/Fold Program Transformations Using Bisimulation
- Geoff W. Hamilton and Neil D. Jones
- Secure Multi-execution in Haskell
- Mauro Jaskelioff and Alejandro Russo
- Towards an Open Framework for C Verification Tools Benchmarking
- Alexey Khoroshilov, Vadim Mutilin, Eugene Novikov, Pavel Shved and Alexander Strakh
- Connector Algebras, Petri Nets, and BIP
- Roberto Bruni, Hernán Melgratti and Ugo Montanari
- Models of Provenance
- (Abstract)
- Peter Buneman
- End-to-End Guarantees in Embedded Control Systems
- Reachability in One-Dimensional Controlled Polynomial Dynamical Systems
- Margarita Korovina and Nicolai Vorobjov
- Insertion Modeling System
- Alexander A. Letichevsky, Olexandr A. Letychevskyi and Vladimir S. Peschanenko
- Decidability of Modular Logics for Concurrency
- Radu Mardare
- Partial Evaluation of Janus Part 2: Assertions and Procedures
- Torben Ægidius Mogensen
- Scalable Parallel Interval Propagation for Sparse Constraint Satisfaction Problems
- Evgueni Petrov
- Solving Coverability Problem for Monotonic Counter Systems by Supercompilation
- A Combined Technique for Automatic Detection of Backward Binary Compatibility Problems
- Andrey Ponomarenko and Vladimir Rubanov
- Weighted Lumpability on Markov Chains
- Arpit Sharma and Joost-Pieter Katoen
- Development of the Computer Language Classification Knowledge Portal
- Nikolay V. Shilov, Alexander A. Akinin, Alexey V. Zubkov and Renat I. Idrisov
- Justified Terminological Reasoning
- Thomas Studer
- Implementing Conflict Resolution
- Konstantin Korovin, Nestan Tsiskaridze and Andrei Voronkov
- Andrei V. Klimov
- Symbolic Tree Transducers
- Margus Veanes and Nikolaj Bjørner
- Probabilistic Concepts in Formal Contexts
- Alexander Demin, Denis Ponomaryov and Evgeny Vityaev
- Multi-result Supercompilation as Branching Growth of the Penultimate Level in Metasystem Transitions
- Ilya Klyuchnikov and Sergei A. Romanenko
- Symbolic Loop Bound Computation for WCET Analysis
- Jens Knoop, Laura Kovács and Jakob Zwirchmayr
- GoRRiLA and Hard Reality
- Konstantin Korovin and Andrei Voronkov
- Control code
- SPR793911435
- Dimensions
- unknown
- Extent
- 1 online resource (xiii, 410 p.)
- File format
- unknown
- Form of item
- online
- Isbn
- 9783642297083
- Level of compression
- unknown
- Quality assurance targets
- not applicable
- Reformatting quality
- unknown
- Reproduction note
- Electronic resource.
- Sound
- unknown sound
- Specific material designation
- remote
- Label
- Perspectives of systems informatics : 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised selected papers, Edmund Clarke, Irina Virbitskaite, Andrei Voronkov (eds.), (electronic book)
- Antecedent source
- unknown
- Bibliography note
- Includes bibliographical references and author index
- Color
- multicolored
- Contents
-
- (Abstract)
- Rupak Majumdar
- Mining Precise Specifications
- (Abstract)
- Andreas Zeller
- Detecting Entry Points in Java Libraries
- Thomas Baar and Philipp Kumar
- Static Analysis of Run-Time Modes in Synchronous Process Network
- Michael Beyer and Sabine Glesner
- Compositional Methods in Characterization of Timed Event Structures
- Petri Net Distributability
- Elena Bozhenkova
- Algorithmic Debugging of SQL Views
- Rafael Caballero, Yolanda García-Ruiz and Fernando Sáenz-Pérez
- Timed Transition Systems with Independence and Marked Scott Domains: An Adjunction
- Roman Dubtsov
- An Extensible System for Enhancing Social Conference Experience
- Michael A. H. Fried, Anna Fensel, Federico Michele Facca and Dieter Fensel
- Exponential Acceleration of Model Checking for Perfect Recall Systems
- Natalia O. Garanina
- Bootstrapping Compiler Generators from Partial Evaluators
- Eike Best and Philippe Darondeau
- Robert Glück
- A Logic Characteristic for Timed Extensions of Partial Order Based Equivalences
- Natalya S. Gribovskaya
- Proving the Correctness of Unfold/Fold Program Transformations Using Bisimulation
- Geoff W. Hamilton and Neil D. Jones
- Secure Multi-execution in Haskell
- Mauro Jaskelioff and Alejandro Russo
- Towards an Open Framework for C Verification Tools Benchmarking
- Alexey Khoroshilov, Vadim Mutilin, Eugene Novikov, Pavel Shved and Alexander Strakh
- Connector Algebras, Petri Nets, and BIP
- Roberto Bruni, Hernán Melgratti and Ugo Montanari
- Models of Provenance
- (Abstract)
- Peter Buneman
- End-to-End Guarantees in Embedded Control Systems
- Reachability in One-Dimensional Controlled Polynomial Dynamical Systems
- Margarita Korovina and Nicolai Vorobjov
- Insertion Modeling System
- Alexander A. Letichevsky, Olexandr A. Letychevskyi and Vladimir S. Peschanenko
- Decidability of Modular Logics for Concurrency
- Radu Mardare
- Partial Evaluation of Janus Part 2: Assertions and Procedures
- Torben Ægidius Mogensen
- Scalable Parallel Interval Propagation for Sparse Constraint Satisfaction Problems
- Evgueni Petrov
- Solving Coverability Problem for Monotonic Counter Systems by Supercompilation
- A Combined Technique for Automatic Detection of Backward Binary Compatibility Problems
- Andrey Ponomarenko and Vladimir Rubanov
- Weighted Lumpability on Markov Chains
- Arpit Sharma and Joost-Pieter Katoen
- Development of the Computer Language Classification Knowledge Portal
- Nikolay V. Shilov, Alexander A. Akinin, Alexey V. Zubkov and Renat I. Idrisov
- Justified Terminological Reasoning
- Thomas Studer
- Implementing Conflict Resolution
- Konstantin Korovin, Nestan Tsiskaridze and Andrei Voronkov
- Andrei V. Klimov
- Symbolic Tree Transducers
- Margus Veanes and Nikolaj Bjørner
- Probabilistic Concepts in Formal Contexts
- Alexander Demin, Denis Ponomaryov and Evgeny Vityaev
- Multi-result Supercompilation as Branching Growth of the Penultimate Level in Metasystem Transitions
- Ilya Klyuchnikov and Sergei A. Romanenko
- Symbolic Loop Bound Computation for WCET Analysis
- Jens Knoop, Laura Kovács and Jakob Zwirchmayr
- GoRRiLA and Hard Reality
- Konstantin Korovin and Andrei Voronkov
- Control code
- SPR793911435
- Dimensions
- unknown
- Extent
- 1 online resource (xiii, 410 p.)
- File format
- unknown
- Form of item
- online
- Isbn
- 9783642297083
- Level of compression
- unknown
- Quality assurance targets
- not applicable
- Reformatting quality
- unknown
- Reproduction note
- Electronic resource.
- Sound
- unknown sound
- Specific material designation
- remote
Subject
- Computer Imaging, Vision, Pattern Recognition and Graphics.
- Computer science -- Congresses
- Computer science.
- Computer software.
- Computer vision.
- Logic design.
- Logics and Meanings of Programs.
- Programming Languages, Compilers, Interpreters.
- Programming Techniques.
- Software engineering -- Congresses
- Software engineering.
- Systems engineering -- Congresses
- Algorithm Analysis and Problem Complexity.
Genre
Member of
- LNCS sublibrary, SL 1, Theoretical computer science and general issues
- Lecture notes in computer science, 7162
- Online access with purchase: Springer
Library Links
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.liverpool.ac.uk/portal/Perspectives-of-systems-informatics--8th/1wjQMJVAP9E/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.liverpool.ac.uk/portal/Perspectives-of-systems-informatics--8th/1wjQMJVAP9E/">Perspectives of systems informatics : 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised selected papers, Edmund Clarke, Irina Virbitskaite, Andrei Voronkov (eds.), (electronic book)</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.liverpool.ac.uk/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.liverpool.ac.uk/">University of Liverpool</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data - Experimental
Data Citation of the Item Perspectives of systems informatics : 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised selected papers, Edmund Clarke, Irina Virbitskaite, Andrei Voronkov (eds.), (electronic book)
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.liverpool.ac.uk/portal/Perspectives-of-systems-informatics--8th/1wjQMJVAP9E/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.liverpool.ac.uk/portal/Perspectives-of-systems-informatics--8th/1wjQMJVAP9E/">Perspectives of systems informatics : 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised selected papers, Edmund Clarke, Irina Virbitskaite, Andrei Voronkov (eds.), (electronic book)</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.liverpool.ac.uk/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.liverpool.ac.uk/">University of Liverpool</a></span></span></span></span></div>