|
|
Conferences in DBLP
- José Luiz Fiadeiro
Software Services: Scientific Challenge or Industrial Hype?. [Citation Graph (0, 0)][DBLP]
ICTAC, 2004, pp:1-13 [Conf]
- Jifeng He, Naiyong Jin
Integrating Variants of DC. [Citation Graph (0, 0)][DBLP]
ICTAC, 2004, pp:14-34 [Conf]
- K. Rustan M. Leino
Challenges in Increasing Tool Support for Programming. [Citation Graph (0, 0)][DBLP]
ICTAC, 2004, pp:35-35 [Conf]
- Huimin Lin
A Predicate Spatial Logic and Model Checking for Mobile Processes. [Citation Graph (0, 0)][DBLP]
ICTAC, 2004, pp:36-36 [Conf]
- Erika Ábrahám, Marcello M. Bonsangue, Frank S. de Boer, Martin Steffen
Object Connectivity and Full Abstraction for a Concurrent Calculus of Classes. [Citation Graph (0, 0)][DBLP]
ICTAC, 2004, pp:37-51 [Conf]
- Marco Antonio Barbosa, Luís Soares Barbosa
Specifying Software Connectors. [Citation Graph (0, 0)][DBLP]
ICTAC, 2004, pp:52-67 [Conf]
- Tseren-Onolt Ishdorj, Mihai Ionescu
Replicative - Distribution Rules in P Systems with Active Membranes. [Citation Graph (0, 0)][DBLP]
ICTAC, 2004, pp:68-83 [Conf]
- Ryszard Janicki
A Generalisation of a Relational Structures Model of Concurrency. [Citation Graph (0, 0)][DBLP]
ICTAC, 2004, pp:84-98 [Conf]
- Neelesh Korade, S. Arun-Kumar
A Logical Characterization of Efficiency Preorders. [Citation Graph (0, 0)][DBLP]
ICTAC, 2004, pp:99-112 [Conf]
- Bill Mitchell
Inherent Causal Orderings of Partial Order Scenarios. [Citation Graph (0, 0)][DBLP]
ICTAC, 2004, pp:113-127 [Conf]
- Steve Reeves, David Streader
Atomic Components. [Citation Graph (0, 0)][DBLP]
ICTAC, 2004, pp:128-139 [Conf]
- Junfeng Zhao, Lu Zhang, Ya-Sha Wang, Ying Jiang, Bing Xie
Towards an Optimization-Based Method for Consolidating Domain Variabilities in Domain-Specific Web Services Composition. [Citation Graph (0, 0)][DBLP]
ICTAC, 2004, pp:140-153 [Conf]
- Yinglong Ma, Jun Wei, Beihong Jin, Shaohua Liu
A Formal Framework for Ontology Integration Based on a Default Extension to DDL. [Citation Graph (0, 0)][DBLP]
ICTAC, 2004, pp:154-169 [Conf]
- Jing Yang, Quan Long, Zhiming Liu, Xiaoshan Li
A Predicative Semantic Model for Integrating UML Models. [Citation Graph (0, 0)][DBLP]
ICTAC, 2004, pp:170-186 [Conf]
- Viet-Anh Vu Tran, Shengchao Qin, Wei-Ngan Chin
An Automatic Mapping from Statecharts to Verilog. [Citation Graph (0, 0)][DBLP]
ICTAC, 2004, pp:187-203 [Conf]
- Yanjun Wen, Ji Wang, Zhi-Chang Qi
Reverse Observation Equivalence Between Labelled State Transition Systems. [Citation Graph (0, 0)][DBLP]
ICTAC, 2004, pp:204-219 [Conf]
- Fevzi Belli, Christof J. Budnik
Minimal Spanning Set for Coverage Testing of Interactive Systems. [Citation Graph (0, 0)][DBLP]
ICTAC, 2004, pp:220-234 [Conf]
- Yuting Chen, Shaoying Liu, Fumiko Nagoya
An Approach to Integration Testing Based on Data Flow Specifications. [Citation Graph (0, 0)][DBLP]
ICTAC, 2004, pp:235-249 [Conf]
- Li Dan, Bernhard K. Aichernig
Combining Algebraic and Model-Based Test Case Generation. [Citation Graph (0, 0)][DBLP]
ICTAC, 2004, pp:250-264 [Conf]
- Jin Song Dong, Yuzhang Feng, Yuan-Fang Li
Verifying OWL and ORL Ontologies in PVS. [Citation Graph (0, 0)][DBLP]
ICTAC, 2004, pp:265-279 [Conf]
- Conrado Daws
Symbolic and Parametric Model Checking of Discrete-Time Markov Chains. [Citation Graph (0, 0)][DBLP]
ICTAC, 2004, pp:280-294 [Conf]
- Pham Hong Thai, Dang Van Hung
Verifying Linear Duration Constraints of Timed Automata. [Citation Graph (0, 0)][DBLP]
ICTAC, 2004, pp:295-309 [Conf]
- Florian Kammüller, Jeff W. Sanders
Idempotent Relations in Isabelle/HOL. [Citation Graph (0, 0)][DBLP]
ICTAC, 2004, pp:310-324 [Conf]
- Enric Rodríguez-Carbonell, Deepak Kapur
Program Verification Using Automatic Generation of Invariants. [Citation Graph (0, 0)][DBLP]
ICTAC, 2004, pp:325-340 [Conf]
- Peter Dybjer, Qiao Haiyan, Makoto Takeyama
Random Generators for Dependent Types. [Citation Graph (0, 0)][DBLP]
ICTAC, 2004, pp:341-355 [Conf]
- Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner
A Proof of Weak Termination Providing the Right Way to Terminate. [Citation Graph (0, 0)][DBLP]
ICTAC, 2004, pp:356-371 [Conf]
- Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran
Nelson-Oppen, Shostak and the Extended Canonizer: A Family Picture with a Newborn. [Citation Graph (0, 0)][DBLP]
ICTAC, 2004, pp:372-386 [Conf]
- Kaiyu Wan, Vasu S. Alagar, Joey Paquet
Real Time Reactive Programming in Lucid Enriched with Contexts. [Citation Graph (0, 0)][DBLP]
ICTAC, 2004, pp:387-402 [Conf]
- Yisong Wang, Mingyi Zhang
Revision Programs with Explicit Negation. [Citation Graph (0, 0)][DBLP]
ICTAC, 2004, pp:403-414 [Conf]
- Marc Aiguier, Stefan Béroff, Pierre-Yves Schobbens
An Algebraic Approach for Codesign. [Citation Graph (0, 0)][DBLP]
ICTAC, 2004, pp:415-430 [Conf]
- Samuel Colin, Georges Mariano, Vincent Poirriez
Duration Calculus: A Real-Time Semantic for B. [Citation Graph (0, 0)][DBLP]
ICTAC, 2004, pp:431-446 [Conf]
- Apostolos Niaouris
An Algebra of Petri Nets with Arc-Based Time Restrictions. [Citation Graph (0, 0)][DBLP]
ICTAC, 2004, pp:447-462 [Conf]
- Andreas Schäfer
A Calculus for Shapes in Time and Space. [Citation Graph (0, 0)][DBLP]
ICTAC, 2004, pp:463-477 [Conf]
- Adnan Sherif, Jifeng He, Ana Cavalcanti, Augusto Sampaio
A Framework for Specification and Validation of Real-Time Systems Using Circus Actions. [Citation Graph (0, 0)][DBLP]
ICTAC, 2004, pp:478-493 [Conf]
- Ling Cheung, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager
Switched Probabilistic I/O Automata. [Citation Graph (0, 0)][DBLP]
ICTAC, 2004, pp:494-510 [Conf]
- Padmanabhan Krishnan
Decomposing Controllers into Non-conflicting Distributed Controllers. [Citation Graph (0, 0)][DBLP]
ICTAC, 2004, pp:511-526 [Conf]
- Salvatore La Torre, Aniello Murano
Reasoning About Co-Büchi Tree Automata. [Citation Graph (0, 0)][DBLP]
ICTAC, 2004, pp:527-542 [Conf]
- Mahesh Viswanathan, Moonzoo Kim
Foundations for the Run-Time Monitoring of Reactive Systems - Fundamentals of the MaC Language. [Citation Graph (0, 0)][DBLP]
ICTAC, 2004, pp:543-556 [Conf]
- Zhiming Liu
A Summary of the Tutorials at ICTAC 2004. [Citation Graph (0, 0)][DBLP]
ICTAC, 2004, pp:557-560 [Conf]
|
