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
Electronic Edition (link) BibTeX
- Corina Cîrstea:
Modularity in Coalgebra.
3-26
Electronic Edition (link) BibTeX
- Helle Hvid Hansen, David Costa, Jan J. M. M. Rutten:
Synthesis of Mealy Machines Using Derivatives.
27-45
Electronic Edition (link) BibTeX
- Ichiro Hasuo, Bart Jacobs, Ana Sokolova:
Generic Trace Theory.
47-65
Electronic Edition (link) BibTeX
- Daniela Cancila, Furio Honsell, Marina Lenisa:
Some Properties and Some Problems on Set Functors.
67-84
Electronic Edition (link) BibTeX
- Paul Blain Levy:
Infinitary Howe's Method.
85-104
Electronic Edition (link) BibTeX
- Lingyun Luo:
An Effective Coalgebraic Bisimulation Proof Method.
105-119
Electronic Edition (link) BibTeX
- Milad Niqui:
Coinductive Field of Exact Real Numbers and General Corecursion.
121-139
Electronic Edition (link) BibTeX
- Neil Ghani, Peter Hancock, Dirk Pattinson:
Continuous Functions on Final Coalgebras.
141-155
Electronic Edition (link) BibTeX
- Jirí Adámek, Stefan Milius, Jiri Velebil:
How Iterative are Iterative Algebras?
157-175
Electronic Edition (link) BibTeX
- Hiroshi Watanabe, Koki Nishizawa, Osamu Takaki:
A Coalgebraic Representation of Reduction by Cone of Influence.
177-194
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
- Xiaoming Li, Daryl Shannon, Jabari Walker, Sarfraz Khurshid, Darko Marinov:
Analyzing the Uses of a Software Modeling Tool.
3-18
Electronic Edition (link) BibTeX
- José Luis Sierra, Alfredo Fernández-Valmayor:
A Prolog Framework for the Rapid Prototyping of Language Processors with Attribute Grammars.
19-36
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Elmar Jürgens, Markus Pizka:
The Language Evolver Lever - Tool Demonstration - .
55-60
Electronic Edition (link) BibTeX
- Joni Helin:
Combining Deep and Shallow Embeddings.
61-79
Electronic Edition (link) BibTeX
- Michael Eichberg, Sebastian Kanthak, Sven Kloppenburg, Mira Mezini, Tobias Schuh:
Incremental Confined Types Analysis.
81-96
Electronic Edition (link) BibTeX
- Adam Megacz:
Scannerless Boolean Parsing.
97-102
Electronic Edition (link) BibTeX
- Jia Zeng, Chuck Mitchell, Stephen A. Edwards:
A Domain-Specific Language for Generating Dataflow Analyzers.
103-119
Electronic Edition (link) BibTeX
- Diego Ordonez Camacho, Kim Mens, Mark van den Brand, Jurgen J. Vinju:
Automated Derivation of Translators From Annotated Grammars.
121-137
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
- Pedro Adão, Paulo Mateus, Tiago Reis, Luca Viganò:
Towards a Quantitative Analysis of Security Protocols.
3-25
Electronic Edition (link) BibTeX
- Alessandro Aldini, Marco Bernardo:
Component-Oriented Specification of Performance Measures.
27-43
Electronic Edition (link) BibTeX
- Walter Binder, Jarle Hulaas:
Exact and Portable Profiling for the JVM Using Bytecode Instruction Counting.
45-64
Electronic Edition (link) BibTeX
- Luca Bortolussi:
Stochastic Concurrent Constraint Programming.
65-80
Electronic Edition (link) BibTeX
- Gabriel Ciobanu, Cristian Prisacariu:
Timers for Distributed Systems.
81-99
Electronic Edition (link) BibTeX
- Pierpaolo Degano, Davide Prandi, Corrado Priami, Paola Quaglia:
Beta-binders for Biological Quantitative Experiments.
101-117
Electronic Edition (link) BibTeX
- Sylvain Pradalier, Catuscia Palamidessi:
Expressiveness of Probabilistic pi.
119-136
Electronic Edition (link) BibTeX
- Jeremy Singer, Gavin Brown:
Return Value Prediction meets Information Theory.
137-151
Electronic Edition (link) BibTeX
- Pascal Sotin, David Cachera, Thomas P. Jensen:
Quantitative Static Analysis Over Semirings: Analysing Cache Behaviour for Java Card.
153-167
Electronic Edition (link) BibTeX
- Maria Grazia Vigliotti, Peter G. Harrison:
Stochastic Ambient Calculus.
169-186
Electronic Edition (link) BibTeX
- Verena Wolf, Christel Baier, Mila E. Majster-Cederbaum:
Trace Semantics for Stochastic Systems with Nondeterminism.
187-204
Electronic Edition (link) BibTeX
- Miaomiao Zhang, Dang Van Hung:
Formal Analysis of Streaming Downloading Protocol for System Upgrading.
205-224
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
- Mirko Conrad, Alexander Krupp:
An Extension of the Classification-Tree Method for Embedded Systems for the Description of Events.
3-11
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Daniel Aguiar da Silva, Patrícia D. L. Machado:
Towards Test Purpose Generation from CTL Properties for Reactive Systems.
29-40
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Antti Kervinen, Mika Maunumaa, Mika Katara:
Controlling Testing Using Three-Tier Model Architecture.
53-66
Electronic Edition (link) BibTeX
- Constantinos Djouvas, Nancy D. Griffeth, Nancy A. Lynch:
Testing Self-Similar Networks.
67-82
Electronic Edition (link) BibTeX
- Igor B. Bourdonov, Alexander Kossatchev, Victor V. Kuliamin:
Formal Conformance Testing of Systems with Refused Inputs and Forbidden Actions.
83-96
Electronic Edition (link) BibTeX
- Robert Nilsson, Jeff Offutt, Jonas Mellin:
Test Case Generation for Mutation-based Testing of Timeliness.
97-114
Electronic Edition (link) BibTeX
- Bernhard K. Aichernig, Chris George:
When Model-based Testing Fails.
115-128
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:58:23 2009
by Michael Ley (ley@uni-trier.de)
