Electronic Notes in Theoretical Computer Science, Volume 164

Volume 164, Number 1, October 2006

• 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

• 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

• 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

• 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