default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID7th ICTAC 2010: Natal, Rio Grande do Norte, Brazil
- Ana Cavalcanti, David Déharbe, Marie-Claude Gaudel, Jim Woodcock
:
Theoretical Aspects of Computing - ICTAC 2010, 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings. Lecture Notes in Computer Science 6255, Springer 2010, ISBN 978-3-642-14807-1
Invited Papers and Abstract
- Ian J. Hayes:
Invariants and Well-Foundedness in Program Algebra. 1-14 - Paulo Borba, Leopoldo Teixeira, Rohit Gheyi:
A Theory of Software Product Line Refinement. 15-43 - Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz:
The TLA+ Proof System: Building a Heterogeneous Verification Platform. 44
Grammars
- Lei Chen, Haiming Chen:
Subtyping Algorithm of Regular Tree Grammars with Disjoint Production Rules. 45-59 - Jacques Chabin, Mirian Halfeld Ferrari Alves, Martin A. Musicante, Pierre Réty:
Minimal Tree Language Extensions: A Keystone of XML Type Compatibility and Evolution. 60-75 - Hendrikus J. S. Basten:
Tracking Down the Origins of Ambiguity in Context-Free Grammars. 76-90
Semantics
- Pawel Gancarski, Andrew Butterfield:
Prioritized slotted-Circus. 91-105 - Qin Li, Huibiao Zhu, Jifeng He:
A Denotational Semantical Model for Orc Language. 106-120 - Zhenbang Chen, Zhiming Liu:
An Extended cCSP with Stable Failures Semantics. 121-136 - Bill Stoddart, Frank Zeyda, Steve Dunne:
Preference and Non-deterministic Choice. 137-152
Modelling
- Jewgenij Botaschanjan, Benjamin Hummel:
Material Flow Abstraction of Manufacturing Systems. 153-167 - Umberto Souza da Costa, Ivan Soares de Medeiros Júnior, Marcel Vinícius Medeiros Oliveira:
Specification and Verification of a MPI Implementation for a MP-SoC. 168-183
Special Track: Formal Aspects of Software Testing and Grand Challenge in Verified Software
- Bilal Kanso, Marc Aiguier, Frédéric Boulanger, Assia Touil:
Testing of Abstract Components. 184-198 - Yunho Kim, Moonzoo Kim, Nam Dang:
Scalable Distributed Concolic Testing: A Case Study on a Flash Storage Platform. 199-213 - Reng Zeng, Xudong He:
Analyzing a Formal Specification of Mondex Using Model Checking. 214-229 - Andrius Velykis, Leo Freitas:
Formal Modelling of Separation Kernel Components. 230-244 - J. Gregory Malecha, Greg Morrisett:
Mechanized Verification with Sharing. 245-259 - Ashish Darbari, Bernd Fischer, João Marques-Silva:
Industrial-Strength Certified SAT Solving through Verified SAT Proof Checking. 260-274 - Mariano M. Moscato, Carlos López Pombo, Marcelo F. Frias:
Dynamite 2.0: New Features Based on UnSAT-Core Extraction to Improve Verification of Software Requirements. 275-289
Logics
- Carlos Gustavo López Pombo, Marcelo Fabiùn Frias:
Complete Calculi for Structured Specifications in Fork Algebra. 290-305 - Pablo F. Castro, Nazareno Aguirre, Carlos Gustavo López Pombo, T. S. E. Maibaum:
Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting. 306-321 - Pablo F. Castro, T. S. E. Maibaum:
Characterizing Locality (Encapsulation) with Bisimulation. 322-336 - Francisco Bavera, Eduardo Bonelli:
Justification Logic and History Based Computation. 337-351
Algorithms and Types
- Srinivas Nedunuri, Douglas R. Smith, William R. Cook:
A Class of Greedy Algorithms and Its Relation to Greedoids. 352-366 - Paul Tarau:
On Arithmetic Computations with Hereditarily Finite Sets, Functions and Types. 367-381 - Rui Shi, Dengping Zhu, Hongwei Xi:
A Modality for Safe Resource Sharing and Code Reentrancy. 382-396
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 2025-01-21 20:22 CET 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:
