Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID12th ICTAC 2015: Cali, Colombia
- Martin Leucker, Camilo Rueda
, Frank D. Valencia:
Theoretical Aspects of Computing - ICTAC 2015 - 12th International Colloquium Cali, Colombia, October 29-31, 2015, Proceedings. Lecture Notes in Computer Science 9399, Springer 2015, ISBN 978-3-319-25149-3
Invited Talks
- Jean-Raymond Abrial:
An Exercise in Mathematical Engineering: Stating and Proving Kuratowski Theorem. 3-27 - Konstantinos Chatzikokolakis, Catuscia Palamidessi, Marco Stronati:
Location Privacy via Geo-Indistinguishability. 28-38 - Volker Diekert, Anca Muscholl, Igor Walukiewicz:
A Note on Monitors and Büchi Automata. 39-57 - César A. Muñoz:
Formal Methods in Air Traffic Management: The Case of Unmanned Aircraft Systems (Invited Lecture). 58-62 - Davide Sangiorgi:
The Proof Technique of Unique Solutions of Contractions. 63-68 - Glynn Winskel:
On Probabilistic Distributed Strategies. 69-88
Algebra and Category Theory
- Henning Basold, Helle Hvid Hansen, Jean-Éric Pin, Jan Rutten:
Newton Series, Coinductively. 91-109 - James Chapman, Tarmo Uustalu, Niccolò Veltri:
Quotienting the Delay Monad by Weak Bisimilarity. 110-125 - David Janin:
Inverse Monoids of Higher-Dimensional Strings. 126-143 - Damiano Mazza, Luc Pellissier:
A Functorial Bridge Between the Infinitary Affine Lambda-Calculus and Linear Logic. 144-161
Automata and Formal Languages
- Fides Aarts, Paul Fiterau-Brostean, Harco Kuppens, Frits W. Vaandrager:
Learning Register Automata with Fresh Value Generation. 165-183 - Zinovy Diskin, Aliakbar Safilian, Tom Maibaum, Shoham Ben-David:
Modeling Product Lines with Kripke Structures and Modal Logic. 184-202 - Feifei Peng, Haiming Chen, Xiaoying Mou:
Deterministic Regular Expressions with Interleaving. 203-220
Concurrency
- Ioana Domnina Cristescu, Jean Krivine, Daniele Varacca:
Rigid Families for CCS and the π-calculus. 223-240 - Nils Erik Flick:
Quotients of Unbounded Parallelism. 241-257 - David S. Karcher, Uwe Nestmann:
Higher-Order Dynamics in Event Structures. 258-271 - Sophia Knight, Bastien Maubert, François Schwarzentruber:
Asynchronous Announcements in a Public Channel. 272-289 - Nesrine Ouled Abdallah, Mohamed Jmaiel, Mohamed Mosbah, Akka Zemmari:
A Totally Distributed Fair Scheduler for Population Protocols by Randomized Handshakes. 290-306
Constraints
- Deepak Mehta, Barry O'Sullivan, Luis Quesada:
Extending the Notion of Preferred Explanations for Quantified Constraint Satisfaction Problems. 309-327 - K. Subramani, Piotr Wojciechowski:
A Graphical Theorem of the Alternative for UTVPI Constraints. 328-345
Logic and Semantic
- Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare:
Converging from Branching to Linear Metrics on Markov Chains. 349-367 - Mateus de Oliveira Oliveira:
MSO Logic and the Partial Order Semantics of Place/Transition-Nets. 368-387 - Delia Kesner, Daniel Ventura:
A Resource Aware Computational Interpretation for Herbelin's Syntax. 388-403 - Heinrich Ody:
Undecidability Results for Multi-Lane Spatial Logic. 404-421
Software Architecture and Component-Based Design
- José Dihego, Augusto Sampaio:
Aspect-Oriented Development of Trustworthy Component-based Systems. 425-444 - Jiamou Liu, Ziheng Wei:
A Game of Attribute Decomposition for Software Architecture Design. 445-463 - Ke Sun:
Multi-rate System Design Through Integrating Synchronous Components. 464-482
Verification
- Gustavo Betarte, Juan Diego Campo, Carlos Daniel Luna, Agustín Romano:
Verifying Android's Permission Model. 485-504 - Ana Cavalcanti, Wen-ling Huang, Jan Peleska, Jim Woodcock:
CSP and Kripke Structures. 505-523 - Isabel Pita, Adrián Riesco:
Specifying and Analyzing the Kademlia Protocol in Maude. 524-541 - Matthieu Renard, Yliès Falcone, Antoine Rollet, Srinivas Pinisetty, Thierry Jéron, Hervé Marchand:
Enforcement of (Timed) Properties with Uncontrollable Events. 542-560
Tool Papers
- Arend Aerts, Mohammad Reza Mousavi, Michel A. Reniers:
A Tool Prototype for Model-Based Testing of Cyber-Physical Systems. 563-572 - Jesper Rank Andersen, Nicklas Andersen, Søren Enevoldsen, Mathias M. Hansen, Kim G. Larsen, Simon R. Olesen, Jirí Srba, Jacob K. Wortmann:
CAAL: Concurrency Workbench, Aalborg Edition. 573-582 - Alexis Toumi, Julian Gutierrez, Michael J. Wooldridge:
A Tool for the Automated Verification of Nash Equilibria in Concurrent Games. 583-594
Short Papers
- Julian Gutierrez:
A Mathematical Game Semantics of Concurrency and Nondeterminism. 597-607 - Amin Timany, Bart Jacobs:
First Steps Towards Cumulative Inductive Types in CIC. 608-617
a service of 
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-04-25 05:27 CEST 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:
