Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Fairouz Kamareddine, Karim Nour, Vincent Rahli, J. B. Wells |
A Complete Realisability Semantics for Intersection Types and Arbitrary Expansion Variables. |
ICTAC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Sidney C. Nogueira, Augusto Sampaio, Alexandre Mota 0001 |
Guided Test Generation from CSP Models. |
ICTAC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Oana Agrigoroaiei, Gabriel Ciobanu |
Non-interleaving Semantics with Causality for Nondeterministic Dataflow. |
ICTAC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Rachid Rebiha, Nadir Matringe, Arnaldo Vieira Moura |
Endomorphisms for Non-trivial Non-linear Loop Invariant Generation. |
ICTAC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Will Harwood, Ana Cavalcanti 0001, Jim Woodcock 0001 |
A Theory of Pointers for the UTP. |
ICTAC |
2008 |
DBLP DOI BibTeX RDF |
semantics, refinement, object models, relations |
1 | Virginia Niculescu |
Data-Distributions in PowerList Theory. |
ICTAC |
2007 |
DBLP DOI BibTeX RDF |
design, parallel computation, data-structures, distribution, abstraction |
1 | Dines Bjørner |
Domain Theory: Practice and Theories A Discussion of Possible Research Topics. |
ICTAC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Masaki Nakamura 0001, Kokichi Futatsugi |
On Equality Predicates in Algebraic Specification Languages. |
ICTAC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Silvio Ranise, Christelle Scharff |
Building Extended Canonizers by Graph-Based Deduction. |
ICTAC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Bogdan Aman, Gabriel Ciobanu |
Mobile Ambients with Timers and Types. |
ICTAC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Damián Barsotti, Javier O. Blanco |
Automatic Refinement of Split Binary Semaphore. |
ICTAC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | John Fisher, Marc Bezem |
Skolem Machines and Geometric Logic. |
ICTAC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Pascal Coupey, Christophe Fouqueré, Jean-Vincent Loddo |
Tree Components Programming: An Application to XML. |
ICTAC |
2007 |
DBLP DOI BibTeX RDF |
web programming language, tree components, XML, static typing |
1 | Ignacio Fábregas, Miguel Palomino, David de Frutos-Escrig |
Reflection and Preservation of Properties in Coalgebraic (bi)Simulations. |
ICTAC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Yinghua Chen, Bican Xia, Lu Yang, Naijun Zhan, Chaochen Zhou |
Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems. |
ICTAC |
2007 |
DBLP DOI BibTeX RDF |
Loop Termination, Semi-Algebraic Systems, DISCOVERER, QEPCAD, Program Verification, Computer Algebra, Ranking Function, Polynomial Programs |
1 | Thomas Noll 0001, Stefan Rieger |
Composing Transformations to Optimize Linear Code. |
ICTAC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Bonfante, Jean-Yves Marion, Romain Péchoux |
Quasi-interpretation Synthesis by Decomposition. |
ICTAC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Matta, Matteo Rossi 0001, Paola Spoletini, Dino Mandrioli, Quirico Semeraro, Tullio Tolio |
FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems. |
ICTAC |
2007 |
DBLP DOI BibTeX RDF |
Formal Methods, Formal Verification, Temporal Logics, Experience, System Design, Production Systems, Finite-State Models |
1 | Jing Li 0062, Huibiao Zhu, Jifeng He 0001 |
Algebraic Semantics for Compensable Transactions. |
ICTAC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Robert Colvin, Brijesh Dongol |
Verifying Lock-Freedom Using Well-Founded Orders. |
ICTAC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Pablo F. Castro, T. S. E. Maibaum |
A Complete and Compact Propositional Deontic Logic. |
ICTAC |
2007 |
DBLP DOI BibTeX RDF |
Fault tolerance, Temporal Logic, Modal Logic, Software Specification, Deontic Logic |
1 | Cliff B. Jones, Zhiming Liu 0001, Jim Woodcock 0001 (eds.) |
Theoretical Aspects of Computing - ICTAC 2007, 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings |
ICTAC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Fredrik Degerlund, Kaisa Sere |
A Framework for Incorporating Trust into Formal Systems Development. |
ICTAC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Pontus Boström, Lionel Morel, Marina Waldén |
Stepwise Development of Simulink Models Using the Refinement Calculus Framework. |
ICTAC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | K. Subramani 0001 |
A Randomized Algorithm for BBCSPs in the Prover-Verifier Model. |
ICTAC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi 0001 |
C-clock-WS: A Timed Service-Oriented Calculus. |
ICTAC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Xinxin Liu, Haiyan Chen |
Deciding Weak Bisimilarity of Normed Context-Free Processes Using Tableau. |
ICTAC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Takashi Kitamura 0001, Huimin Lin |
Controlling Process Modularity in Mobile Computing. |
ICTAC |
2007 |
DBLP DOI BibTeX RDF |
process modularity, bisimulation-preorder, interaction-costs, Mobile computing |
1 | Rafael del Vado Vírseda |
A Higher-Order Demand-Driven Narrowing Calculus with Definitional Trees. |
ICTAC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Wanwei Liu, Ji Wang 0001, Wei Dong 0006, Huowang Chen |
Axiomatizing Extended Temporal Logic Fragments Via Instantiation. |
ICTAC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Catalin Dima, Ruggero Lanotte |
Distributed Time-Asynchronous Automata. |
ICTAC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Martin Leucker, César Sánchez 0001 |
Regular Linear Temporal Logic. |
ICTAC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Zining Cao |
Bisimulations for a Distributed Higher Order pi -Calculus. |
ICTAC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Brian Randell, Maciej Koutny |
Failures: Their Definition, Modelling and Analysis. |
ICTAC |
2007 |
DBLP DOI BibTeX RDF |
judgement, occurrence nets, dependability, abstraction, errors, failures, faults, formal analysis |
1 | Jifeng He 0001 |
Linking Semantic Models. |
ICTAC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Roussanka Loukanova |
Linear Context Free Languages. |
ICTAC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Zhilin Wu |
On the Expressive Power of QLTL. |
ICTAC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Christophe Fouqueré |
A Logical Calculus for Modelling Interferences. |
ICTAC |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Marcos E. Kurbán, Peter Niebert, Hongyang Qu 0001, Walter Vogler |
Stronger Reduction Criteria for Local First Search. |
ICTAC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Malkis, Andreas Podelski, Andrey Rybalchenko |
Thread-Modular Verification Is Cartesian Abstract Interpretation. |
ICTAC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Mila E. Majster-Cederbaum, Christoph Minnameier |
Termination and Divergence Are Undecidable Under a Maximum Progress Multi-step Semantics for LinCa. |
ICTAC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Malcolm Tyrrell, Joseph M. Morris, Andrew Butterfield, Arthur Hughes |
A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes. |
ICTAC |
2006 |
DBLP DOI BibTeX RDF |
denotational models, communicating sequential processes, nondeterminacy |
1 | Yohan Boichut, Pierre-Cyrille Héam, Olga Kouchnarenko |
Handling Algebraic Properties in Automatic Analysis of Security Protocols. |
ICTAC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina |
Bisimulation Congruences in the Calculus of Looping Sequences. |
ICTAC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Murdoch Gabbay, Aad Mathijssen |
Capture-Avoiding Substitution as a Nominal Algebra. |
ICTAC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Jim Woodcock 0001, Leo Freitas |
Z/Eves and the Mondex Electronic Purse. |
ICTAC |
2006 |
DBLP DOI BibTeX RDF |
electronic finance, software archaeology, the Z notation, Z/Eves, security, refinement, theorem proving, smart cards, Grand Challenge, Verified Software Repository, Mondex |
1 | Kieu Van Hung, Do Long Van |
Prime Decomposition Problem for Several Kinds of Regular Codes. |
ICTAC |
2006 |
DBLP DOI BibTeX RDF |
invariant relation, prime decomposition problem, Code |
1 | David Déharbe, Pascal Fontaine, Silvio Ranise, Christophe Ringeissen |
Decision Procedures for the Formal Analysis of Software. |
ICTAC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Roland Meyer 0001, Johannes Faber, Andrey Rybalchenko |
Model Checking Duration Calculus: A Practical Approach. |
ICTAC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Amine Chaieb |
Proof-Producing Program Analysis. |
ICTAC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Ciobanu, Danut Rusu |
A Topological Approach of the Web Classification. |
ICTAC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Matteo Slanina, Henny B. Sipma, Zohar Manna |
Proving ATL* Properties of Infinite-State Systems. |
ICTAC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Annabelle McIver |
Quantitative µ-Calculus Analysis of Power Management in Wireless Networks. |
ICTAC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Shuling Wang, Quan Long, Zongyan Qiu |
Type Safety for FJ and FGJ. |
ICTAC |
2006 |
DBLP DOI BibTeX RDF |
Downcast, Observer Pattern, Type Safety, Featherweight Java |
1 | Giorgio Delzanno, Roberto Montagna |
Reachability Analysis of Mobile Ambients in Fragments of AC Term Rewriting. |
ICTAC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Nipkow |
Verifying a Hotel Key Card System. |
ICTAC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Raymond R. Devillers, Hanna Klaudel, Maciej Koutny |
A Petri Net Translation of pi-Calculus Terms. |
ICTAC |
2006 |
DBLP DOI BibTeX RDF |
compositional translation, behavioural consistency, mobility, Petri nets, process algebra, ?-calculus |
1 | Gordon J. Pace, Gerardo Schneider |
A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems. |
ICTAC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Moez Krichen, Stavros Tripakis |
Interesting Properties of the Real-Time Conformance Relation. |
ICTAC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Kamel Barkaoui, Ana Cavalcanti 0001, Antonio Cerone (eds.) |
Theoretical Aspects of Computing - ICTAC 2006, Third International Colloquium, Tunis, Tunisia, November 20-24, 2006, Proceedings |
ICTAC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Aaron R. Bradley, Zohar Manna |
Verification Constraint Problems with Strengthening. |
ICTAC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Jan-David Quesel, Andreas Schäfer 0001 |
Spatio-temporal Model Checking for Mobile Real-Time Systems. |
ICTAC |
2006 |
DBLP DOI BibTeX RDF |
real-time systems, model checking, temporal logic, mobile systems, Duration Calculus, spatial logic |
1 | Christine Choppy, Serge Haddad, Hanna Klaudel, Fabrice Kordon, Laure Petrucci, Yann Thierry-Mieg |
Tutorial on Formal Methods for Distributed and Cooperative Systems. |
ICTAC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Jan Supol, Borivoj Melichar |
A New Approach to Determinisation Using Bit-Parallelism. |
ICTAC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Steven Obua |
Partizan Games in Isabelle/HOLZF. |
ICTAC |
2006 |
DBLP DOI BibTeX RDF |
|
1 | José Meseguer 0001 |
A Rewriting Logic Sampler. |
ICTAC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Hoang Truong 0001, Marc Bezem |
Finding Resource Bounds in the Presence of Explicit Deallocation. |
ICTAC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | K. G. Subramanian 0001, A. Roslin Sagaya Mary, K. S. Dersanambika |
Splicing Array Grammar Systems. |
ICTAC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jianguo Zhou, Yifeng Chen |
Generating C Code from LOGS Specifications. |
ICTAC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Linh Anh Nguyen |
An SLD-Resolution Calculus for Basic Serial Multimodal Logics. |
ICTAC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Zhiming Liu 0001, Keijiro Araki (eds.) |
Theoretical Aspects of Computing - ICTAC 2004, First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers |
ICTAC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Naijun Zhan, Jinzhao Wu |
Compositionality of Fixpoint Logic with Chop. |
ICTAC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Dang Van Hung, Martin Wirsing (eds.) |
Theoretical Aspects of Computing - ICTAC 2005, Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings |
ICTAC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Ernst-Erich Doberkat |
Congruences and Bisimulations for Continuous-Time Stochastic Logic. |
ICTAC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jifeng He 0001, Xiaoshan Li, Zhiming Liu 0001 |
Component-Based Software Engineering. |
ICTAC |
2005 |
DBLP DOI BibTeX RDF |
Simulation, Protocols, Components, Interfaces, Composition, Refinement, Consistency, Contracts, Functionality |
1 | Martin Fränzle, Michael R. Hansen |
A Robust Interpretation of Duration Calculus. |
ICTAC |
2005 |
DBLP DOI BibTeX RDF |
Metric-time temporal logic, Robust interpretation, Discrete time vs. dense time |
1 | Kenro Yatake, Toshiaki Aoki, Takuya Katayama |
Implementing Application-Specific Object-Oriented Theories in HOL. |
ICTAC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Michel Bidoit, Rolf Hennicker |
Externalized and Internalized Notions of Behavioral Refinement. |
ICTAC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jifeng He 0001, C. A. R. Hoare |
Linking Theories of Concurrency. |
ICTAC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Sébastien Limet, Pierre Pillot |
Solving First Order Formulae of Pseudo-Regular Theory. |
ICTAC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Isao Sasano, Mizuhito Ogawa, Zhenjiang Hu |
Maximum Marking Problems with Accumulative Weight Functions. |
ICTAC |
2005 |
DBLP DOI BibTeX RDF |
Maximum marking problem, Accumulative weight function, Optimization problem, Program derivation |
1 | Dang Van Hung |
A Summary of the Tutorials at ICTAC 2005. |
ICTAC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Alberto de la Encina, Luis Llana, Fernando Rubio 0001 |
Formalizing the Debugging Process in Haskell. |
ICTAC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Reiko Heckel |
Stochastic Analysis of Graph Transformation Systems: A Case Study in P2P Networks. |
ICTAC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Raymond T. Boute, Andreas Schäfer 0001 |
The Timer Cascade: Functional Modelling and Real Time Calculi. |
ICTAC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jan Friso Groote, Misa Keinänen |
A Sub-quadratic Algorithm for Conjunctive and Disjunctive Boolean Equation Systems. |
ICTAC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Yo-Sub Han, Derick Wood |
Outfix-Free Regular Languages and Prime Outfix-Free Decomposition. |
ICTAC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Sun Meng, Luís Soares Barbosa, Zhang Naixiao |
On Refinement of Software Architectures. |
ICTAC |
2005 |
DBLP DOI BibTeX RDF |
software architecture, refinement, Software component, coalgebra |
1 | Antti Puhakka |
Using Fairness Constraints in Process-Algebraic Verification. |
ICTAC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Gérard Boudol |
On Typing Information Flow. |
ICTAC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Koji Iwanuma, Katsumi Inoue, Hidetomo Nabeshima |
Upside-Down Transformation in SOL/Connection Tableaux and Its Application. |
ICTAC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Orieta Celiku |
Quantitative Temporal Logic Mechanized in HOL. |
ICTAC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Tran Van Dung |
On the Stability Semantics of Combinational Programs. |
ICTAC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Do Long Van, Kieu Van Hung, Phan Trung Huy |
Codes and Length-Increasing Transitive Binary Relations. |
ICTAC |
2005 |
DBLP DOI BibTeX RDF |
embedding problem, Parikh vector, Code, binary relation |
1 | Rocco De Nicola |
Languages and Process Calculi for Network Aware Programming - Short Summary -. |
ICTAC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Fausto Spoto |
Information Flow Is Linear Refinement of Constancy. |
ICTAC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Rongjie Yan, Guangyuan Li, Zhisong Tang |
Symbolic Model Checking of Finite Precision Timed Automata. |
ICTAC |
2005 |
DBLP DOI BibTeX RDF |
Finite precision timed automata, model checking, symbolic methods |
1 | Quan Long, Zongyan Qiu, Zhiming Liu 0001, Lingshuang Shao, Jifeng He 0001 |
POST: A Case Study for an Incremental Development in rCOS. |
ICTAC |
2005 |
DBLP DOI BibTeX RDF |
UML, Object-orientation, Refinement, Refactoring, Software design |
1 | Nguyen Truong Thang, Takuya Katayama |
Constructing Open Systems via Consistent Components. |
ICTAC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Rob J. van Glabbeek |
On Cool Congruence Formats for Weak Bisimulations. |
ICTAC |
2005 |
DBLP DOI BibTeX RDF |
|