Electronic Notes in Theoretical Computer Science, Volume 130
Volume 130, May 2005
- Carroll Morgan, Annabelle McIver: Memoryless Strategies for Stochastic Games via Domain Theory. 23-37
- Jim Davies, Charles Crichton, Edward Crichton, David Neilson, Ib Holm Sørensen: Formality, Evolution, and Model-driven Software Engineering. 39-55
- Ahmed Khoumsi: Complete Test Graph Synthesis For Symbolic Real-time Systems. 79-100
- Vladimir Oliveira Di Iorio, Roberto da Silva Bigonha, Mariza Andrade da Silva Bigonha, Alcione Oliveira, Eliseu Miguel: What's the Name of the Game? Formal Specification of Artificial Intelligence Games. 129-150
- Ana Cristina Vieira de Melo: From Active Names to pi-calculus Rewriting Rules. 169-185
- Fabrício Vale de Azevedo Guerra, Jorge Cesar Abrantes de Figueiredo, Dalton Serey Guerrero: Protocol Performance Analysis Using a Timed Extension for an Object Oriented Petri Net Language. 187-209
- Paulo Sérgio Muniz Silva: Early Verification of Computer Systems Temporal Properties. 211-233
- Patrícia D. L. Machado, Elthon A. S. Oliveira, Paulo E. S. Barbosa, Cássio L. Rodrigues: Testing from Structured Algebraic Specifications: The Veritas Case Study. 235-261
- Paul Ziemann, Karsten Hölscher, Martin Gogolla: Coherently Explaining UML Statechart and Collaboration Diagrams by Graph Transformations. 263-280
- Márcio Cornélio, Ana Cavalcanti, Augusto Sampaio: Refactoring Towards a Layered Architecture. 281-300
- Umberto S. Costa, Sérgio Vale Aguiar Campos, Newton Vieira, David Déharbe: Explicit-Symbolic Modelling for Formal Verification. 301-321
- Nelson Guimarães Ferreira, Paulo Sérgio Muniz Silva: Automatic Verification of Safety Rules for a Subway Control Software. 323-343
- Alexandre Rademaker, Christiano de O. Braga, Alexandre Sztajnberg: A Rewriting Semantics for a Software Architecture Description Language. 345-377
- E. Allen Emerson, Thomas Wahl: Efficient Reduction Techniques for Systems with Many Components. 379-399
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team