Contents of Fundamenta Informaticae Volume 85


Number 1-4,  2008


Contents of Volume 85, Number 1-4, 2008

Concurrency, specification and programming (CS&P)

Click on title for abstract


Concurrency Specification and Programming (CS&P) - Preface i - i

Algorithmic Logic + SpecVer = The Methodology for High Integrity Programming - Invited Paper
Grażyna Mirkowska, Andrzej Salwicki, Oskar Świda

A Multi-facet Approach to Dynamic Agent Systems
Marek A. Bednarczyk, Wiesław Pawłowski, Luca Bernardinello,  Lucia Pomello, Tomasz Borzyszkowski

Methods as Parameters: A Preprocessing Approach to Higher Order in Java
Marco Bellia,  M. Eugenia Occhiuto

A Logic for Reasoning about Persuasion
Katarzyna Budzyńska, Magdalena Kacprzak

Time Distribution in Structural Workflow Nets
Piotr Chrząstowski-Wachtel, Paweł Findeisen, Grzegorz Wolny

Boolean Algebra of Nets, their Synthesis and Analysis
Ludwik Czaja

Feature Selection Algorithm for Multiple Classifier Systems: A Hybrid Approach
Paweł Delimata, Zbigniew Suraj

Petri Net Controlled Finite Automata
Berndt Farwer, Matthias Jantzen, Manfred Kudlek,  Heiko Rölke,  Georg Zetzsche

Constraint Based World Modeling
Daniel Göhring, Heinrich Mellmann, Kataryna Gerasymova,  Hans-Dieter Burkhard

Satisfiability of Formulas from the Standpoint of Object Classification: The RST Approach
Anna Gomolińska

Case-based Planning of Treatment of Infants with Respiratory Failure
Grzegorz Góra, Jan G.Bazan, Piotr Kruczek,  Stanisława Bazan-Socha, Andrzej Skowron, Jacek J. Pietrzyk

Probabilistic Information Flow Security
Damas P. Gruska

Security in a Model for Long-running Transactions
Damas P. Gruska, Andrea Maggiolo-Schettini, Paolo Milazzo

Approximation Space and LEM2-like Algorithms for Computing Local Coverings
Jerzy W.Grzymała-Busse,  Wojciech Rząsa

Token History Petri Nets
Kees van Hee,  Alexander Serebrenik, Natalia Sidorova

Translation of Intermediate Language to Timed Automata with Discrete Data
Agata Janowska, Paweł Janowski, Dobiesław Wróblewski

Optimization in Discovery of Compound Granules
Andrzej Jankowski, James F.Peters, Andrzej Skowron,  Jarosław Stepaniuk

Language Classes Defined by Concurrent Finite Automata
Matthias Jantzen, Manfred Kudlek,  Georg Zetzsche

On Trace-Expressible Behaviour of Petri Nets
Joanna Jółkowska, Edward Ochmański

Memory-Based State-Estimation
Matthias Jüngel, Heinrich Mellmann

VerICS 2007 - a Model Checker for Knowledge and Real-Time
Magdalena Kacprzak, Wojciech Nabiałek, Artur Niewiadomski,  Wojciech Penczek,  Agata Półrola, Maciej Szreter,   Bożena Woźna,  Andrzej Zbrzezny

Linear Properties of Zero-Safe Nets with Debit Tokens
Michael Köhler-Bußmeier, Manfred Kudlek

A Deterministic Algorithm for Identifying Direct Superclasses in Java
Hans Langmaack, Andrzej Salwicki, Marek Warpechowski

LDYIS: a Framework for Model Checking Security Protocols
Alessio Lomuscio,  Wojciech Penczek

Specification and Verification of Invariants by Exploiting Layers in OO Designs
Ronald Middelkoop, Cornelis Huizing, Ruurd Kuiper,  Erik J. Luit

Projection Representation of Mazurkiewicz Traces
Łukasz Mikulski

Translation of Timed Promela to Timed Automata with Discrete Data
Wojciech Nabiałek,  Agata Janowska, Paweł Janowski

SAT-based Unbounded Model Checking of Timed Automata
Wojciech Penczek, Maciej Szreter

Some Aspects of Parsing Expression Grammar
Roman R. Redziejowski

Processes in Systems with Limited Resources in the Context of Non-extensive Thermodynamics
Dominik Strzałka, Franciszek Grabowski

Modelling and Simulation of Quantum Teleportation and Dense Coding Using Predicate/Transition-Nets
Kimmo Varpaaniemi,  Leo Ojala

An Algebraic Framework for Defining Random Concurrent Behaviours
Józef Winkowski

Distance Measures Induced by Finite Approximation Spaces and Approximation Operators
Marcin Wolski

Improving the Translation from ECTL to SAT
Andrzej Zbrzezny

Towards Verification of Java Programs in VerICS
Andrzej Zbrzezny,  Bożena Woźna

Greedy Algorithm for Attribute Reduction
Beata Zielosko,  Marcin Piliszczuk