|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 465 occurrences of 271 keywords
|
|
|
Results
Found 954 publication records. Showing 954 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
11 | Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue |
A Logical Interface Description Language for Components. |
COORDINATION |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Jan Jürjens |
Secure Information Flow for Concurrent Processes. |
CONCUR |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Klaus-Dieter Schewe |
Controlled Automation of Consistency Enforcement. |
ASE |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Panagiotis Manolios |
Correctness of Pipelined Machines. |
FMCAD |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Françoise Bellegarde, Jacques Julliand, Olga Kouchnarenko |
Ready-Simulation Is Not Ready to Express a Modular Refinement Relation. |
FASE |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Javier Campos, Susanna Donatelli, Manuel Silva Suárez |
Structured Solution of Asynchronously Communicating Stochastic Modules. |
IEEE Trans. Software Eng. |
1999 |
DBLP DOI BibTeX RDF |
performance analysis, Petri net models, Kronecker algebra, structural decomposition |
11 | Jørn Lind-Nielsen, Henrik Reif Andersen |
Stepwise CTL Model Checking of State/Event Systems. |
CAV |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Joseph Sifakis |
The Compositional Specification of Timed Systems - A Tutorial. |
CAV |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Marcelo P. Fiore, Gordon D. Plotkin, Daniele Turi |
Abstract Syntax and Variable Binding. |
LICS |
1999 |
DBLP DOI BibTeX RDF |
categorical models and logics, type theory and type systems, semantics, lambda calculus, abstract syntax, universal algebra, variable binding |
11 | Dusko Pavlovic |
Semantics of First Order Parametric Specifications. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Carlo Montangero, Laura Semini |
Composing Specifications for Coordination. |
COORDINATION |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Rance Cleaveland |
Temporal Process Logic (Abstract). |
CONCUR |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Pedro Resende |
Modular Specification of Concurrent Systems with Observational Logic. |
WADT |
1998 |
DBLP DOI BibTeX RDF |
|
11 | Véronique Benzaken, Nicolas Hugon, Hanna Klaudel, Elisabeth Pelz, Robert-C. Riemann |
M-net Calculus Based Semantics for Triggers. |
ICATPN |
1998 |
DBLP DOI BibTeX RDF |
|
11 | Jürgen Dingel |
A Trace-Based Refinement Calculus for Shared-Variable Parallel Programs. |
AMAST |
1998 |
DBLP DOI BibTeX RDF |
|
11 | Isabelle Tellier |
Meaning Helps Learning Syntax. |
ICGI |
1998 |
DBLP DOI BibTeX RDF |
|
11 | Yonit Kesten, Amir Pnueli |
Modularization and Abstraction: The Keys to Practical Formal Verification. |
MFCS |
1998 |
DBLP DOI BibTeX RDF |
|
11 | Ron van der Meyden, Yoram Moses |
Top-Down Considerations on Distributed Computing. |
DISC |
1998 |
DBLP DOI BibTeX RDF |
|
11 | Anne-Marie Rassinoux, Robert H. Baud, Christian Lovis, Judith C. Wagner, Jean-Raoul Scherrer |
Tuning Up Conceptual Graph Representation for Multilingual Natural Language Processing in Medicine (Research Note). |
ICCS |
1998 |
DBLP DOI BibTeX RDF |
|
11 | Roberto Giacobazzi |
A Tutorial on Domain Theory in Abstract Interpretation. |
SAS |
1998 |
DBLP DOI BibTeX RDF |
|
11 | Martin Große-Rhode |
Algebra Transformation Systems and their Composition. |
FASE |
1998 |
DBLP DOI BibTeX RDF |
|
11 | Manfred Broy |
Compositional refinement of interactive systems. |
J. ACM |
1997 |
DBLP DOI BibTeX RDF |
specification, refinement, interactive systems |
11 | Peter Achten, Marinus J. Plasmeijer |
Interactive Functional Objects in Clean. |
Implementation of Functional Languages |
1997 |
DBLP DOI BibTeX RDF |
|
11 | Simin Nadjm-Tehrani |
Time-Deterministic Hybrid Transition Systems. |
Hybrid Systems |
1997 |
DBLP DOI BibTeX RDF |
|
11 | Paolo Volpe |
Abstractions of Uniform Proofs. |
ALP |
1996 |
DBLP DOI BibTeX RDF |
uniform proofs, inference rule systems, abstract interpretation |
11 | Lihua Shi, Paddy Nixon |
An Improved Translation of SA/RT Specification Model to High-Level Timed Petri Nets. |
FME |
1996 |
DBLP DOI BibTeX RDF |
|
11 | Marco Bernardo 0001, Roberto Gorrieri |
Extended Markovian Process Algebra. |
CONCUR |
1996 |
DBLP DOI BibTeX RDF |
|
11 | Paulo Blauth Menezes, José Félix Costa, Amílcar Sernadas |
Refinement Mapping for General (Discrete Event) Systems Theory. |
EUROCAST |
1995 |
DBLP DOI BibTeX RDF |
|
11 | Ed Brinksma, Arend Rensink, Walter Vogler |
Fair Testing. |
CONCUR |
1995 |
DBLP DOI BibTeX RDF |
|
11 | Robert de Simone, Annie Ressouche |
Compositional Semantics of ESTEREL and Verification by Compositional Reductions. |
CAV |
1994 |
DBLP DOI BibTeX RDF |
|
11 | Rainer Gawlick, Roberto Segala, Jørgen F. Søgaard-Andersen, Nancy A. Lynch |
Liveness in Timed and Untimed Systems. |
ICALP |
1994 |
DBLP DOI BibTeX RDF |
|
11 | Ian T. Foster, Carl Kesselman |
Language Constructs and Runtime Systems for Compositional Parallel Programming. |
CONPAR |
1994 |
DBLP DOI BibTeX RDF |
|
11 | Roberto Segala, Nancy A. Lynch |
Probabilistic Simulations for Probabilistic Processes. |
CONCUR |
1994 |
DBLP DOI BibTeX RDF |
|
11 | A. Udaya Shankar |
An Introduction to Assertional Reasoning for Concurrent Systems. |
ACM Comput. Surv. |
1993 |
DBLP DOI BibTeX RDF |
generation of preconditions, leads-to, progress properties, invariants, Hoare logic, weakest preconditions, safety properties, state transition systems, assertional reasoning |
11 | Cliff B. Jones |
Reasoning about Interference in an Object-Based Design Method. |
FME |
1993 |
DBLP DOI BibTeX RDF |
|
11 | Cliff B. Jones |
Constraining Inference in an Object-Based Design Model. |
TAPSOFT |
1993 |
DBLP DOI BibTeX RDF |
|
11 | Doron A. Peled, Mathai Joseph |
A Compositional Approach for Fault-Tolerance Using Specification Transformation. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
|
11 | Florence Maraninchi |
Operational and Compositional Semantics of Synchronous Automaton Compositions. |
CONCUR |
1992 |
DBLP DOI BibTeX RDF |
|
11 | Mounira Belmesk |
A Process Semantics of Logic Programs. |
RCLP |
1991 |
DBLP DOI BibTeX RDF |
|
11 | Frank S. de Boer, Catuscia Palamidessi |
A Fully Abstract Model for Concurrent Constraint Programming. |
TAPSOFT, Vol.1 |
1991 |
DBLP DOI BibTeX RDF |
|
11 | Pierpaolo Degano, Roberto Gorrieri |
Atomic Refinement in Process Description Languages. |
MFCS |
1991 |
DBLP DOI BibTeX RDF |
|
11 | Michael Merritt, Francesmary Modugno, Marc R. Tuttle |
Time-Constrained Automata (Extended Abstract) |
CONCUR |
1991 |
DBLP DOI BibTeX RDF |
|
11 | Roope Kaivola, Antti Valmari |
Using Truth-Preserving Reductions to Improve the Clarity of Kripke-Models. |
CONCUR |
1991 |
DBLP DOI BibTeX RDF |
|
11 | Laura K. Dillon |
Verifying General Safety Properties of Ada Tasking Programs. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
safety properties verification, Ada tasking programs, isolation approach, automating partial correctness proofs, Ada, program verification, concurrent programs, deadlock, mutual exclusion, symbolic execution, multiprocessing programs |
11 | Christian Dimitrovici, Udo Hummert, Laure Petrucci |
Semantics, composition and net properties of algebraic high-level nets. |
Applications and Theory of Petri Nets |
1990 |
DBLP DOI BibTeX RDF |
coloured nets, net invariants and properties, algebraic net schemes and high-level nets, morphisms of algebraic high-level nets, normed scheme semantics, net properties of high-level nets, morphisms |
11 | Frank S. de Boer, Catuscia Palamidessi |
On the Asynchronous Nature of Communication in Concurrent Logic Languages: A Fully Abstract Model Based on Sequences. |
CONCUR |
1990 |
DBLP DOI BibTeX RDF |
1987 Computing Reviews Categories D.1.3, D.3.1, F.1.2, F.3.2 |
11 | Manuel Duque-Antón, M. Bretschneider |
Formulas, Processes, and Petri-Nets Applied to the Specification and Verification of a HDLC Protocol. |
TAPSOFT, Vol.2 |
1989 |
DBLP DOI BibTeX RDF |
|
11 | Bengt Jonsson 0001 |
A Fully Abstract Trace Model for Dataflow Networks. |
POPL |
1989 |
DBLP DOI BibTeX RDF |
|
11 | Martin Große-Rhode, Hartmut Ehrig |
Transformation of Combined Data Type and Process Specifications Using Projection Algebras. |
REX Workshop |
1989 |
DBLP DOI BibTeX RDF |
Projection Specification, Projection Algebra (Continuous Algebra), Parameterized Projection Specification, Horizontal and Vertical Operations, R-Implementation, Refinement |
11 | Bengt Jonsson 0001, Joost N. Kok |
Comparing Two Fully Abstract Dataflow Models. |
PARLE (2) |
1989 |
DBLP DOI BibTeX RDF |
|
11 | Jozef Hooman, Jennifer Widom |
A Temporal-Logic Based Compositional Proof System for Real-Time Message Passing. |
PARLE (2) |
1989 |
DBLP DOI BibTeX RDF |
|
11 | Joost N. Kok |
A Fully Abstract Semantics for Data Flow Nets. |
PARLE (2) |
1987 |
DBLP DOI BibTeX RDF |
|
11 | Mitchell Wand |
A semantic prototyping system. |
SIGPLAN Symposium on Compiler Construction |
1984 |
DBLP DOI BibTeX RDF |
|
11 | Howard Barringer, Ruurd Kuiper 0001 |
Hierarchical Development of Cncurrent Systems in a Temporal Logic Framework. |
Seminar on Concurrency |
1984 |
DBLP DOI BibTeX RDF |
|
Displaying result #901 - #954 of 954 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10] |
|