|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 142 occurrences of 118 keywords
|
|
|
Results
Found 546 publication records. Showing 546 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Hélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran |
On Superposition-Based Satisfiability Procedures and Their Combination. |
ICTAC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Natalia López, Manuel Núñez 0001 |
Weak Stochastic Bisimulation for Non-markovian Processes. |
ICTAC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Ranald Clouston, Robert Goldblatt |
Covarieties of Coalgebras: Comonads and Coequations. |
ICTAC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Carole Delporte-Gallet, Hugues Fauconnier, Felix C. Freiling |
Revisiting Failure Detection and Consensus in Omission Failure Environments. |
ICTAC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Chen Zhao 0001, NuerMaimaiti Heilili, Shengping Liu, Zuoquan Lin |
Representation and Reasoning on RBAC: A Description Logic Approach. |
ICTAC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Manas K. Patra |
A Logic for Quantum Circuits and Protocols. |
ICTAC |
2005 |
DBLP DOI BibTeX RDF |
complexity, quantum computing, quantum circuits, Probability logic |
1 | Guillaume Bonfante, Matthieu Kaczmarek, Jean-Yves Marion |
Toward an Abstract Computer Virology. |
ICTAC |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran |
Nelson-Oppen, Shostak and the Extended Canonizer: A Family Picture with a Newborn. |
ICTAC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Apostolos Niaouris |
An Algebra of Petri Nets with Arc-Based Time Restrictions. |
ICTAC |
2004 |
DBLP DOI BibTeX RDF |
Net-based algebraic calculi, arc based time Petri nets, box algebra, SOS semantics, process algebras |
1 | Yuting Chen, Shaoying Liu, Fumiko Nagoya |
An Approach to Integration Testing Based on Data Flow Specifications. |
ICTAC |
2004 |
DBLP DOI BibTeX RDF |
SOFL, test cases generation, specification-based testing, data flow diagrams |
1 | Marc Aiguier, Stefan Béroff, Pierre-Yves Schobbens |
An Algebraic Approach for Codesign. |
ICTAC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Conrado Daws |
Symbolic and Parametric Model Checking of Discrete-Time Markov Chains. |
ICTAC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Padmanabhan Krishnan |
Decomposing Controllers into Non-conflicting Distributed Controllers. |
ICTAC |
2004 |
DBLP DOI BibTeX RDF |
Asynchronous Automata, Controllers, Decompositions |
1 | Fevzi Belli, Christof J. Budnik |
Minimal Spanning Set for Coverage Testing of Interactive Systems. |
ICTAC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Peter Dybjer, Qiao Haiyan, Makoto Takeyama |
Random Generators for Dependent Types. |
ICTAC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Pham Hong Thai, Dang Van Hung |
Verifying Linear Duration Constraints of Timed Automata. |
ICTAC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jing Yang, Quan Long, Zhiming Liu 0001, Xiaoshan Li |
A Predicative Semantic Model for Integrating UML Models. |
ICTAC |
2004 |
DBLP DOI BibTeX RDF |
UML, Refinement, Formal semantics, Model integration |
1 | Florian Kammüller, Jeff W. Sanders |
Idempotent Relations in Isabelle/HOL. |
ICTAC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Huimin Lin |
A Predicate Spatial Logic and Model Checking for Mobile Processes. |
ICTAC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | José Luiz Fiadeiro |
Software Services: Scientific Challenge or Industrial Hype?. |
ICTAC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Zhiming Liu 0001 |
A Summary of the Tutorials at ICTAC 2004. |
ICTAC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Junfeng Zhao 0001, Lu Zhang 0023, Yasha Wang, Ying Jiang, Bing Xie |
Towards an Optimization-Based Method for Consolidating Domain Variabilities in Domain-Specific Web Services Composition. |
ICTAC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Ling Cheung, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager |
Switched Probabilistic I/O Automata. |
ICTAC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Kaiyu Wan, Vasu S. Alagar, Joey Paquet |
Real Time Reactive Programming in Lucid Enriched with Contexts. |
ICTAC |
2004 |
DBLP DOI BibTeX RDF |
Real-time reactive programming, contexts, formal verification, intensional programming |
1 | Viet-Anh Vu Tran, Shengchao Qin, Wei-Ngan Chin |
An Automatic Mapping from Statecharts to Verilog. |
ICTAC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jifeng He 0001, Naiyong Jin |
Integrating Variants of DC. |
ICTAC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Erika Ábrahám, Marcello M. Bonsangue, Frank S. de Boer, Martin Steffen |
Object Connectivity and Full Abstraction for a Concurrent Calculus of Classes. |
ICTAC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Li Dan, Bernhard K. Aichernig |
Combining Algebraic and Model-Based Test Case Generation. |
ICTAC |
2004 |
DBLP DOI BibTeX RDF |
formal method, Test case generation, RAISE, RSL |
1 | Yanjun Wen, Ji Wang 0001, Zhi-Chang Qi |
Reverse Observation Equivalence Between Labelled State Transition Systems. |
ICTAC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner |
A Proof of Weak Termination Providing the Right Way to Terminate. |
ICTAC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | K. Rustan M. Leino |
Challenges in Increasing Tool Support for Programming. |
ICTAC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Samuel Colin, Georges Mariano, Vincent Poirriez |
Duration Calculus: A Real-Time Semantic for B. |
ICTAC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Steve Reeves, David Streader |
Atomic Components. |
ICTAC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Ryszard Janicki |
A Generalisation of a Relational Structures Model of Concurrency. |
ICTAC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Salvatore La Torre, Aniello Murano |
Reasoning About Co-Büchi Tree Automata. |
ICTAC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Yisong Wang, Mingyi Zhang 0002 |
Revision Programs with Explicit Negation. |
ICTAC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Bill Mitchell |
Inherent Causal Orderings of Partial Order Scenarios. |
ICTAC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Mahesh Viswanathan 0001, Moonzoo Kim |
Foundations for the Run-Time Monitoring of Reactive Systems - Fundamentals of the MaC Language. |
ICTAC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Adnan Sherif, Jifeng He 0001, Ana Cavalcanti 0001, Augusto Sampaio |
A Framework for Specification and Validation of Real-Time Systems Using Circus Actions. |
ICTAC |
2004 |
DBLP DOI BibTeX RDF |
Formal methods integration, real-time systems, formal verification |
1 | Marco Antonio Barbosa, Luís Soares Barbosa |
Specifying Software Connectors. |
ICTAC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Yinglong Ma, Jun Wei 0001, Beihong Jin, Shaohua Liu |
A Formal Framework for Ontology Integration Based on a Default Extension to DDL. |
ICTAC |
2004 |
DBLP DOI BibTeX RDF |
distributed description logics, default extension, Tableau algorithm, Ontology integration, semantic query |
1 | Neelesh Korade, S. Arun-Kumar |
A Logical Characterization of Efficiency Preorders. |
ICTAC |
2004 |
DBLP DOI BibTeX RDF |
efficiency preorders, Hennessy-Milner Logic, Concurrency, bisimulation, transition systems, process efficiency |
1 | Enric Rodríguez-Carbonell, Deepak Kapur |
Program Verification Using Automatic Generation of Invariants. |
ICTAC |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Schäfer 0001 |
A Calculus for Shapes in Time and Space. |
ICTAC |
2004 |
DBLP DOI BibTeX RDF |
Real-time systems, temporal logic, mobile systems, Duration Calculus, spatial logic |
1 | Jin Song Dong, Yuzhang Feng, Yuan-Fang Li |
Verifying OWL and ORL Ontologies in PVS. |
ICTAC |
2004 |
DBLP DOI BibTeX RDF |
ORL, Semantic Web, OWL, reasoning, PVS |
1 | Tseren-Onolt Ishdorj, Mihai Ionescu |
Replicative - Distribution Rules in P Systems with Active Membranes. |
ICTAC |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #501 - #546 of 546 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6] |
|