Electronic Notes in Theoretical Computer Science, Volume 82

Volume 82, Number 1, 2003

• 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

• 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

• 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
  
• Alicja Wieczorkowska, Andrzej Czyzewski:
  Rough Set Based Automatic Classification of Musical Instrument Sounds. 298-309
  
• 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

• 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

• 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

• 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

• 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
  

Last update Fri May 17 20:02:50 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page