default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID25th CS&P 2016: Rostock, Germany
- Bernd-Holger Schlingloff:
Proceedings of the 25th International Workshop on Concurrency, Specification and Programming, Rostock, Germany, September 28-30, 2016. CEUR Workshop Proceedings 1698, CEUR-WS.org 2016
Session W1: Plenary talk
- Roman R. Redziejowski:
Trying to Understand PEG. 1-12
Session W2a: Timed Systems
- Elisabeth Pelz:
Timed Processes of Interval-Timed Petri Nets. 13-24 - Niek Tax, Emin Alasgarov, Natalia Sidorova, Reinder Haakma:
On Generation of Time-based Label Refinements. 25-36 - Agnieszka Zbrzezny, Andrzej Zbrzezny:
Simple Bounded MTL Model Checking for Discrete Timed Automata (extended abstract). 37-48
Session W2b: Rough Sets
- Andrzej Jankowski, Andrzej Skowron, Piotr Wasilewski:
Rough Sets and Sorites Paradox. 49-60 - Lech Polkowski:
A Version of Rough Mereology Suitable for Rough Sets. 61-67 - Piotr Grochowalski, Krzysztof Pancerz, Tomasz Szul:
Rough Set Based Approximations of Classes in the OWL Ontology of Places in Poland (extended abstract). 68-73
Session W3a: Petri Nets
- Kamila Barylska, Lukasz Mikulski, Marcin Piatkowski, Maciej Koutny, Evgeny Erofeev:
Reversing Transitions in Bounded Petri Nets. 74-85 - Ismaila Jihad Abdullahi, Berndt Müller:
Towards Efficient Verification of Elementary Object Systems. 86-100
Session W3b: Ontology & Information Systems
- Natalia Olegovna Garanina, Elena A. Sidorova:
Context-dependent Lexical and Syntactic Disambiguation in Ontology Population. 101-112 - Marcin Wolski, Anna Gomolinska:
Semantic Rendering of Data Tables - Multivalued Information Systems Revisited. 113-124
Session T1a: Hybrid Systems
- Jafar Akhundov, Peter Tröger, Matthias Werner:
Considering Superposition in the Composable Hybrid Automata. 125-140 - Ruggero Lanotte, Simone Tini:
Extending Taylor Approximation to Hybrid Systems with Integrals. 141-152
Session T1b: Applications
- Mikulás Pataky, Damas P. Gruska:
Analysing of M-AHIDS with Future States on DARPA and KDD99 Benchmarks. 153-164
Session T2a: Planning
- Maciej Szreter:
A Graph-based Reduction in Planics Abstract Planning, Based on Partial Orders of Services (extended abstract). 165-170 - Artur Niewiadomski, Wojciech Penczek:
TripICS - a Web Service Composition System for Planning Trips and Travels (extended abstract). 171-179
Session T2b: Data Analysis
- Krzysztof Rykaczewski, Piotr Wisniewski, Krzysztof Stencel:
An Algorithmic Way to Generate Simplexes for Topological Data Analysis. 180-188
Session F1a: Probabilistic Verification
- Artur Rataj, Bozena Wozna-Szczesniak:
Extrapolation of an Optimal Policy using Statistical Probabilistic Model Checking. 189-198 - Marcin Copik, Artur Rataj, Bozena Wozna-Szczesniak:
A GPGPU-based Simulator for Prism: Statistical Verification of Results of PMC (extended abstract). 199-208
Session F1b: Opacity & Synthesis
- Damas P. Gruska:
Process Environment Opacity. 209-220 - Stanislaw Placzek:
Coordinator Synthesis for Hierarchical Structure of Artificial Neural Network. 221-232
Session F2a: Classical Methods Improved
- Darya Kozlova, Vladimir Zakharov:
On the Model Checking of Sequential Reactive Systems. 233-244 - Linh Anh Nguyen:
Computing Bisimulation-Based Comparisons. 245-256
Session F2b: New Domains Conquered
- Magdalena Kacprzak, Anna Sawicka, Andrzej Zbrzezny:
Towards Model Checking Argumentative Dialogues with Emotional Reasoning (extended abstract). 257-268 - Piotr Chrzastowski-Wachtel:
Shapes of Concurrency. 269-273
Session F3: Closing Session
- Ludwik Czaja:
A Protocol of Mutual Exclusion for DSM Based on Vectors of Global Timestamps. 274-285
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-07 20:41 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
