Electronic Notes in Theoretical Computer Science, Volume 82

Volume 82, Number 1, 2003

• H. Peter Gumm:
  Preface.
  
• Jirí Adámek:
  On a Description of Terminal Coalgebras and Iterative Theories.
  
• Alexandru Baltag:
  A Coalgebraic Semantics for Epistemic Programs.
  
• Luís Soares Barbosa, José Nuno Oliveira:
  State-based Components Made Generic.
  
• Falk Bartels, Ana Sokolova, Erik P. de Vink:
  A hierarchy of probabilistic system types.
  
• Daniela Cancila, Furio Honsell, Marina Lenisa:
  Generalized Coiteration Schemata.
  
• Hubie Chen, Riccardo Pucella:
  A Coalgebraic Approach to Kleene Algebra with Tests.
  
• Corina Cîrstea:
  On Expressivity and Compositionality in Logics for Coalgebras.
  
• Bart Jacobs, Jesse Hughes:
  Simulations in Coalgebra.
  
• Jan Komenda:
  Coinduction in Control of Partially Observed Discrete-Event Systems.
  
• Clemens Kupke, Alexander Kurz, Yde Venema:
  Stone Coalgebras.
  
• Ralph Matthes, Tarmo Uustalu:
  Substitution in Non-wellfounded Syntax with Variable Binding.
  
• Till Mossakowski, Markus Roggenbach, Lutz Schröder:
  CoCASL at Work -- Modelling Process Algebra.
  
• Alessandra Palmigiano:
  Coalgebraic Semantics for Positive Modal Logic.
  
• Dirk Pattinson:
  Computable Functions on Final Coalgebras.
  
• John Power:
  Towards a theory of mathematical operational semantics.
  
• Vaughan R. Pratt:
  Comonoids in chu: a large cartesian closed sibling of topological spaces.
  
• Grigore Rosu:
  Inductive Behavioral Proofs by Unhiding.
  
• Jan Rothe, Dragan Masulovic:
  Modal Logics for Observation Equivalences.
  
• Luigi Santocanale:
  Logical Construction of Final Coalgebras.
  

Volume 82, Number 2, 2003

• Ernst-Rüdiger Olderog:
  Translation and Optimization in the Verification of Real-Time Systems.
  
• Henning Dierks:
  Moby/RT: A Tool for Specification and Verification of Real-Time Systems.
  
• Manuel M. T. Chakravarty, Gabriele Keller, Patryk Zadarnowski:
  A Functional Perspective on SSA Optimisation Algorithms.
  
• Andreas Hartmann, Wolfram Amme, Jeffery von Ronne, Michael Franz:
  Code Annotation for Safe and Efficient Dynamic Object Resolution.
  
• Stefan Berghofer, Martin Strecker:
  Extracting a formally verified, fully executable compiler from a proof assistant.
  
• Christophe Alias, Denis Barthou:
  On the Recognition of Algorithm Templates.
  
• Sabine Glesner, Jan Olaf Blech:
  Classifying and Formally Verifying Integer Constant Folding.
  
• Thomas Genet, Thomas P. Jensen, Vikash Kodati, David Pichardie:
  A Java Card CAP converter in PVS.
  
• Gerolf Hoflehner, Daniel M. Lavery, David C. Sehr:
  The compiler as a validation and evaluation tool.
  

Volume 82, Number 3, 2003

• Barrett R. Bryant, João Saraiva:
  Preface.
  
• Jan Kort, Ralf Lämmel:
  A Framework for Datatype Transformation.
  
• Tom Mens, Serge Demeyer, Bart Du Bois, Hans Stenten, Pieter Van Gorp:
  Refactoring: Current Research and Future Trends.
  
• Alexey Kalinov, Alexander Kossatchev, Alexander K. Petrenko, Mikhail Posypkin, Vladimir Shishkov:
  Coverage-driven Automated Compiler Test Suite Generation.
  
• Kent Lee:
  A Formally Verified Register Allocation Framework.
  
• Eva Magnusson, Görel Hedin:
  Circular Reference Attributed Grammars - Their Evaluation and Applications.
  
• Eric Van Wyk:
  Aspects as Modular Language Extensions.
  
• Mark van den Brand, Steven Klusener, Leon Moonen, Jurgen J. Vinju:
  Generalized Parsing and Term Rewriting: Semantics Driven Disambiguation.
  
• Claus Brabrand, Michael I. Schwartzbach, Mads Vanggaard:
  The metafront System: Extensible Parsing and Transformation.
  
• Gennaro Costagliola, Vincenzo Deufemia, Filomena Ferrucci, Carmine Gravino:
  Exploiting XPG for Visual Languages: Definition, Analysis and Development.
  
• Jean-Michel Hufflen:
  Mixing Two Bibliography Style Languages.
  
• Marisol Sánchez, Pedro J. Clemente, Juan Manuel Murillo, Juan Hernández Núñez:
  CoordMaude: Simplifying Formal Coordination Specifications of Cooperation Environment.
  

Volume 82, Number 4, 2003

• Andrzej Skowron, Marcin S. Szczuka:
  Preface.
  
• Zdzislaw Pawlak:
  Probability, Truth and Flow Graph.
  
• Mohua Banerjee, Mihir K. Chakraborty:
  Foundations of Vagueness : a Category-theoretic Approach.
  
• Jan G. Bazan, James F. Peters, Andrzej Skowron, Hung Son Nguyen, Marcin S. Szczuka:
  Rough Set Approach to Pattern Extraction from Classifiers.
  
• Malcolm J. Beynon:
  Introduction and Elucidation of the Quality of Sagacity in the Extended Variable Precision Rough Sets Model.
  
• Jerzy Blaszczynski, Roman Slowinski:
  Incremental Induction of Decision Rules from Dominance-based Rough Approximations.
  
• Zbigniew Bonikowski:
  Algebraic Structures of Rough Sets in Representative Approximation Spaces.
  
• Gianpiero Cattaneo, Davide Ciucci:
  An Algebraic Approach to Shadowed Sets.
  
• Agnieszka Dardzinska-Glebocka:
  Rule Discovery Based on New Attributes Construction.
  
• Krzysztof Dembczynski, Roman Pindur, Robert Susmaga:
  Dominance-based Rough Set Classifier without Induction of Decision Rules.
  
• Krzysztof Dembczynski, Roman Pindur, Robert Susmaga:
  Generation of Exhaustive Set of Rules within Dominance-based Rough Set Approach.
  
• Mazen El-Sayed, Daniel Pacholczyk:
  Towards a Symbolic Interpretation of Approximate Reasoning.
  
• Anna Gomolinska:
  Variable-Precision Compatibility Spaces.
  
• Jerzy W. Grzymala-Busse:
  A Comparison of Three Strategies to Rule Induction from Data with Numerical Attributes.
  
• Bozena Kostek:
  "Computing with words" Concept Applied to Musical Information Retrieval.
  
• Barbara Marszal-Paszek, Piotr Paszek:
  Evidence Theory and VPRS model.
  
• Alicja Mieszkowicz-Rolka, Leszek Rolka:
  Fuzziness in Information Systems.
  
• Mikhail Ju. Moshkov:
  Greedy Algorithm for Set Cover in Context of Knowledge Discovery Problems.
  
• Tetsuya Murai, Yoshiharu Sato, Germano Resconi, Michinori Nakata:
  Granular Reasoning Using Zooming In & Out: Aristotle's Categorical Syllogism.
  
• Hung Son Nguyen:
  On the Decision Table with Maximal Number of Reducts.
  
• Krzysztof Pancerz, Zbigniew Suraj:
  Modelling Concurrent Systems Specified by Dynamic Information Systems: A Rough Set Approach.
  
• Lech Polkowski, Boleslaw Araszkiewicz:
  A Rough Set Approach to Estimating the Game Value and the Shapley Value from Data.
  
• Jaroslaw Stepaniuk, Katarzyna Kierzkowska:
  Hybrid Classifier Based on Rough Sets and Neural Networks.
  
• Robert Susmaga:
  Reducts Versus Constructs: an Experimental Evaluation.
  
• Dominik Slezak, Jakub Wroblewski, Marcin S. Szczuka:
  Neural Network Architecture for Synthesis of the Probabilistic Rule Based Classifiers.
  
• Dominik Slezak, Wojciech Ziarko:
  Attribute Reduction in the Bayesian Version of Variable Precision Rough Set Model.
  
• Shusaku Tsumoto:
  Statistical Independence as Linear Independence.
  
• Shusaku Tsumoto:
  Rough Set Based Automatic Classification of Musical Instrument Sounds.
  
• Alicja Wieczorkowska, Andrzej Czyzewski:
  Rough Set Based Automatic Classification of Musical Instrument Sounds.
  
• Yidong Lan, Lin Zhang, Liancheng Liu:
  A Method for Extracting Rules from Incomplete Information System.
  

Volume 82, Number 5, 2003

• SC 2003: Workshop on Software Composition Affiliated with ETAPS 2003.
  
• Alexander Christoph:
  Design Aspects and GRS-based AOD.
  
• Youssef Hassoun, Constantinos A. Constantinides:
  The development of generic definitions of hyperslice packages in Hyper/J.
  
• Johann Oberleitner, Thomas Gschwind:
  Transforming Application Compositions with XSLTs.
  
• Uwe Aßmann:
  Automatic Roundtrip Engineering.
  
• Andrés Farías, Yann-Gaël Guéhéneuc:
  On the coherence of component protocols.
  
• Jens H. Jahnke, Luay Kawasme:
  Generation of Asynchronous Component Adapters.
  
• Jianxiong Pang, Lynne Blair:
  Separating Interaction Concerns from Distributed Feature Components.
  
• Welf Löwe, Jonas Lundberg:
  A Low-Level Analysis Library for Architecture Recovery.
  
• Jonas Lundberg, Welf Löwe:
  Architecture Recovery by Semi-Automatic Component Identification.
  
• Ursula Scheben, Arnd Poetzsch-Heffter:
  Concepts and Techniques simplifying the Assembly Process for Component Instances.
  
• Samira Sadaoui:
  Composition of Structured Process Specifications.
  
• Pieter Schollaert, Wim Vanderperren, Davy Suvée, Viviane Jonckers:
  Online reconfiguration of component-based applications in PacoSuite.
  
• Máire Casey, Claus Pahl:
  Web Components and the Semantic Web.
  
• Anh-Tuyet Le, Jorge Villalobos, Jacky Estublier:
  Multi-Level Composition for Software Federations.
  

Volume 82, Number 6, 2003

• Mauro Pezzè:
  Preface.
  
• Alexander Pretschner:
  Compositional Generation of MC/DC Integration Test Suites.
  
• Charalampos Z. Patrikakis, Thomas Kalamaris, Vaios Kakavas:
  Performing integrated system tests using Malicious Component Insertion.
  
• Hans-Gerhard Groß, Nikolas Mayer:
  Built-In Contract Testing in Component Integration Testing.
  
• Reiko Heckel, Marc Lohmann:
  Towards Model-Driven Testing.
  
• Antonia Bertolino, Eda Marchetti, Andrea Polini:
  Integration of "Components" to Test Software Components.
  
• Leonardo Mariani:
  A Fault Taxonomy for Component-Based Software.
  
• Alessandro Fantechi, Emilio Spinicci:
  Modelling and Validating a multiple-configuration railway signalling system using SDL.
  
• Bartosz Lawniczek, Grzegorz Majka, Pawel Slowikowski, Krzysztof Zielinski, Slawomir Zielinski:
  Grid Infrastructure Monitoring Service Framework Jiro/JMX Based Implementation.
  
• Giovanni Denaro, Leonardo Mariani, Mauro Pezzè:
  Self-Test Components for Highly Reconfigurable Systems.
  
• Henry Muccini, André van der Hoek:
  Towards Testing Product Line Architectures.
  
• Kiyohito Itoh, Hiromi Kobayashi:
  A Safety Mechanism Using Software Patterns.
  
• Luigi Lavazza, Sandro Morasca, Angelo Morzenti:
  A Dual Language Approach Extension to UML for the Development of Time-Critical Component-Based Systems.
  
• Giuseppe Lipari, Enrico Bini, Gerhard Fohler:
  A Framework for Composing Real-Time Schedulers.
  
• James Skene, Wolfgang Emmerich:
  Model Driven Performance Analysis of Enterprise Information Systems.
  
• Antonia Bertolino, Raffaela Mirandola:
  Modeling and Analysis of Non-functional Properties in Component-based Systems.
  
• Ismael Rodríguez, Fernando Rubio:
  A Framework for Selecting Components Automatically: A First Approach.
  
• Ana M. Roldán, Ernesto Pimentel, Antonio Brogi:
  Safe Composition of Linda-based Components.
  
• A. S. M. Sajeev, Bugi Wibowo:
  UML Modeling for Regression Testing of Component Based Systems.
  
• Andrea Baldini, Paolo Prinetto, Giovanni Denaro, Mauro Pezzè:
  Design for Testability for Highly Reconfigurable Component-Based Systems.
  

Volume 82, Number 7, 2003

• Roswitha Bardohl, Hartmut Ehrig:
  Preface UNIGRA'03 - Uniform Approaches to Graphical Process Specification Techniques.
  
• Hartmut Ehrig:
  Behaviour and Instantiation of High-Level Net Processes.
  
• Milan Urbásek:
  Modeling Petri Net Based Systems by Net Transformations: New Developments.
  
• Julia Padberg:
  Case Study: Modelling Telecom Services with Petri Net Modules.
  
• Jörg Desel, Gabriel Juhás, Robert Lorenz:
  Relating axiomatic and operational semantics of place/transition nets: From process terms to partial orders.
  
• Fernando Orejas, Hartmut Ehrig:
  Components for Algebra Transformation Systems.
  
• Sabine Kuske, Peter Knirsch:
  Modeling Agent Systems with Distributed Transformation Units.
  
• Niels Van Eetvelde, Dirk Janssens:
  A Hierarchical Program Representation for Refactoring.
  
• Mark Minas:
  XML-based Specification of Diagram Editors.
  
• Paolo Bottoni:
  Dynamic aspects of visual modelling languages.
  
• Gregor Engels, Jochen Malte Küster, Reiko Heckel, Marc Lohmann:
  Model-Based Verification and Validation of Properties.
  
• Stuart Kent, Robert Smith:
  The Bidirectional Mapping Problem.
  

Volume 82, Nmber 8, 2003

• Viviana Bono, Michele Bugliesi:
  First Workshop on Object Oriented Developments.
  
• Kim B. Bruce:
  Some challenging typing issues in object-oriented languages.
  
• Giuseppe Milicia, Vladimiro Sassone:
  Temporal constraints for concurrent object synchronisation.
  
• Lorenzo Bettini, Sara Capecchi, Betti Venneri:
  Extending Java to dynamic object behaviors.
  
• Christopher Anderson, Sophia Drossopoulou:
  BabyJ: from object based to class based programming via types.
  
• Gavin M. Bierman, Matthew J. Parkinson:
  Effects and effect inference for a core Java calculus.
  
• Christopher Anderson, Franco Barbanera, Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou:
  Can addresses be types? (A case study: objects with delegation).
  
• Ferruccio Damiani, Paola Giannini:
  Alias types for "environment-aware" computations.