Satellite Events for ETAPS 2003: Sixth European Joint Conference on Theory and Practice of Software

Volume 82, Number 1, 2003

CMCS'03: 6th International Workshop on Coalgebraic Methods in Computer Science
April 2003
CMCS'03 Home Page

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

Volume 82, Number 2, 2003

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

Volume 82, Number 3, 2003

LDTA 2003: Third Workshop on Language Descriptions, Tools and Applications
April 2003
LDTA 2003 Home Page

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

Volume 82, Number 4, 2003

RSKD 2003: International Workshop on Rough Sets in Knowledge Discovery and Soft Computing
April 2003
RSKD Home Page

• 
  Zdzislaw Pawlak: Probability, Truth and Flow Graph. 1-9
• 
  Mohua Banerjee, Mihir K. Chakraborty: Foundations of Vagueness : a Category-theoretic Approach. 10-19
• 
  Jan G. Bazan, James F. Peters, Andrzej Skowron, Hung Son Nguyen, Marcin S. Szczuka: Rough Set Approach to Pattern Extraction from Classifiers. 20-29
• 
  Malcolm J. Beynon: Introduction and Elucidation of the Quality of Sagacity in the Extended Variable Precision Rough Sets Model. 30-39
• 
  Jerzy Blaszczynski, Roman Slowinski: Incremental Induction of Decision Rules from Dominance-based Rough Approximations. 40-51
• 
  Zbigniew Bonikowski: Algebraic Structures of Rough Sets in Representative Approximation Spaces. 52-63
• 
  Gianpiero Cattaneo, Davide Ciucci: An Algebraic Approach to Shadowed Sets. 64-75
• 
  Agnieszka Dardzinska-Glebocka: Rule Discovery Based on New Attributes Construction. 76-83
• 
  Krzysztof Dembczynski, Roman Pindur, Robert Susmaga: Dominance-based Rough Set Classifier without Induction of Decision Rules. 84-95
• 
  Krzysztof Dembczynski, Roman Pindur, Robert Susmaga: Generation of Exhaustive Set of Rules within Dominance-based Rough Set Approach. 96-107
• 
  Mazen El-Sayed, Daniel Pacholczyk: Towards a Symbolic Interpretation of Approximate Reasoning. 108-119
• 
  Anna Gomolinska: Variable-Precision Compatibility Spaces. 120-131
• 
  Jerzy W. Grzymala-Busse: A Comparison of Three Strategies to Rule Induction from Data with Numerical Attributes. 132-140
• 
  Bozena Kostek: "Computing with words" Concept Applied to Musical Information Retrieval. 141-152
• 
  Barbara Marszal-Paszek, Piotr Paszek: Evidence Theory and VPRS model. 153-163
• 
  Alicja Mieszkowicz-Rolka, Leszek Rolka: Fuzziness in Information Systems. 164-173
• 
  Mikhail Ju. Moshkov: Greedy Algorithm for Set Cover in Context of Knowledge Discovery Problems. 174-185
• 
  Tetsuya Murai, Yoshiharu Sato, Germano Resconi, Michinori Nakata: Granular Reasoning Using Zooming In & Out: Aristotle's Categorical Syllogism. 186-197
• 
  Hung Son Nguyen: On the Decision Table with Maximal Number of Reducts. 198-205
• 
  Krzysztof Pancerz, Zbigniew Suraj: Modelling Concurrent Systems Specified by Dynamic Information Systems: A Rough Set Approach. 206-218
• 
  Lech Polkowski, Boleslaw Araszkiewicz: A Rough Set Approach to Estimating the Game Value and the Shapley Value from Data. 219-227
• 
  Jaroslaw Stepaniuk, Katarzyna Kierzkowska: Hybrid Classifier Based on Rough Sets and Neural Networks. 228-238
• 
  Robert Susmaga: Reducts Versus Constructs: an Experimental Evaluation. 239-250
• 
  Dominik Slezak, Jakub Wroblewski, Marcin S. Szczuka: Neural Network Architecture for Synthesis of the Probabilistic Rule Based Classifiers. 251-262
• 
  Dominik Slezak, Wojciech Ziarko: Attribute Reduction in the Bayesian Version of Variable Precision Rough Set Model. 263-273
• 
  Shusaku Tsumoto: Statistical Independence as Linear Independence. 274-285
• 
  Shusaku Tsumoto: Rule Induction with Grouping Target Concepts based on Rough Sets. 286-297
• 
  Alicja Wieczorkowska, Andrzej Czyzewski: Rough Set Based Automatic Classification of Musical Instrument Sounds. 298-309
• 
  Yidong Lan, Lin Zhang, Liancheng Liu: A Method for Extracting Rules from Incomplete Information System. 310-317
• 
  Andrzej Skowron, Marcin S. Szczuka: Preface. 318-319

Volume 82, Number 5, 2003

SC 2003: Workshop on Software Composition Affiliated with ETAPS 2003
April 2003
SC 2003 Home Page

• 
  Alexander Christoph: Design Aspects and GRS-based AOD: The GREAT transformation framework. 1-7
• 
  Youssef Hassoun, Constantinos A. Constantinides: The development of generic definitions of hyperslice packages in Hyper/J. 8-20
• 
  Johann Oberleitner, Thomas Gschwind: Transforming Application Compositions with XSLTs. 21-32
• 
  Uwe Aßmann: Automatic Roundtrip Engineering. 33-41
• 
  Andrés Farías, Yann-Gaël Guéhéneuc: On the coherence of component protocols. 42-53
• 
  Jens H. Jahnke, Luay Kawasme: Generation of Asynchronous Component Adapters. 54-69
• 
  Jianxiong Pang, Lynne Blair: Separating Interaction Concerns from Distributed Feature Components. 70-84
• 
  Welf Löwe, Jonas Lundberg: A Low-Level Analysis Library for Architecture Recovery. 85-97
• 
  Jonas Lundberg, Welf Löwe: Architecture Recovery by Semi-Automatic Component Identification. 98-114
• 
  Ursula Scheben, Arnd Poetzsch-Heffter: Concepts and Techniques simplifying the Assembly Process for Component Instances. 115-131
• 
  Samira Sadaoui: Composition of Structured Process Specifications. 132-143
• 
  Pieter Schollaert, Wim Vanderperren, Davy Suvée, Viviane Jonckers: Online reconfiguration of component-based applications in PacoSuite. 144-155
• 
  Máire Casey, Claus Pahl: Web Components and the Semantic Web. 156-163
• 
  Anh-Tuyet Le, Jorge Villalobos, Jacky Estublier: Multi-Level Composition for Software Federations. 164-173
• 
  Uwe Aßmann, Elke Pulvermüller, Isabelle Borne, Noury Bouraqadi, Pierre Cointe: Preface - SC 2003: Workshop on Software Composition Affiliated with ETAPS 2003. 174-175

Volume 82, Number 6, 2003

Proceedings of the International Workshop on Test and Analysis of Component-Based Systems (TACoS'03)
April 2003

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

Volume 82, Number 7, 2003

UNIGRA'03: Uniform Approaches to Graphical Process Specification Techniques
April 2003

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

Volume 82, Number 8, 2003

WOOD2003: Workshop on Object Oriented Developments
April 2003
WOOD2003 Home Page

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