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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2015 - 12th International Colloquium Cali, Colombia, October 29-31, 2015, Proceedings, pp. 58-62, 2015, Springer, 978-3-319-25149-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Feifei Peng, Haiming Chen, Xiaoying Mou |
Deterministic Regular Expressions with Interleaving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2015 - 12th International Colloquium Cali, Colombia, October 29-31, 2015, Proceedings, pp. 203-220, 2015, Springer, 978-3-319-25149-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Gustavo Betarte, Juan Diego Campo, Carlos Daniel Luna, Agustín Romano |
Verifying Android's Permission Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2015 - 12th International Colloquium Cali, Colombia, October 29-31, 2015, Proceedings, pp. 485-504, 2015, Springer, 978-3-319-25149-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Zinovy Diskin, Aliakbar Safilian, Tom Maibaum, Shoham Ben-David |
Modeling Product Lines with Kripke Structures and Modal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2015 - 12th International Colloquium Cali, Colombia, October 29-31, 2015, Proceedings, pp. 184-202, 2015, Springer, 978-3-319-25149-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | James Chapman 0001, Tarmo Uustalu, Niccolò Veltri |
Quotienting the Delay Monad by Weak Bisimilarity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2015 - 12th International Colloquium Cali, Colombia, October 29-31, 2015, Proceedings, pp. 110-125, 2015, Springer, 978-3-319-25149-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2015 - 12th International Colloquium Cali, Colombia, October 29-31, 2015, Proceedings, pp. 583-594, 2015, Springer, 978-3-319-25149-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | K. Subramani 0001, Piotr Wojciechowski 0002 |
A Graphical Theorem of the Alternative for UTVPI Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2015 - 12th International Colloquium Cali, Colombia, October 29-31, 2015, Proceedings, pp. 328-345, 2015, Springer, 978-3-319-25149-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Damiano Mazza, Luc Pellissier |
A Functorial Bridge Between the Infinitary Affine Lambda-Calculus and Linear Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2015 - 12th International Colloquium Cali, Colombia, October 29-31, 2015, Proceedings, pp. 144-161, 2015, Springer, 978-3-319-25149-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Heinrich Ody |
Undecidability Results for Multi-Lane Spatial Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2015 - 12th International Colloquium Cali, Colombia, October 29-31, 2015, Proceedings, pp. 404-421, 2015, Springer, 978-3-319-25149-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | José Dihego, Augusto Sampaio |
Aspect-Oriented Development of Trustworthy Component-based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2015 - 12th International Colloquium Cali, Colombia, October 29-31, 2015, Proceedings, pp. 425-444, 2015, Springer, 978-3-319-25149-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Volker Diekert, Anca Muscholl, Igor Walukiewicz |
A Note on Monitors and Büchi Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2015 - 12th International Colloquium Cali, Colombia, October 29-31, 2015, Proceedings, pp. 39-57, 2015, Springer, 978-3-319-25149-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Konstantinos Chatzikokolakis 0001, Catuscia Palamidessi, Marco Stronati |
Location Privacy via Geo-Indistinguishability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2015 - 12th International Colloquium Cali, Colombia, October 29-31, 2015, Proceedings, pp. 28-38, 2015, Springer, 978-3-319-25149-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2015 - 12th International Colloquium Cali, Colombia, October 29-31, 2015, Proceedings, pp. 573-582, 2015, Springer, 978-3-319-25149-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Raymond Abrial |
An Exercise in Mathematical Engineering: Stating and Proving Kuratowski Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2015 - 12th International Colloquium Cali, Colombia, October 29-31, 2015, Proceedings, pp. 3-27, 2015, Springer, 978-3-319-25149-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Mateus de Oliveira Oliveira |
MSO Logic and the Partial Order Semantics of Place/Transition-Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2015 - 12th International Colloquium Cali, Colombia, October 29-31, 2015, Proceedings, pp. 368-387, 2015, Springer, 978-3-319-25149-3. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![Springer, 978-3-319-25149-3 The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ioana Domnina Cristescu, Jean Krivine, Daniele Varacca |
Rigid Families for CCS and the π-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2015 - 12th International Colloquium Cali, Colombia, October 29-31, 2015, Proceedings, pp. 223-240, 2015, Springer, 978-3-319-25149-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ke Sun |
Multi-rate System Design Through Integrating Synchronous Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2015 - 12th International Colloquium Cali, Colombia, October 29-31, 2015, Proceedings, pp. 464-482, 2015, Springer, 978-3-319-25149-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Fides Aarts, Paul Fiterau-Brostean, Harco Kuppens, Frits W. Vaandrager |
Learning Register Automata with Fresh Value Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2015 - 12th International Colloquium Cali, Colombia, October 29-31, 2015, Proceedings, pp. 165-183, 2015, Springer, 978-3-319-25149-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2015 - 12th International Colloquium Cali, Colombia, October 29-31, 2015, Proceedings, pp. 290-306, 2015, Springer, 978-3-319-25149-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Nils Erik Flick |
Quotients of Unbounded Parallelism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2015 - 12th International Colloquium Cali, Colombia, October 29-31, 2015, Proceedings, pp. 241-257, 2015, Springer, 978-3-319-25149-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2015 - 12th International Colloquium Cali, Colombia, October 29-31, 2015, Proceedings, pp. 563-572, 2015, Springer, 978-3-319-25149-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Delia Kesner, Daniel Ventura |
A Resource Aware Computational Interpretation for Herbelin's Syntax. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2015 - 12th International Colloquium Cali, Colombia, October 29-31, 2015, Proceedings, pp. 388-403, 2015, Springer, 978-3-319-25149-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Julian Gutierrez 0001 |
A Mathematical Game Semantics of Concurrency and Nondeterminism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2015 - 12th International Colloquium Cali, Colombia, October 29-31, 2015, Proceedings, pp. 597-607, 2015, Springer, 978-3-319-25149-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2015 - 12th International Colloquium Cali, Colombia, October 29-31, 2015, Proceedings, pp. 349-367, 2015, Springer, 978-3-319-25149-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2015 - 12th International Colloquium Cali, Colombia, October 29-31, 2015, Proceedings, pp. 542-560, 2015, Springer, 978-3-319-25149-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2015 - 12th International Colloquium Cali, Colombia, October 29-31, 2015, Proceedings, pp. 309-327, 2015, Springer, 978-3-319-25149-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Isabel Pita, Adrián Riesco 0001 |
Specifying and Analyzing the Kademlia Protocol in Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2015 - 12th International Colloquium Cali, Colombia, October 29-31, 2015, Proceedings, pp. 524-541, 2015, Springer, 978-3-319-25149-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jiamou Liu, Ziheng Wei |
A Game of Attribute Decomposition for Software Architecture Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2015 - 12th International Colloquium Cali, Colombia, October 29-31, 2015, Proceedings, pp. 445-463, 2015, Springer, 978-3-319-25149-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | David Janin |
Inverse Monoids of Higher-Dimensional Strings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2015 - 12th International Colloquium Cali, Colombia, October 29-31, 2015, Proceedings, pp. 126-143, 2015, Springer, 978-3-319-25149-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Stefano Aguzzoli, Denisa Diaconescu, Tommaso Flaminio |
A Logical Descriptor for Regular Languages via Stone Duality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2014 - 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings, pp. 25-42, 2014, Springer, 978-3-319-10881-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Chiara Bodei, Pierpaolo Degano, Letterio Galletta, Francesco Salvatori |
Linguistic Mechanisms for Context-Aware Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2014 - 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings, pp. 61-79, 2014, Springer, 978-3-319-10881-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2014 - 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings, pp. 369-387, 2014, Springer, 978-3-319-10881-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Denisa Diaconescu, Luigia Petre, Kaisa Sere, Gheorghe Stefanescu |
Refinement of Structured Interactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2014 - 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings, pp. 133-150, 2014, Springer, 978-3-319-10881-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Benoît Valiron, Steve Zdancewic |
Finite Vector Spaces as Model of Simply-Typed Lambda-Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2014 - 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings, pp. 442-459, 2014, Springer, 978-3-319-10881-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Adilson Luiz Bonifácio, Arnaldo Vieira Moura |
Partial Models and Weak Equivalence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2014 - 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings, pp. 80-96, 2014, Springer, 978-3-319-10881-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Geffken, Hannes Saffrich, Peter Thiemann 0001 |
Precise Interprocedural Side-Effect Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2014 - 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings, pp. 188-205, 2014, Springer, 978-3-319-10881-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Kim Guldstrand Larsen, Radu Mardare, Bingtian Xue |
A Decidable Recursive Logic for Weighted Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2014 - 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings, pp. 460-476, 2014, Springer, 978-3-319-10881-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Didier Caucal, Marion Le Gonidec |
Context-Free Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2014 - 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings, pp. 259-276, 2014, Springer, 978-3-319-10881-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Paul Tarau |
The Arithmetic of Recursively Run-Length Compressed Natural Numbers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2014 - 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings, pp. 406-423, 2014, Springer, 978-3-319-10881-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Uli Fahrenberg, Axel Legay, Louis-Marie Traonouez |
Structural Refinement for the Modal nu-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2014 - 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings, pp. 169-187, 2014, Springer, 978-3-319-10881-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Brijesh Dongol, John Derrick, Graeme Smith 0001 |
Reasoning Algebraically About Refinement on TSO Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2014 - 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings, pp. 151-168, 2014, Springer, 978-3-319-10881-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Luis Fernando Pino, Filippo Bonchi, Frank D. Valencia |
A Behavioral Congruence for Concurrent Constraint Programming with Nondeterministic Choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2014 - 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings, pp. 351-368, 2014, Springer, 978-3-319-10881-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Razvan Diaconescu |
From Universal Logic to Computer Science, and Back. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2014 - 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings, pp. 1-16, 2014, Springer, 978-3-319-10881-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Pedro Ribeiro 0002, Ana Cavalcanti 0001 |
UTP Designs for Binary Multirelations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2014 - 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings, pp. 388-405, 2014, Springer, 978-3-319-10881-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jin Song Dong, Jun Sun 0001, Yang Liu 0003, Yuan-Fang Li |
Event Analytics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2014 - 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings, pp. 17-24, 2014, Springer, 978-3-319-10881-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Liyi Li 0002, Elsa L. Gunter, William Mansky |
Symbolic Analysis Tools for CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2014 - 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings, pp. 295-313, 2014, Springer, 978-3-319-10881-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Given-Wilson |
Expressiveness via Intensionality and Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2014 - 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings, pp. 206-223, 2014, Springer, 978-3-319-10881-0. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![Springer, 978-3-319-10881-0 The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Niels Bjørn Bugge Grathwohl, Fritz Henglein, Ulrik Terp Rasmussen |
Optimally Streaming Greedy Regular Expression Parsing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2014 - 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings, pp. 224-240, 2014, Springer, 978-3-319-10881-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Peter Bezdek, Nikola Benes, Vojtech Havel, Jiri Barnat, Ivana Cerná |
On Clock-Aware LTL Properties of Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2014 - 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings, pp. 43-60, 2014, Springer, 978-3-319-10881-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Mauricio Toro, Anna Philippou, Christina Kassara, Spyros Sfenthourakis |
Synchronous Parallel Composition in a Process Calculus for Ecological Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2014 - 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings, pp. 424-441, 2014, Springer, 978-3-319-10881-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ugo Dal Lago, Sara Zuppiroli |
Probabilistic Recursion Theory and Implicit Computational Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2014 - 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings, pp. 97-114, 2014, Springer, 978-3-319-10881-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Mircea Marin, Gabriel Istrate |
Learning Cover Context-Free Grammars from Structural Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2014 - 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings, pp. 241-258, 2014, Springer, 978-3-319-10881-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Khushraj Madnani, Shankara Narayanan Krishna, Paritosh K. Pandya |
On Unary Fragments of MTL and TPTL over Timed Words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2014 - 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings, pp. 333-350, 2014, Springer, 978-3-319-10881-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Benoît Delahaye, José Luiz Fiadeiro, Axel Legay, Antónia Lopes |
Heterogeneous Timed Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2014 - 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings, pp. 115-132, 2014, Springer, 978-3-319-10881-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2014 - 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings, pp. 314-332, 2014, Springer, 978-3-319-10881-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jinjiang Lei, Zongyan Qiu |
Modular Reasoning for Message-Passing Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2014 - 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings, pp. 277-294, 2014, Springer, 978-3-319-10881-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Ciobanu, Armand Stefan Rotaru |
A Probabilistic Logic for pTiMo. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings, pp. 141-158, 2013, Springer, 978-3-642-39717-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Bogdan Aman, Gabriel Ciobanu |
Mobile Membranes: Computability and Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings, pp. 59-75, 2013, Springer, 978-3-642-39717-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Richard Banach, Michael J. Butler |
Cruise Control in Hybrid Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings, pp. 76-93, 2013, Springer, 978-3-642-39717-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Wen-Ju Cheng, Jim Cox, Stathis Zachos |
Random Walks on Some Basic Classes of Digraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings, pp. 122-140, 2013, Springer, 978-3-642-39717-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jifeng He 0001 |
A Clock-Based Framework for Construction of Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings, pp. 22-41, 2013, Springer, 978-3-642-39717-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Xinghua Yao, Min Zhang 0007, Yixiang Chen |
A Proof System in PADS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings, pp. 391-408, 2013, Springer, 978-3-642-39717-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Marta Z. Kwiatkowska |
Advances in Quantitative Verification for Ubiquitous Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings, pp. 42-58, 2013, Springer, 978-3-642-39717-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Paritosh K. Pandya, Simoni S. Shah |
Deterministic Logics for UL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings, pp. 301-318, 2013, Springer, 978-3-642-39717-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Riccardo Bresciani, Andrew Butterfield |
From Distributions to Probabilistic Reactive Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings, pp. 94-111, 2013, Springer, 978-3-642-39717-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Kun Wei |
Reactive Designs of Interrupts in Circus Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings, pp. 373-390, 2013, Springer, 978-3-642-39717-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jianhua Zhao, Xuandong Li |
Scope Logic: An Extension to Hoare Logic for Pointers and Recursive Data Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings, pp. 409-426, 2013, Springer, 978-3-642-39717-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Steffen Ziegert, Christian Heinzemann |
Durative Graph Transformation Rules for Modelling Real-Time Reconfiguration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings, pp. 427-444, 2013, Springer, 978-3-642-39717-2. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![Springer, 978-3-642-39717-2 The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings, pp. 177-194, 2013, Springer, 978-3-642-39717-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Yisong Wang, Jia-Huai You, Mingyi Zhang 0002 |
Embedding Functions into Disjunctive Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings, pp. 355-372, 2013, Springer, 978-3-642-39717-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings, pp. 112-121, 2013, Springer, 978-3-642-39717-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings, pp. 249-266, 2013, Springer, 978-3-642-39717-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jan Kretínský, Salomon Sickert |
On Refinements of Boolean and Parametric Modal Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings, pp. 213-230, 2013, Springer, 978-3-642-39717-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Emil Sekerinski, Tian Zhang |
Finitary Fairness in Action Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings, pp. 319-336, 2013, Springer, 978-3-642-39717-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Härmel Nestra |
On Slicing of Programs with Input Statements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings, pp. 282-300, 2013, Springer, 978-3-642-39717-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Sven Linker, Martin Hilscher |
Proof Theory of a Multi-Lane Spatial Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings, pp. 231-248, 2013, Springer, 978-3-642-39717-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Neville Grech, Julian Rathke, Bernd Fischer 0002 |
Preemptive Type Checking in Dynamically Typed Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings, pp. 195-212, 2013, Springer, 978-3-642-39717-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Zhucheng Shao, Jing Liu 0012 |
Spatio-temporal Hybrid Automata for Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings, pp. 337-354, 2013, Springer, 978-3-642-39717-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Luca Cardelli, Radu Mardare |
Stochastic Pi-calculus Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings, pp. 1-21, 2013, Springer, 978-3-642-39717-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ling Luo, Zhenhua Duan |
A Transformation from p-π to MSVL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings, pp. 267-281, 2013, Springer, 978-3-642-39717-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ruzhen Dong, Naijun Zhan, Liang Zhao 0021 |
An Interface Model of Software Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings, pp. 159-176, 2013, Springer, 978-3-642-39717-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2012 - 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings, pp. 30-45, 2012, Springer, 978-3-642-32942-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2012 - 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings, pp. 1-15, 2012, Springer, 978-3-642-32942-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2012 - 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings, pp. 168-182, 2012, Springer, 978-3-642-32942-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2012 - 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings, pp. 243-258, 2012, Springer, 978-3-642-32942-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Nikola Benes, Jan Kretínský |
Modal Process Rewrite Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2012 - 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings, pp. 120-135, 2012, Springer, 978-3-642-32942-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sjoerd Cranen, Jeroen J. A. Keiren, Tim A. C. Willemse |
A Cure for Stuttering Parity Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2012 - 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings, pp. 198-212, 2012, Springer, 978-3-642-32942-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2012 - 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings, pp. 105-119, 2012, Springer, 978-3-642-32942-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Benoît Caillaud, Jean-Baptiste Raclet |
Ensuring Reachability by Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2012 - 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings, pp. 213-227, 2012, Springer, 978-3-642-32942-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Deepak D'Souza, Raj Mohan Matteplackel |
A Compositional Hierarchical Monitoring Automaton Construction for LTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2012 - 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings, pp. 16-29, 2012, Springer, 978-3-642-32942-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Suman Roy 0001, Sidharth Bihary, Jose Alfonso Corso Laos |
A Conformance Checker Tool CSPConCheck. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2012 - 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings, pp. 159-163, 2012, Springer, 978-3-642-32942-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Simon Foster 0001, Ondrej Rypacek, Georg Struth |
Correctness of Object Oriented Models by Extended Type Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2012 - 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings, pp. 46-60, 2012, Springer, 978-3-642-32942-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Durica Nikolic, Fausto Spoto |
Definite Expression Aliasing Analysis for Java Bytecode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2012 - 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings, pp. 74-89, 2012, Springer, 978-3-642-32942-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2012 - 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings, pp. 164-167, 2012, Springer, 978-3-642-32942-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Kenro Yatake, Toshiaki Aoki |
Model Checking of OSEK/VDX OS Design Model Based on Environment Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2012 - 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings, pp. 183-197, 2012, Springer, 978-3-642-32942-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Adrián Riesco 0001, Juan Rodríguez-Hortalá |
S-Narrowing for Constructor Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2012 - 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings, pp. 136-150, 2012, Springer, 978-3-642-32942-5. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![Springer, 978-3-642-32942-5 The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|