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