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
- H. Peter Gumm:
Preface.
Electronic Edition (link) BibTeX
- Jirí Adámek:
On a Description of Terminal Coalgebras and Iterative Theories.
Electronic Edition (link) BibTeX
- Alexandru Baltag:
A Coalgebraic Semantics for Epistemic Programs.
Electronic Edition (link) BibTeX
- Luís Soares Barbosa, José Nuno Oliveira:
State-based Components Made Generic.
Electronic Edition (link) BibTeX
- Falk Bartels, Ana Sokolova, Erik P. de Vink:
A hierarchy of probabilistic system types.
Electronic Edition (link) BibTeX
- Daniela Cancila, Furio Honsell, Marina Lenisa:
Generalized Coiteration Schemata.
Electronic Edition (link) BibTeX
- Hubie Chen, Riccardo Pucella:
A Coalgebraic Approach to Kleene Algebra with Tests.
Electronic Edition (link) BibTeX
- Corina Cîrstea:
On Expressivity and Compositionality in Logics for Coalgebras.
Electronic Edition (link) BibTeX
- Bart Jacobs, Jesse Hughes:
Simulations in Coalgebra.
Electronic Edition (link) BibTeX
- Jan Komenda:
Coinduction in Control of Partially Observed Discrete-Event Systems.
Electronic Edition (link) BibTeX
- Clemens Kupke, Alexander Kurz, Yde Venema:
Stone Coalgebras.
Electronic Edition (link) BibTeX
- Ralph Matthes, Tarmo Uustalu:
Substitution in Non-wellfounded Syntax with Variable Binding.
Electronic Edition (link) BibTeX
- Till Mossakowski, Markus Roggenbach, Lutz Schröder:
CoCASL at Work -- Modelling Process Algebra.
Electronic Edition (link) BibTeX
- Alessandra Palmigiano:
Coalgebraic Semantics for Positive Modal Logic.
Electronic Edition (link) BibTeX
- Dirk Pattinson:
Computable Functions on Final Coalgebras.
Electronic Edition (link) BibTeX
- John Power:
Towards a theory of mathematical operational semantics.
Electronic Edition (link) BibTeX
- Vaughan R. Pratt:
Comonoids in chu: a large cartesian closed sibling of topological spaces.
Electronic Edition (link) BibTeX
- Grigore Rosu:
Inductive Behavioral Proofs by Unhiding.
Electronic Edition (link) BibTeX
- Jan Rothe, Dragan Masulovic:
Modal Logics for Observation Equivalences.
Electronic Edition (link) BibTeX
- Luigi Santocanale:
Logical Construction of Final Coalgebras.
Electronic Edition (link) BibTeX
Volume 82,
Number 2,
2003
- Ernst-Rüdiger Olderog:
Translation and Optimization in the Verification of Real-Time Systems.
Electronic Edition (link) BibTeX
- Henning Dierks:
Moby/RT: A Tool for Specification and Verification of Real-Time Systems.
Electronic Edition (link) BibTeX
- Manuel M. T. Chakravarty, Gabriele Keller, Patryk Zadarnowski:
A Functional Perspective on SSA Optimisation Algorithms.
Electronic Edition (link) BibTeX
- Andreas Hartmann, Wolfram Amme, Jeffery von Ronne, Michael Franz:
Code Annotation for Safe and Efficient Dynamic Object Resolution.
Electronic Edition (link) BibTeX
- Stefan Berghofer, Martin Strecker:
Extracting a formally verified, fully executable compiler from a proof assistant.
Electronic Edition (link) BibTeX
- Christophe Alias, Denis Barthou:
On the Recognition of Algorithm Templates.
Electronic Edition (link) BibTeX
- Sabine Glesner, Jan Olaf Blech:
Classifying and Formally Verifying Integer Constant Folding.
Electronic Edition (link) BibTeX
- Thomas Genet, Thomas P. Jensen, Vikash Kodati, David Pichardie:
A Java Card CAP converter in PVS.
Electronic Edition (link) BibTeX
- Gerolf Hoflehner, Daniel M. Lavery, David C. Sehr:
The compiler as a validation and evaluation tool.
Electronic Edition (link) BibTeX
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.
Electronic Edition (link) BibTeX
- Jan Kort, Ralf Lämmel:
A Framework for Datatype Transformation.
Electronic Edition (link) BibTeX
- Tom Mens, Serge Demeyer, Bart Du Bois, Hans Stenten, Pieter Van Gorp:
Refactoring: Current Research and Future Trends.
Electronic Edition (link) BibTeX
- Alexey Kalinov, Alexander Kossatchev, Alexandre Petrenko, Mikhail Posypkin, Vladimir Shishkov:
Coverage-driven Automated Compiler Test Suite Generation.
Electronic Edition (link) BibTeX
- Kent Lee:
A Formally Verified Register Allocation Framework.
Electronic Edition (link) BibTeX
- Eva Magnusson, Görel Hedin:
Circular Reference Attributed Grammars - Their Evaluation and Applications.
Electronic Edition (link) BibTeX
- Eric Van Wyk:
Aspects as Modular Language Extensions.
Electronic Edition (link) BibTeX
- Mark van den Brand, Steven Klusener, Leon Moonen, Jurgen J. Vinju:
Generalized Parsing and Term Rewriting: Semantics Driven Disambiguation.
Electronic Edition (link) BibTeX
- Claus Brabrand, Michael I. Schwartzbach, Mads Vanggaard:
The metafront System: Extensible Parsing and Transformation.
Electronic Edition (link) BibTeX
- Gennaro Costagliola, Vincenzo Deufemia, Filomena Ferrucci, Carmine Gravino:
Exploiting XPG for Visual Languages: Definition, Analysis and Development.
Electronic Edition (link) BibTeX
- Jean-Michel Hufflen:
Mixing Two Bibliography Style Languages.
Electronic Edition (link) BibTeX
- Marisol Sánchez, Pedro J. Clemente, Juan Manuel Murillo, Juan Hernández Núñez:
CoordMaude: Simplifying Formal Coordination Specifications of Cooperation Environment.
Electronic Edition (link) BibTeX
Volume 82,
Number 4,
2003
RSKD 2003:
International Workshop on Rough Sets in Knowledge Discovery and Soft Computing
April 2003
RSKD Home Page
- Andrzej Skowron, Marcin S. Szczuka:
Preface.
Electronic Edition (link) BibTeX
- Zdzislaw Pawlak:
Probability, Truth and Flow Graph.
Electronic Edition (link) BibTeX
- Mohua Banerjee, Mihir K. Chakraborty:
Foundations of Vagueness : a Category-theoretic Approach.
Electronic Edition (link) BibTeX
- Jan G. Bazan, James F. Peters, Andrzej Skowron, Hung Son Nguyen, Marcin S. Szczuka:
Rough Set Approach to Pattern Extraction from Classifiers.
Electronic Edition (link) BibTeX
- Malcolm J. Beynon:
Introduction and Elucidation of the Quality of Sagacity in the Extended Variable Precision Rough Sets Model.
Electronic Edition (link) BibTeX
- Jerzy Blaszczynski, Roman Slowinski:
Incremental Induction of Decision Rules from Dominance-based Rough Approximations.
Electronic Edition (link) BibTeX
- Zbigniew Bonikowski:
Algebraic Structures of Rough Sets in Representative Approximation Spaces.
Electronic Edition (link) BibTeX
- Gianpiero Cattaneo, Davide Ciucci:
An Algebraic Approach to Shadowed Sets.
Electronic Edition (link) BibTeX
- Agnieszka Dardzinska-Glebocka:
Rule Discovery Based on New Attributes Construction.
Electronic Edition (link) BibTeX
- Krzysztof Dembczynski, Roman Pindur, Robert Susmaga:
Dominance-based Rough Set Classifier without Induction of Decision Rules.
Electronic Edition (link) BibTeX
- Krzysztof Dembczynski, Roman Pindur, Robert Susmaga:
Generation of Exhaustive Set of Rules within Dominance-based Rough Set Approach.
Electronic Edition (link) BibTeX
- Mazen El-Sayed, Daniel Pacholczyk:
Towards a Symbolic Interpretation of Approximate Reasoning.
Electronic Edition (link) BibTeX
- Anna Gomolinska:
Variable-Precision Compatibility Spaces.
Electronic Edition (link) BibTeX
- Jerzy W. Grzymala-Busse:
A Comparison of Three Strategies to Rule Induction from Data with Numerical Attributes.
Electronic Edition (link) BibTeX
- Bozena Kostek:
"Computing with words" Concept Applied to Musical Information Retrieval.
Electronic Edition (link) BibTeX
- Barbara Marszal-Paszek, Piotr Paszek:
Evidence Theory and VPRS model.
Electronic Edition (link) BibTeX
- Alicja Mieszkowicz-Rolka, Leszek Rolka:
Fuzziness in Information Systems.
Electronic Edition (link) BibTeX
- Mikhail Ju. Moshkov:
Greedy Algorithm for Set Cover in Context of Knowledge Discovery Problems.
Electronic Edition (link) BibTeX
- Tetsuya Murai, Yoshiharu Sato, Germano Resconi, Michinori Nakata:
Granular Reasoning Using Zooming In & Out: Aristotle's Categorical Syllogism.
Electronic Edition (link) BibTeX
- Hung Son Nguyen:
On the Decision Table with Maximal Number of Reducts.
Electronic Edition (link) BibTeX
- Krzysztof Pancerz, Zbigniew Suraj:
Modelling Concurrent Systems Specified by Dynamic Information Systems: A Rough Set Approach.
Electronic Edition (link) BibTeX
- Lech Polkowski, Boleslaw Araszkiewicz:
A Rough Set Approach to Estimating the Game Value and the Shapley Value from Data.
Electronic Edition (link) BibTeX
- Jaroslaw Stepaniuk, Katarzyna Kierzkowska:
Hybrid Classifier Based on Rough Sets and Neural Networks.
Electronic Edition (link) BibTeX
- Robert Susmaga:
Reducts Versus Constructs: an Experimental Evaluation.
Electronic Edition (link) BibTeX
- Dominik Slezak, Jakub Wroblewski, Marcin S. Szczuka:
Neural Network Architecture for Synthesis of the Probabilistic Rule Based Classifiers.
Electronic Edition (link) BibTeX
- Dominik Slezak, Wojciech Ziarko:
Attribute Reduction in the Bayesian Version of Variable Precision Rough Set Model.
Electronic Edition (link) BibTeX
- Shusaku Tsumoto:
Statistical Independence as Linear Independence.
Electronic Edition (link) BibTeX
- Shusaku Tsumoto:
Rough Set Based Automatic Classification of Musical Instrument Sounds.
Electronic Edition (link) BibTeX
- Alicja Wieczorkowska, Andrzej Czyzewski:
Rough Set Based Automatic Classification of Musical Instrument Sounds.
Electronic Edition (link) BibTeX
- Yidong Lan, Lin Zhang, Liancheng Liu:
A Method for Extracting Rules from Incomplete Information System.
Electronic Edition (link) BibTeX
Volume 82,
Number 5,
2003
SC 2003:
Workshop on Software Composition Affiliated with ETAPS 2003
April 2003
SC 2003 Home Page
- SC 2003: Workshop on Software Composition Affiliated with ETAPS 2003.
Electronic Edition (link) BibTeX
- Alexander Christoph:
Design Aspects and GRS-based AOD.
Electronic Edition (link) BibTeX
- Youssef Hassoun, Constantinos A. Constantinides:
The development of generic definitions of hyperslice packages in Hyper/J.
Electronic Edition (link) BibTeX
- Johann Oberleitner, Thomas Gschwind:
Transforming Application Compositions with XSLTs.
Electronic Edition (link) BibTeX
- Uwe Aßmann:
Automatic Roundtrip Engineering.
Electronic Edition (link) BibTeX
- Andrés Farías, Yann-Gaël Guéhéneuc:
On the coherence of component protocols.
Electronic Edition (link) BibTeX
- Jens H. Jahnke, Luay Kawasme:
Generation of Asynchronous Component Adapters.
Electronic Edition (link) BibTeX
- Jianxiong Pang, Lynne Blair:
Separating Interaction Concerns from Distributed Feature Components.
Electronic Edition (link) BibTeX
- Welf Löwe, Jonas Lundberg:
A Low-Level Analysis Library for Architecture Recovery.
Electronic Edition (link) BibTeX
- Jonas Lundberg, Welf Löwe:
Architecture Recovery by Semi-Automatic Component Identification.
Electronic Edition (link) BibTeX
- Ursula Scheben, Arnd Poetzsch-Heffter:
Concepts and Techniques simplifying the Assembly Process for Component Instances.
Electronic Edition (link) BibTeX
- Samira Sadaoui:
Composition of Structured Process Specifications.
Electronic Edition (link) BibTeX
- Pieter Schollaert, Wim Vanderperren, Davy Suvée, Viviane Jonckers:
Online reconfiguration of component-based applications in PacoSuite.
Electronic Edition (link) BibTeX
- Máire Casey, Claus Pahl:
Web Components and the Semantic Web.
Electronic Edition (link) BibTeX
- Anh-Tuyet Le, Jorge Villalobos, Jacky Estublier:
Multi-Level Composition for Software Federations.
Electronic Edition (link) BibTeX
Volume 82,
Number 6,
2003
Proceedings of the International Workshop on Test and Analysis of Component-Based Systems (TACoS'03)
April 2003
- Mauro Pezzè:
Preface.
Electronic Edition (link) BibTeX
- Alexander Pretschner:
Compositional Generation of MC/DC Integration Test Suites.
Electronic Edition (link) BibTeX
- Charalampos Z. Patrikakis, Thomas Kalamaris, Vaios Kakavas:
Performing integrated system tests using Malicious Component Insertion.
Electronic Edition (link) BibTeX
- Hans-Gerhard Groß, Nikolas Mayer:
Built-In Contract Testing in Component Integration Testing.
Electronic Edition (link) BibTeX
- Reiko Heckel, Marc Lohmann:
Towards Model-Driven Testing.
Electronic Edition (link) BibTeX
- Antonia Bertolino, Eda Marchetti, Andrea Polini:
Integration of "Components" to Test Software Components.
Electronic Edition (link) BibTeX
- Leonardo Mariani:
A Fault Taxonomy for Component-Based Software.
Electronic Edition (link) BibTeX
- Alessandro Fantechi, Emilio Spinicci:
Modelling and Validating a multiple-configuration railway signalling system using SDL.
Electronic Edition (link) BibTeX
- Bartosz Lawniczek, Grzegorz Majka, Pawel Slowikowski, Krzysztof Zielinski, Slawomir Zielinski:
Grid Infrastructure Monitoring Service Framework Jiro/JMX Based Implementation.
Electronic Edition (link) BibTeX
- Giovanni Denaro, Leonardo Mariani, Mauro Pezzè:
Self-Test Components for Highly Reconfigurable Systems.
Electronic Edition (link) BibTeX
- Henry Muccini, André van der Hoek:
Towards Testing Product Line Architectures.
Electronic Edition (link) BibTeX
- Kiyohito Itoh, Hiromi Kobayashi:
A Safety Mechanism Using Software Patterns.
Electronic Edition (link) BibTeX
- Luigi Lavazza, Sandro Morasca, Angelo Morzenti:
A Dual Language Approach Extension to UML for the Development of Time-Critical Component-Based Systems.
Electronic Edition (link) BibTeX
- Giuseppe Lipari, Enrico Bini, Gerhard Fohler:
A Framework for Composing Real-Time Schedulers.
Electronic Edition (link) BibTeX
- James Skene, Wolfgang Emmerich:
Model Driven Performance Analysis of Enterprise Information Systems.
Electronic Edition (link) BibTeX
- Antonia Bertolino, Raffaela Mirandola:
Modeling and Analysis of Non-functional Properties in Component-based Systems.
Electronic Edition (link) BibTeX
- Ismael Rodríguez, Fernando Rubio:
A Framework for Selecting Components Automatically: A First Approach.
Electronic Edition (link) BibTeX
- Ana M. Roldán, Ernesto Pimentel, Antonio Brogi:
Safe Composition of Linda-based Components.
Electronic Edition (link) BibTeX
- A. S. M. Sajeev, Bugi Wibowo:
UML Modeling for Regression Testing of Component Based Systems.
Electronic Edition (link) BibTeX
- Andrea Baldini, Paolo Prinetto, Giovanni Denaro, Mauro Pezzè:
Design for Testability for Highly Reconfigurable Component-Based Systems.
Electronic Edition (link) BibTeX
Volume 82,
Number 7,
2003
UNIGRA'03:
Uniform Approaches to Graphical Process Specification Techniques
April 2003
- Roswitha Bardohl, Hartmut Ehrig:
Preface UNIGRA'03 - Uniform Approaches to Graphical Process Specification Techniques.
Electronic Edition (link) BibTeX
- Hartmut Ehrig:
Behaviour and Instantiation of High-Level Net Processes.
Electronic Edition (link) BibTeX
- Milan Urbásek:
Modeling Petri Net Based Systems by Net Transformations: New Developments.
Electronic Edition (link) BibTeX
- Julia Padberg:
Case Study: Modelling Telecom Services with Petri Net Modules.
Electronic Edition (link) BibTeX
- Jörg Desel, Gabriel Juhás, Robert Lorenz:
Relating axiomatic and operational semantics of place/transition nets: From process terms to partial orders.
Electronic Edition (link) BibTeX
- Fernando Orejas, Hartmut Ehrig:
Components for Algebra Transformation Systems.
Electronic Edition (link) BibTeX
- Sabine Kuske, Peter Knirsch:
Modeling Agent Systems with Distributed Transformation Units.
Electronic Edition (link) BibTeX
- Niels Van Eetvelde, Dirk Janssens:
A Hierarchical Program Representation for Refactoring.
Electronic Edition (link) BibTeX
- Mark Minas:
XML-based Specification of Diagram Editors.
Electronic Edition (link) BibTeX
- Paolo Bottoni:
Dynamic aspects of visual modelling languages.
Electronic Edition (link) BibTeX
- Gregor Engels, Jochen Malte Küster, Reiko Heckel, Marc Lohmann:
Model-Based Verification and Validation of Properties.
Electronic Edition (link) BibTeX
- Stuart Kent, Robert Smith:
The Bidirectional Mapping Problem.
Electronic Edition (link) BibTeX
Volume 82,
Nmber 8,
2003
WOOD2003:
Workshop on Object Oriented Developments
April 2003
WOOD2003 Home Page
- Viviana Bono, Michele Bugliesi:
First Workshop on Object Oriented Developments.
Electronic Edition (link) BibTeX
- Kim B. Bruce:
Some challenging typing issues in object-oriented languages.
Electronic Edition (link) BibTeX
- Giuseppe Milicia, Vladimiro Sassone:
Temporal constraints for concurrent object synchronisation.
Electronic Edition (link) BibTeX
- Lorenzo Bettini, Sara Capecchi, Betti Venneri:
Extending Java to dynamic object behaviors.
Electronic Edition (link) BibTeX
- Christopher Anderson, Sophia Drossopoulou:
BabyJ: from object based to class based programming via types.
Electronic Edition (link) BibTeX
- Gavin M. Bierman, Matthew J. Parkinson:
Effects and effect inference for a core Java calculus.
Electronic Edition (link) BibTeX
- Christopher Anderson, Franco Barbanera, Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou:
Can addresses be types? (A case study: objects with delegation).
Electronic Edition (link) BibTeX
- Ferruccio Damiani, Paola Giannini:
Alias types for "environment-aware" computations.
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:58:17 2009
by Michael Ley (ley@uni-trier.de)