| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Sylvain Peyronnet, Michel de Rougemont, Yann Strozecki |
Approximate Verification and Enumeration Problems.  |
ICTAC  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Liyun Dai, Bican Xia |
Non-termination Sets of Simple Linear Loops. |
ICTAC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sachin Lodha, Nikhil Patwardhan, Ashim Roy, Sharada Sundaram, Dilys Thomas |
Data Privacy Using MASKETEERTM. |
ICTAC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrián Riesco 0001 |
Using Semantics Specified in Maude to Generate Test Cases. |
ICTAC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Rolf Hennicker, Alexander Knapp |
Modal Interface Theories for Communication-Safe Component Assemblies. |
ICTAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jayadev Misra |
Virtual Time and Timeout in Client-Server Networks - (Extended Abstract). |
ICTAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ei Ando, Binay K. Bhattacharya, Yuzhuang Hu, Tsunehiko Kameda, Qiaosheng Shi |
Selecting Good a Priori Sequences for Vehicle Routing Problem with Stochastic Demand. |
ICTAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Cerone, Pekka Pihlajasaari (eds.) |
Theoretical Aspects of Computing - ICTAC 2011 - 8th International Colloquium, Johannesburg, South Africa, August 31 - September 2, 2011. Proceedings |
ICTAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Brink van der Merwe, Lynette van Zijl, Jaco Geldenhuys |
Ambiguity of Unary Symmetric Difference NFAs. |
ICTAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Willem Visser |
Infinitely Often Testing - (Extended Abstract). |
ICTAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Silvia Ghilezan, Jelena Ivetic, Pierre Lescanne, Silvia Likavec |
Intersection Types for the Resource Control Lambda Calculi. |
ICTAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir |
Axiomatizing Weak Ready Simulation Semantics over BCCSP. |
ICTAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | David Lorge Parnas |
The Use of Mathematics in Software Development - (Extended Abstract). |
ICTAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Olfa Mraihi, Wided Ghardallou, Asma Louhichi, Lamia Labed Jilani, Khaled Bsaïes, Ali Mili 0001 |
Computing Preconditions and Postconditions of While Loops. |
ICTAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Uli Fahrenberg, Line Juhl, Kim G. Larsen, Jirí Srba |
Energy Games in Multiweighted Automata. |
ICTAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Facundo Carreiro |
On Characterization, Definability and ω-Saturated Models. |
ICTAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Birevu Muyinda, Jude T. Lubega, Kathy Lynch, Theo P. van der Weide |
A Framework for Instantiating Pedagogic mLearning Objects Applications. |
ICTAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yijing Liu, Zongyan Qiu, Quan Long |
WP Semantics and Behavioral Subtyping. |
ICTAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Liliana Cojocaru, Erkki Mäkinen |
On the Complexity of Szilard Languages of Regulated Grammars. |
ICTAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Tarau |
Emulating Primality with Multiset Representations of Natural Numbers. |
ICTAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bogdan Tofan, Gerhard Schellhorn, Wolfgang Reif |
Formal Verification of a Lock-Free Stack with Hazard Pointers. |
ICTAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernst Althaus, Sebastian Altmeyer, Rouven Naujoks |
Symbolic Worst Case Execution Times. |
ICTAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo F. Castro, T. S. E. Maibaum |
Characterizing Locality (Encapsulation) with Bisimulation. |
ICTAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hendrikus J. S. Basten |
Tracking Down the Origins of Ambiguity in Context-Free Grammars. |
ICTAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Bavera, Eduardo Bonelli |
Justification Logic and History Based Computation. |
ICTAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mariano M. Moscato, Carlos López Pombo, Marcelo F. Frias |
Dynamite 2.0: New Features Based on UnSAT-Core Extraction to Improve Verification of Software Requirements. |
ICTAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pawel Gancarski, Andrew Butterfield |
Prioritized slotted-Circus. |
ICTAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Qin Li 0002, Huibiao Zhu, Jifeng He 0001 |
A Denotational Semantical Model for Orc Language. |
ICTAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrius Velykis, Leo Freitas |
Formal Modelling of Separation Kernel Components. |
ICTAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Chabin, Mirian Halfeld Ferrari Alves, Martin A. Musicante, Pierre Réty |
Minimal Tree Language Extensions: A Keystone of XML Type Compatibility and Evolution. |
ICTAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yunho Kim, Moonzoo Kim, Nam Dang |
Scalable Distributed Concolic Testing: A Case Study on a Flash Storage Platform. |
ICTAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian J. Hayes |
Invariants and Well-Foundedness in Program Algebra. |
ICTAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz |
The TLA+ Proof System: Building a Heterogeneous Verification Platform. |
ICTAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Umberto Souza da Costa, Ivan Soares de Medeiros Júnior, Marcel Vinícius Medeiros Oliveira |
Specification and Verification of a MPI Implementation for a MP-SoC. |
ICTAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Srinivas Nedunuri, Douglas R. Smith, William R. Cook |
A Class of Greedy Algorithms and Its Relation to Greedoids. |
ICTAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Reng Zeng, Xudong He |
Analyzing a Formal Specification of Mondex Using Model Checking. |
ICTAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhenbang Chen, Zhiming Liu 0001 |
An Extended cCSP with Stable Failures Semantics. |
ICTAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bilal Kanso, Marc Aiguier, Frédéric Boulanger, Assia Touil |
Testing of Abstract Components. |
ICTAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jewgenij Botaschanjan, Benjamin Hummel |
Material Flow Abstraction of Manufacturing Systems. |
ICTAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashish Darbari, Bernd Fischer 0002, João Marques-Silva 0001 |
Industrial-Strength Certified SAT Solving through Verified SAT Proof Checking. |
ICTAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lei Chen, Haiming Chen |
Subtyping Algorithm of Regular Tree Grammars with Disjoint Production Rules. |
ICTAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Tarau |
On Arithmetic Computations with Hereditarily Finite Sets, Functions and Types. |
ICTAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | J. Gregory Malecha, Greg Morrisett |
Mechanized Verification with Sharing. |
ICTAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo F. Castro, Nazareno Aguirre, Carlos Gustavo López Pombo, T. S. E. Maibaum |
Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting. |
ICTAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulo Borba, Leopoldo Teixeira, Rohit Gheyi |
A Theory of Software Product Line Refinement. |
ICTAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bill Stoddart, Frank Zeyda, Steve Dunne |
Preference and Non-deterministic Choice. |
ICTAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rui Shi, Dengping Zhu, Hongwei Xi |
A Modality for Safe Resource Sharing and Code Reentrancy. |
ICTAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Cavalcanti 0001, David Déharbe, Marie-Claude Gaudel, Jim Woodcock 0001 (eds.) |
Theoretical Aspects of Computing - ICTAC 2010, 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings |
ICTAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Gustavo López Pombo, Marcelo Fabiùn Frias |
Complete Calculi for Structured Specifications in Fork Algebra. |
ICTAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Delphine Longuet, Marc Aiguier |
Integration Testing from Structured First-Order Specifications via Deduction Modulo. |
ICTAC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Étienne André |
IMITATOR: A Tool for Synthesizing Constraints on Timing Bounds of Timed Automata. |
ICTAC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikola Benes, Jan Kretínský, Kim Guldstrand Larsen, Jirí Srba |
Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete. |
ICTAC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Cinzia Di Giusto, Jorge A. Pérez 0001, Gianluigi Zavattaro |
On the Expressiveness of Forwarding in Higher-Order Communication. |
ICTAC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Gérard Boudol |
A Deadlock-Free Semantics for Shared Memory Concurrency. |
ICTAC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Dag Hovland |
Regular Expressions with Numerical Constraints and Automata with Counters. |
ICTAC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Volker Diekert, Steffen Kopecki, Victor Mitrana |
On the Hairpin Completion of Regular Languages. |
ICTAC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Margus Veanes, Nikolaj S. Bjørner |
Input-Output Model Programs. |
ICTAC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Leucker, Carroll Morgan (eds.) |
Theoretical Aspects of Computing - ICTAC 2009, 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings |
ICTAC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Kazunori Ueda, Takayuki Ayano, Taisuke Hori, Hiroki Iwasawa, Seiji Ogawa |
Hierarchical Graph Rewriting as a Unifying Tool for Analyzing and Understanding Nondeterministic Systems. |
ICTAC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hallstein Asheim Hansen, Gerardo Schneider |
GSPeeDI - A Verification Tool for Generalized Polygonal Hybrid Systems. |
ICTAC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Leslie Lamport |
The PlusCal Algorithm Language. |
ICTAC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Fenech, Gordon J. Pace, Gerardo Schneider |
Automatic Conflict Detection on Contracts. |
ICTAC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoltán Ésik, Szabolcs Iván |
Context-Free Languages of Countable Words. |
ICTAC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sriram K. Rajamani |
Verification, Testing and Statistics. |
ICTAC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Dario Fischbein, Víctor A. Braberman, Sebastián Uchitel |
A Sound Observational Semantics for Modal Transition Systems. |
ICTAC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari 0002, Roberto Zunino |
nu-Types for Effects and Freshness Analysis. |
ICTAC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Zuohua Ding |
Static Analysis of Concurrent Programs Using Ordinary Differential Equations. |
ICTAC |
2009 |
DBLP DOI BibTeX RDF |
Boundedness checking, Concurrent program, Ordinary differential equation, Deadlock detection, State explosion |
| 1 | Lakshmanan Kuppusamy, Kamala Krithivasan |
On the Relative Expressive Power of Contextual Grammars with Maximal and Depth-First Derivations. |
ICTAC |
2009 |
DBLP DOI BibTeX RDF |
internal contextual grammars, maximal, incomparable, depth-first |
| 1 | Pham Ngoc Hung, Toshiaki Aoki, Takuya Katayama |
A Minimized Assumption Generation Method for Component-Based Software Verification. |
ICTAC |
2009 |
DBLP DOI BibTeX RDF |
minimal assumption, model checking, learning algorithm, modular verification, assume-guarantee reasoning |
| 1 | Pablo Rabanal, Ismael Rodríguez, Fernando Rubio 0001 |
A Formal Approach to Heuristically Test Restorable Systems. |
ICTAC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Annabelle McIver |
The Secret Art of Computer Programming. |
ICTAC |
2009 |
DBLP DOI BibTeX RDF |
compositional security, refinement of ignorance, program semantics, Proofs of security |
| 1 | Tayssir Touili |
Constrained Reachability of Process Rewrite Systems. |
ICTAC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Bauer 0002, Rajeev Goré, Alwen Tiu |
A First-Order Policy Language for History-Based Transaction Monitoring. |
ICTAC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan A. Bergstra, Cornelis A. Middelburg |
Transmission Protocols for Instruction Streams. |
ICTAC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Areej Zuhily, Alan Burns 0001 |
Exact Response Time Scheduling Analysis of Accumulatively Monotonic Multiframe Real Time Tasks. |
ICTAC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Rudolf Schlatte, Bernhard K. Aichernig, Frank S. de Boer, Andreas Griesmayer, Einar Broch Johnsen |
Testing Concurrent Objects with Application-Specific Schedulers. |
ICTAC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau |
Towards Efficient Verification of Systems with Dynamic Process Creation. |
ICTAC |
2008 |
DBLP DOI BibTeX RDF |
multi-threaded systems, marking symmetries, Petri nets, state-space generation |
| 1 | Alexander van Dam, Bas Ploeger, Tim A. C. Willemse |
Instantiation for Parameterised Boolean Equation Systems. |
ICTAC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Raymond Abrial, Thai Son Hoang |
Using Design Patterns in Formal Methods: An Event-B Approach. |
ICTAC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Gordon J. Pace, Gerardo Schneider |
Relaxing Goodness Is Still Good. |
ICTAC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Peleska 0001 |
A Unified Approach to Abstract Interpretation, Formal Verification and Testing of C/C++ Modules. |
ICTAC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Miaomiao Zhang, Dang Van Hung, Zhiming Liu 0001 |
Verification of Linear Duration Invariants by Model Checking CTL Properties. |
ICTAC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Izadi, Marcello M. Bonsangue |
Recasting Constraint Automata into Büchi Automata. |
ICTAC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Masaki Murakami |
Congruence Results of Scope Equivalence for a Graph Rewriting Model of Concurrent Programs. |
ICTAC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Heike Wehrheim |
Bounded Model Checking for Partial Kripke Structures. |
ICTAC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine |
Monotonic Abstraction in Action. |
ICTAC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro |
Benchmarking Model- and Satisfiability-Checking on Bi-infinite Time. |
ICTAC |
2008 |
DBLP DOI BibTeX RDF |
bi-infinite words and automata, Bounded model checking, metric temporal logic |
| 1 | Stefan Blom, Jaco van de Pol |
Symbolic Reachability for Process Algebras with Recursive Data Types. |
ICTAC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Edward Turner, Helen Treharne, Steve A. Schneider, Neil Evans |
Automatic Generation of CSP || B Skeletons from xUML Models. |
ICTAC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | John S. Fitzgerald, Anne E. Haxthausen, Hüsnü Yenigün (eds.) |
Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings |
ICTAC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Francien Dechesne, Simona Orzan, Yanjing Wang 0001 |
Refinement of Kripke Models for Dynamics. |
ICTAC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Schönborn, Marcel Kyas |
A Theory of Bounded Fair Scheduling. |
ICTAC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mila E. Majster-Cederbaum, Christoph Minnameier |
Everything Is PSPACE-Complete in Interaction Systems. |
ICTAC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Haiming Chen, Lei Chen |
Inclusion Test Algorithms for One-Unambiguous Regular Expressions. |
ICTAC |
2008 |
DBLP DOI BibTeX RDF |
One-unambiguous regular expression, algorithm, inclusion |
| 1 | Carlo A. Furia, Paola Spoletini |
Tomorrow and All our Yesterdays: MTL Satisfiability over the Integers. |
ICTAC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yassine Mokhtari, Sa'ed Abed, Otmane Aït Mohamed, Sofiène Tahar, Xiaoyu Song |
A New Approach for the Construction of Multiway Decision Graphs. |
ICTAC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Simona Orzan, Muhammad Torabi Dashti |
Fair Exchange Is Incomparable to Consensus. |
ICTAC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | A. W. Roscoe 0001 |
The Three Platonic Models of Divergence-Strict CSP. |
ICTAC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Vahid Rafe, Adel Torkaman Rahmani |
Formal Analysis of Workflows Using UML 2.0 Activities and Graph Transformation Systems. |
ICTAC |
2008 |
DBLP DOI BibTeX RDF |
Verification, Workflow, Graph Transformation, Activity Diagram, Dynamic Semantics |
| 1 | Jing Li 0062, Huibiao Zhu, Jifeng He 0001 |
An Observational Model for Transactional Calculus of Services Orchestration. |
ICTAC |
2008 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license