Volume 164, Number 1, October 2006
Proceedings of the Eighth Workshop on Coalgebraic Methods in Computer Science (CMCS 2006), Eighth Workshop on Coalgebraic Methods in Computer Science
- Neil Ghani, John Power:
Preface.
1-2
- Corina Cîrstea:
Modularity in Coalgebra.
3-26
- Helle Hvid Hansen, David Costa, Jan J. M. M. Rutten:
Synthesis of Mealy Machines Using Derivatives.
27-45
- Ichiro Hasuo, Bart Jacobs, Ana Sokolova:
Generic Trace Theory.
47-65
- Daniela Cancila, Furio Honsell, Marina Lenisa:
Some Properties and Some Problems on Set Functors.
67-84
- Paul Blain Levy:
Infinitary Howe's Method.
85-104
- Lingyun Luo:
An Effective Coalgebraic Bisimulation Proof Method.
105-119
- Milad Niqui:
Coinductive Field of Exact Real Numbers and General Corecursion.
121-139
- Neil Ghani, Peter Hancock, Dirk Pattinson:
Continuous Functions on Final Coalgebras.
141-155
- Jirí Adámek, Stefan Milius, Jiri Velebil:
How Iterative are Iterative Algebras?
157-175
- Hiroshi Watanabe, Koki Nishizawa, Osamu Takaki:
A Coalgebraic Representation of Reduction by Cone of Influence.
177-194
Volume 164, Number 2, October 2006
Proceedings of the Sixth Workshop on Language Descriptions, Tools, and Applications (LDTA 2006), Sixth Workshop on Language Descriptions, Tools, and Applications
- John Boyland, Anthony Sloane:
Preface.
1-2
- Xiaoming Li, Daryl Shannon, Jabari Walker, Sarfraz Khurshid, Darko Marinov:
Analyzing the Uses of a Software Modeling Tool.
3-18
- José Luis Sierra, Alfredo Fernández-Valmayor:
A Prolog Framework for the Rapid Prototyping of Language Processors with Attribute Grammars.
19-36
- Damijan Rebernak, Marjan Mernik, Pedro Rangel Henriques, Maria João Varanda Pereira:
AspectLISA: An Aspect-oriented Compiler Construction System Based on Attribute Grammars.
37-53
- Elmar Jürgens, Markus Pizka:
The Language Evolver Lever - Tool Demonstration - .
55-60
- Joni Helin:
Combining Deep and Shallow Embeddings.
61-79
- Michael Eichberg, Sebastian Kanthak, Sven Kloppenburg, Mira Mezini, Tobias Schuh:
Incremental Confined Types Analysis.
81-96
- Adam Megacz:
Scannerless Boolean Parsing.
97-102
- Jia Zeng, Chuck Mitchell, Stephen A. Edwards:
A Domain-Specific Language for Generating Dataflow Analyzers.
103-119
- Diego Ordóñez Camacho, Kim Mens, Mark van den Brand, Jurgen J. Vinju:
Automated Derivation of Translators From Annotated Grammars.
121-137
Volume 164, Number 3, October 2006
Proceedings of the 4th International Workshop on Quantitative Aspects of Programming Languages (QAPL 2006), Quantitative Aspects of Programming Languages 2006
- Alessandra Di Pierro, Herbert Wiklicky:
Preface.
1-2
- Pedro Adão, Paulo Mateus, Tiago Reis, Luca Viganò:
Towards a Quantitative Analysis of Security Protocols.
3-25
- Alessandro Aldini, Marco Bernardo:
Component-Oriented Specification of Performance Measures.
27-43
- Walter Binder, Jarle Hulaas:
Exact and Portable Profiling for the JVM Using Bytecode Instruction Counting.
45-64
- Luca Bortolussi:
Stochastic Concurrent Constraint Programming.
65-80
- Gabriel Ciobanu, Cristian Prisacariu:
Timers for Distributed Systems.
81-99
- Pierpaolo Degano, Davide Prandi, Corrado Priami, Paola Quaglia:
Beta-binders for Biological Quantitative Experiments.
101-117
- Sylvain Pradalier, Catuscia Palamidessi:
Expressiveness of Probabilistic pi.
119-136
- Jeremy Singer, Gavin Brown:
Return Value Prediction meets Information Theory.
137-151
- Pascal Sotin, David Cachera, Thomas P. Jensen:
Quantitative Static Analysis Over Semirings: Analysing Cache Behaviour for Java Card.
153-167
- Maria Grazia Vigliotti, Peter G. Harrison:
Stochastic Ambient Calculus.
169-186
- Verena Wolf, Christel Baier, Mila E. Majster-Cederbaum:
Trace Semantics for Stochastic Systems with Nondeterminism.
187-204
- Miaomiao Zhang, Dang Van Hung:
Formal Analysis of Streaming Downloading Protocol for System Upgrading.
205-224
Volume 164, Number 4, October 2006
Proceedings of the Second Workshop on Model Based Testing (MBT 2006), Second Workshop on Model Based Testing 2006
- Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko:
Preface.
1
- Mirko Conrad, Alexander Krupp:
An Extension of the Classification-Tree Method for Embedded Systems for the Description of Events.
3-11
- N. C. W. M. Braspenning, J. M. van de Mortel-Fronczak, J. E. Rooda:
A Model-based Integration and Testing Method to Reduce System Development Effort.
13-28
- Daniel Aguiar da Silva, Patrícia D. L. Machado:
Towards Test Purpose Generation from CTL Properties for Reactive Systems.
29-40
- Sean Callanan, Radu Grosu, Abhishek Rai, Scott A. Smolka, Mike R. True, Erez Zadok:
Runtime Verification for High-Confidence Systems: A Monte Carlo Approach.
41-52
- Antti Kervinen, Mika Maunumaa, Mika Katara:
Controlling Testing Using Three-Tier Model Architecture.
53-66
- Constantinos Djouvas, Nancy D. Griffeth, Nancy A. Lynch:
Testing Self-Similar Networks.
67-82
- Igor B. Bourdonov, Alexander Kossatchev, Victor V. Kuliamin:
Formal Conformance Testing of Systems with Refused Inputs and Forbidden Actions.
83-96
- Robert Nilsson, Jeff Offutt, Jonas Mellin:
Test Case Generation for Mutation-based Testing of Timeliness.
97-114
- Bernhard K. Aichernig, Chris George:
When Model-based Testing Fails.
115-128
Last update Thu May 23 18:45:13 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
