Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | César A. Muñoz |
Formal Methods in Air Traffic Management: The Case of Unmanned Aircraft Systems (Invited Lecture). |
ICTAC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Feifei Peng, Haiming Chen, Xiaoying Mou |
Deterministic Regular Expressions with Interleaving. |
ICTAC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Gustavo Betarte, Juan Diego Campo, Carlos Daniel Luna, Agustín Romano |
Verifying Android's Permission Model. |
ICTAC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Zinovy Diskin, Aliakbar Safilian, Tom Maibaum, Shoham Ben-David |
Modeling Product Lines with Kripke Structures and Modal Logic. |
ICTAC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | James Chapman 0001, Tarmo Uustalu, Niccolò Veltri |
Quotienting the Delay Monad by Weak Bisimilarity. |
ICTAC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Alexis Toumi, Julian Gutierrez 0001, Michael J. Wooldridge |
A Tool for the Automated Verification of Nash Equilibria in Concurrent Games. |
ICTAC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | K. Subramani 0001, Piotr Wojciechowski 0002 |
A Graphical Theorem of the Alternative for UTVPI Constraints. |
ICTAC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Damiano Mazza, Luc Pellissier |
A Functorial Bridge Between the Infinitary Affine Lambda-Calculus and Linear Logic. |
ICTAC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Heinrich Ody |
Undecidability Results for Multi-Lane Spatial Logic. |
ICTAC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | José Dihego, Augusto Sampaio |
Aspect-Oriented Development of Trustworthy Component-based Systems. |
ICTAC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Volker Diekert, Anca Muscholl, Igor Walukiewicz |
A Note on Monitors and Büchi Automata. |
ICTAC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Konstantinos Chatzikokolakis 0001, Catuscia Palamidessi, Marco Stronati |
Location Privacy via Geo-Indistinguishability. |
ICTAC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | 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. |
ICTAC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Raymond Abrial |
An Exercise in Mathematical Engineering: Stating and Proving Kuratowski Theorem. |
ICTAC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Mateus de Oliveira Oliveira |
MSO Logic and the Partial Order Semantics of Place/Transition-Nets. |
ICTAC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Martin Leucker, Camilo Rueda, Frank D. Valencia (eds.) |
Theoretical Aspects of Computing - ICTAC 2015 - 12th International Colloquium Cali, Colombia, October 29-31, 2015, Proceedings |
ICTAC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ioana Domnina Cristescu, Jean Krivine, Daniele Varacca |
Rigid Families for CCS and the π-calculus. |
ICTAC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ke Sun |
Multi-rate System Design Through Integrating Synchronous Components. |
ICTAC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Fides Aarts, Paul Fiterau-Brostean, Harco Kuppens, Frits W. Vaandrager |
Learning Register Automata with Fresh Value Generation. |
ICTAC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Nesrine Ouled Abdallah, Mohamed Jmaiel, Mohamed Mosbah 0001, Akka Zemmari |
A Totally Distributed Fair Scheduler for Population Protocols by Randomized Handshakes. |
ICTAC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Nils Erik Flick |
Quotients of Unbounded Parallelism. |
ICTAC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Arend Aerts, Mohammad Reza Mousavi 0001, Michel A. Reniers |
A Tool Prototype for Model-Based Testing of Cyber-Physical Systems. |
ICTAC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Delia Kesner, Daniel Ventura |
A Resource Aware Computational Interpretation for Herbelin's Syntax. |
ICTAC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Julian Gutierrez 0001 |
A Mathematical Game Semantics of Concurrency and Nondeterminism. |
ICTAC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Giorgio Bacci, Giovanni Bacci 0001, Kim G. Larsen, Radu Mardare |
Converging from Branching to Linear Metrics on Markov Chains. |
ICTAC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Matthieu Renard, Yliès Falcone, Antoine Rollet, Srinivas Pinisetty, Thierry Jéron, Hervé Marchand |
Enforcement of (Timed) Properties with Uncontrollable Events. |
ICTAC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Deepak Mehta 0001, Barry O'Sullivan, Luis Quesada 0001 |
Extending the Notion of Preferred Explanations for Quantified Constraint Satisfaction Problems. |
ICTAC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Isabel Pita, Adrián Riesco 0001 |
Specifying and Analyzing the Kademlia Protocol in Maude. |
ICTAC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jiamou Liu, Ziheng Wei |
A Game of Attribute Decomposition for Software Architecture Design. |
ICTAC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | David Janin |
Inverse Monoids of Higher-Dimensional Strings. |
ICTAC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Stefano Aguzzoli, Denisa Diaconescu, Tommaso Flaminio |
A Logical Descriptor for Regular Languages via Stone Duality. |
ICTAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Chiara Bodei, Pierpaolo Degano, Letterio Galletta, Francesco Salvatori |
Linguistic Mechanisms for Context-Aware Security. |
ICTAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Hernán Ponce de León, Stefan Haar, Delphine Longuet |
Distributed Testing of Concurrent Systems: Vector Clocks to the Rescue. |
ICTAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Denisa Diaconescu, Luigia Petre, Kaisa Sere, Gheorghe Stefanescu |
Refinement of Structured Interactive Systems. |
ICTAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Benoît Valiron, Steve Zdancewic |
Finite Vector Spaces as Model of Simply-Typed Lambda-Calculi. |
ICTAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Adilson Luiz Bonifácio, Arnaldo Vieira Moura |
Partial Models and Weak Equivalence. |
ICTAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Geffken, Hannes Saffrich, Peter Thiemann 0001 |
Precise Interprocedural Side-Effect Analysis. |
ICTAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Kim Guldstrand Larsen, Radu Mardare, Bingtian Xue |
A Decidable Recursive Logic for Weighted Transition Systems. |
ICTAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Didier Caucal, Marion Le Gonidec |
Context-Free Sequences. |
ICTAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Paul Tarau |
The Arithmetic of Recursively Run-Length Compressed Natural Numbers. |
ICTAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Uli Fahrenberg, Axel Legay, Louis-Marie Traonouez |
Structural Refinement for the Modal nu-Calculus. |
ICTAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Brijesh Dongol, John Derrick, Graeme Smith 0001 |
Reasoning Algebraically About Refinement on TSO Architectures. |
ICTAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Luis Fernando Pino, Filippo Bonchi, Frank D. Valencia |
A Behavioral Congruence for Concurrent Constraint Programming with Nondeterministic Choice. |
ICTAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Razvan Diaconescu |
From Universal Logic to Computer Science, and Back. |
ICTAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Pedro Ribeiro 0002, Ana Cavalcanti 0001 |
UTP Designs for Binary Multirelations. |
ICTAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jin Song Dong, Jun Sun 0001, Yang Liu 0003, Yuan-Fang Li |
Event Analytics. |
ICTAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Liyi Li 0002, Elsa L. Gunter, William Mansky |
Symbolic Analysis Tools for CSP. |
ICTAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Given-Wilson |
Expressiveness via Intensionality and Concurrency. |
ICTAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Ciobanu, Dominique Méry (eds.) |
Theoretical Aspects of Computing - ICTAC 2014 - 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings |
ICTAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Niels Bjørn Bugge Grathwohl, Fritz Henglein, Ulrik Terp Rasmussen |
Optimally Streaming Greedy Regular Expression Parsing. |
ICTAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Peter Bezdek, Nikola Benes, Vojtech Havel, Jiri Barnat, Ivana Cerná |
On Clock-Aware LTL Properties of Timed Automata. |
ICTAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Mauricio Toro, Anna Philippou, Christina Kassara, Spyros Sfenthourakis |
Synchronous Parallel Composition in a Process Calculus for Ecological Models. |
ICTAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ugo Dal Lago, Sara Zuppiroli |
Probabilistic Recursion Theory and Implicit Computational Complexity. |
ICTAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Mircea Marin, Gabriel Istrate |
Learning Cover Context-Free Grammars from Structural Data. |
ICTAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Khushraj Madnani, Shankara Narayanan Krishna, Paritosh K. Pandya |
On Unary Fragments of MTL and TPTL over Timed Words. |
ICTAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Benoît Delahaye, José Luiz Fiadeiro, Axel Legay, Antónia Lopes |
Heterogeneous Timed Machines. |
ICTAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Gustavo López Pombo, Pablo F. Castro, Nazareno Aguirre, T. S. E. Maibaum |
A Heterogeneous Characterisation of Component-Based System Design in a Categorical Setting. |
ICTAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jinjiang Lei, Zongyan Qiu |
Modular Reasoning for Message-Passing Programs. |
ICTAC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Ciobanu, Armand Stefan Rotaru |
A Probabilistic Logic for pTiMo. |
ICTAC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Bogdan Aman, Gabriel Ciobanu |
Mobile Membranes: Computability and Complexity. |
ICTAC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Richard Banach, Michael J. Butler |
Cruise Control in Hybrid Event-B. |
ICTAC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Wen-Ju Cheng, Jim Cox, Stathis Zachos |
Random Walks on Some Basic Classes of Digraphs. |
ICTAC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jifeng He 0001 |
A Clock-Based Framework for Construction of Hybrid Systems. |
ICTAC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Xinghua Yao, Min Zhang 0007, Yixiang Chen |
A Proof System in PADS. |
ICTAC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Marta Z. Kwiatkowska |
Advances in Quantitative Verification for Ubiquitous Computing. |
ICTAC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Paritosh K. Pandya, Simoni S. Shah |
Deterministic Logics for UL. |
ICTAC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Riccardo Bresciani, Andrew Butterfield |
From Distributions to Probabilistic Reactive Programs. |
ICTAC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Kun Wei |
Reactive Designs of Interrupts in Circus Time. |
ICTAC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jianhua Zhao, Xuandong Li |
Scope Logic: An Extension to Hoare Logic for Pointers and Recursive Data Structures. |
ICTAC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Steffen Ziegert, Christian Heinzemann |
Durative Graph Transformation Rules for Modelling Real-Time Reconfiguration. |
ICTAC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Zhiming Liu 0001, Jim Woodcock 0001, Huibiao Zhu (eds.) |
Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings |
ICTAC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Brijesh Dongol, Oleg Travkin, John Derrick, Heike Wehrheim |
A High-Level Semantics for Program Execution under Total Store Order Memory. |
ICTAC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Yisong Wang, Jia-Huai You, Mingyi Zhang 0002 |
Embedding Functions into Disjunctive Logic Programs. |
ICTAC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Achim D. Brucker, Lukas Brügger, Burkhart Wolff |
hol-TestGen/fw - An Environment for Specification-Based Firewall Conformance Testing. |
ICTAC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Wanwei Liu, Rui Wang 0017, Xianjin Fu, Ji Wang 0001, Wei Dong 0006, Xiaoguang Mao |
Counterexample-Preserving Reduction for Symbolic Model Checking. |
ICTAC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jan Kretínský, Salomon Sickert |
On Refinements of Boolean and Parametric Modal Transition Systems. |
ICTAC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Emil Sekerinski, Tian Zhang |
Finitary Fairness in Action Systems. |
ICTAC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Härmel Nestra |
On Slicing of Programs with Input Statements. |
ICTAC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Sven Linker, Martin Hilscher |
Proof Theory of a Multi-Lane Spatial Logic. |
ICTAC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Neville Grech, Julian Rathke, Bernd Fischer 0002 |
Preemptive Type Checking in Dynamically Typed Languages. |
ICTAC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Zhucheng Shao, Jing Liu 0012 |
Spatio-temporal Hybrid Automata for Cyber-Physical Systems. |
ICTAC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Luca Cardelli, Radu Mardare |
Stochastic Pi-calculus Revisited. |
ICTAC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ling Luo, Zhenhua Duan |
A Transformation from p-π to MSVL. |
ICTAC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ruzhen Dong, Naijun Zhan, Liang Zhao 0021 |
An Interface Model of Software Components. |
ICTAC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | César Sánchez 0001, Julián Samborski-Forlese |
How to Translate Efficiently Extensions of Temporal Logics into Alternating Automata. |
ICTAC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | S. Akshay 0001, Blaise Genest, Loïc Hélouët, Shaofa Yang |
Symbolically Bounding the Drift in Time-Constrained MSC Graphs. |
ICTAC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | David M. Williams, Joeri de Ruiter, Wan J. Fokkink |
Model Checking under Fairness in ProB and Its Application to Fair Exchange Protocols. |
ICTAC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci |
Undecidability of Quantized State Feedback Control for Discrete Time Linear Hybrid Systems. |
ICTAC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Nikola Benes, Jan Kretínský |
Modal Process Rewrite Systems. |
ICTAC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sjoerd Cranen, Jeroen J. A. Keiren, Tim A. C. Willemse |
A Cure for Stuttering Parity Games. |
ICTAC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Lidia Sánchez-Gil, Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén |
A Locally Nameless Representation for a Natural Semantics for Lazy Evaluation. |
ICTAC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Benoît Caillaud, Jean-Baptiste Raclet |
Ensuring Reachability by Design. |
ICTAC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Deepak D'Souza, Raj Mohan Matteplackel |
A Compositional Hierarchical Monitoring Automaton Construction for LTL. |
ICTAC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Suman Roy 0001, Sidharth Bihary, Jose Alfonso Corso Laos |
A Conformance Checker Tool CSPConCheck. |
ICTAC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Simon Foster 0001, Ondrej Rypacek, Georg Struth |
Correctness of Object Oriented Models by Extended Type Inference. |
ICTAC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Durica Nikolic, Fausto Spoto |
Definite Expression Aliasing Analysis for Java Bytecode. |
ICTAC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sachin Raviram, Prakash Mohan Peranandam, Manoranjan Satpathy, S. Ramesh 0002 |
SmartTestGen+: A Test Suite Booster for Enhanced Structural Coverage. |
ICTAC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Kenro Yatake, Toshiaki Aoki |
Model Checking of OSEK/VDX OS Design Model Based on Environment Modeling. |
ICTAC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Adrián Riesco 0001, Juan Rodríguez-Hortalá |
S-Narrowing for Constructor Systems. |
ICTAC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Abhik Roychoudhury, Meenakshi D'Souza (eds.) |
Theoretical Aspects of Computing - ICTAC 2012 - 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings |
ICTAC |
2012 |
DBLP DOI BibTeX RDF |
|