Search results for "ICTAC"

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

Publications at "ICTAC"( http://dblp.L3S.de/Venues/ICTAC )