|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 24978 occurrences of 6419 keywords
|
|
|
Results
Found 29225 publication records. Showing 29225 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
26 | Lo Ko, Christopher A. Healy, Emily Ratliff, Robert D. Arnold, David B. Whalley, Marion G. Harmon |
Supporting the specification and analysis of timing constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Real Time Technology and Applications Symposium ![In: 2nd IEEE Real-Time Technology and Applications Symposium, RTAS '96, Boston, MA, USA, June 10-12, 1996, pp. 170-178, 1996, IEEE Computer Society, 0-8186-7448-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
timing constraints analysis, real-time programmers, user-friendly environment, user specification, real-time systems, user interface, formal specification, timing, synchronisation, timing constraints, computer aided software engineering, C language, C program, project support environments |
26 | Steve M. Easterbrook, Bashar Nuseibeh |
Managing inconsistencies in an evolving specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: Second IEEE International Symposium on Requirements Engineering, March 27 - 29, 1995, York, England, UK, pp. 48-55, 1995, IEEE Computer Society, 0-8186-7017-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
evolving specification, recurrent inconsistencies, unresolved inconsistencies, resolved inconsistencies, work record, formal specification, data integrity, software development management, ViewPoints, inconsistency management, partial specifications |
26 | Milica Barjaktarovic, Shiu-Kai Chin, Kamal Jabbour |
Formal specification and verification of communication protocols using automated tools . ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), November 6-10, 1995, Fort Lauderdale, Florida, USA, pp. 246-253, 1995, IEEE Computer Society, 0-8186-7123-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
OSI protocol, large models, simulation, modelling, formal specification, formal specification, testing, protocols, formal verification, software tools, validation, theorem proving, process algebra, communication protocols, open systems, algebra, formal logic, automated tools, model checker, model testing, complex models, automated theorem prover |
26 | Farnam Jahanian, Aloysius K. Mok |
Modechart: A Specification Language for Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 20(12), pp. 933-947, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
Modechart, absolute timing, real-time clock, RTL formulas, RTL assertions, graphical implementation, SARTOR, real-time systems, real-time systems, semantics, specification languages, specification language, rapid prototyping, timing constraints, abstraction levels, logic programming languages, hierarchical organization, real-time logic |
26 | Babak Hamidzadeh, Shashi Shekhar |
Specification and Analysis of Real-time Problem Solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 19(8), pp. 788-803, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
real-time artificial intelligence, real-time problem, real-time AI problem solvers, DYNORAII, RTA*, real-time path planning problem, deadline compliance, response-time minimization, real-time systems, computational complexity, formal specification, formal specification, problem solving, path planning, average-case complexity |
26 | Valdis Berzins, Luqi, Amiram Yehudai |
Using Transformations in Specification-Based Prototyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 19(5), pp. 436-452, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
software tool support, specification-based prototyping, system interfaces, externally observable behavior, chronological derivation sequences, formal specification, software evolution, process model, software prototyping, abstraction level, software transformations, system description |
26 | Leslie S. Smith |
A Framework for Neural Net Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 18(7), pp. 601-612, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
neural net specification, interacting processing elements, formal specification, framework, connections, neural nets, transfer functions, mathematical framework |
26 | Jonathan Billington, Geoffrey R. Wheeler, Michael C. Wilbur-Ham |
PROTEAN: A High-Level Petri Net Tool for the Specification and Verification of Communication Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 14(3), pp. 301-316, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
PROTEAN, high-level Petri net tool, numerical Petri nets, textual interfaces, exhaustive reachability analysis, directed graph analysis, engineering workstation, verification, protocols, specification, software tools, finite state machines, specification languages, directed graphs, communication protocols, finite automata, graphical interfaces, interactive simulation |
26 | Sebastián Uchitel, Jeff Kramer, Jeff Magee |
Synthesis of Behavioral Models from Scenarios. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 29(2), pp. 99-115, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
scenario-based specification, sequence chart combination, requirements analysis, Requirements specification, Message Sequence Charts |
26 | Fujio Nishida, Shinobu Takamatsu, Yoneharu Fujita, Tadaaki Tani |
Semi-Automatic Program Construction From Specifications Using Library Modules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 17(9), pp. 853-871, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
case-like expressions, semiautomatic specification refinement, library modules, refinement system, module-aided program construction system, pseudo-natural language expressions, formal specification, software tools, MAPS, programming language, automatic programming, subroutines, program generation |
26 | Shusaku Iida, José Meseguer 0001, Kazuhiro Ogata 0001 (eds.) |
Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification, Algebra, and Software ![Springer, 978-3-642-54623-5 The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Takeo Yaku, Koichi Anada, Koushi Anzai, Shinji Koka, Youzou Miyadera, Kensei Tsuchida |
8k-ary Grid Graph Models of Tabular Forms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification, Algebra, and Software ![In: Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi, pp. 465-477, 2014, Springer, 978-3-642-54623-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Grigore Rosu, Dorel Lucanu |
Behavioral Rewrite Systems and Behavioral Productivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification, Algebra, and Software ![In: Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi, pp. 296-314, 2014, Springer, 978-3-642-54623-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Simon Cruanes, Stijn Heymans, Ian A. Mason, Sam Owre, Natarajan Shankar |
The Semantics of Datalog for the Evidential Tool Bus - (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification, Algebra, and Software ![In: Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi, pp. 256-275, 2014, Springer, 978-3-642-54623-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Rolf Hennicker, Annabelle Klarl |
Foundations for Ensemble Modeling - The Helena Approach - Handling Massively Distributed Systems with ELaborate ENsemble Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification, Algebra, and Software ![In: Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi, pp. 359-381, 2014, Springer, 978-3-642-54623-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Bertrand Meyer 0001, Alexander Kogtenkov |
Negative Variables and the Essence of Object-Oriented Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification, Algebra, and Software ![In: Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi, pp. 171-187, 2014, Springer, 978-3-642-54623-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Jiaxiang Liu 0001, Jean-Pierre Jouannaud |
Confluence: The Unifying, Expressive Power of Locality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification, Algebra, and Software ![In: Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi, pp. 337-358, 2014, Springer, 978-3-642-54623-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Yongxin Zhao, Jin Song Dong, Yang Liu 0003, Jun Sun 0001 |
Towards a Combination of CafeOBJ and PAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification, Algebra, and Software ![In: Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi, pp. 151-170, 2014, Springer, 978-3-642-54623-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Daniel Gâinâ, Dorel Lucanu, Kazuhiro Ogata 0001, Kokichi Futatsugi |
On Automation of OTS/CafeOBJ Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification, Algebra, and Software ![In: Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi, pp. 578-602, 2014, Springer, 978-3-642-54623-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Petros S. Stefaneas, Iakovos Ouranos, Nikolaos Triantafyllou, Katerina Ksystra |
Some Engineering Applications of the OTS/CafeOBJ Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification, Algebra, and Software ![In: Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi, pp. 541-559, 2014, Springer, 978-3-642-54623-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Shin Nakajima 0001 |
Everlasting Challenges with the OBJ Language Family. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification, Algebra, and Software ![In: Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi, pp. 478-493, 2014, Springer, 978-3-642-54623-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Óscar Martín 0001, Alberto Verdejo, Narciso Martí-Oliet |
Model Checking TLR* Guarantee Formulas on Infinite Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification, Algebra, and Software ![In: Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi, pp. 129-150, 2014, Springer, 978-3-642-54623-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Kazuhiro Ogata 0001, Kokichi Futatsugi |
Theorem Proving Based on Proof Scores for Rewrite Theory Specifications of OTSs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification, Algebra, and Software ![In: Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi, pp. 630-656, 2014, Springer, 978-3-642-54623-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Razvan Diaconescu |
CafeOBJ Traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification, Algebra, and Software ![In: Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi, pp. 53-65, 2014, Springer, 978-3-642-54623-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Santiago Escobar 0001 |
Functional Logic Programming in Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification, Algebra, and Software ![In: Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi, pp. 315-336, 2014, Springer, 978-3-642-54623-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Till Mossakowski, Wieslaw Pawlowski, Donald Sannella, Andrzej Tarlecki |
Parchments for CafeOBJ Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification, Algebra, and Software ![In: Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi, pp. 66-91, 2014, Springer, 978-3-642-54623-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Min Zhang 0002, Kazuhiro Ogata 0001, Kokichi Futatsugi |
Verifying the Design of Dynamic Software Updating in the OTS/CafeOBJ Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification, Algebra, and Software ![In: Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi, pp. 560-577, 2014, Springer, 978-3-642-54623-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Anne E. Haxthausen |
An Institution for Imperative RSL Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification, Algebra, and Software ![In: Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi, pp. 441-464, 2014, Springer, 978-3-642-54623-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Dines Bjørner |
Domain Endurants - An Analysis and Description Process Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification, Algebra, and Software ![In: Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi, pp. 1-34, 2014, Springer, 978-3-642-54623-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Shaoying Liu |
Extending Operation Semantics to Enhance the Applicability of Formal Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification, Algebra, and Software ![In: Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi, pp. 434-440, 2014, Springer, 978-3-642-54623-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Leon J. Osterweil |
On Formal Definition and Analysis of Formal Verification Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification, Algebra, and Software ![In: Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi, pp. 35-52, 2014, Springer, 978-3-642-54623-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Jon Grov, Peter Csaba Ölveczky |
Formal Modeling and Analysis of Google's Megastore in Real-Time Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification, Algebra, and Software ![In: Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi, pp. 494-519, 2014, Springer, 978-3-642-54623-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Masaki Nakamura 0001, Kazuhiro Ogata 0001, Kokichi Futatsugi |
Incremental Proofs of Termination, Confluence and Sufficient Completeness of OBJ Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification, Algebra, and Software ![In: Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi, pp. 92-109, 2014, Springer, 978-3-642-54623-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | John Rushby |
The Versatile Synchronous Observer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification, Algebra, and Software ![In: Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi, pp. 110-128, 2014, Springer, 978-3-642-54623-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Francisco Durán 0001, Manuel Roldán, Antonio Moreno-Delgado, José María Álvarez 0002 |
Dynamic Validation of Maude Prototypes of UML Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification, Algebra, and Software ![In: Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi, pp. 212-228, 2014, Springer, 978-3-642-54623-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña |
Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification, Algebra, and Software ![In: Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi, pp. 229-255, 2014, Springer, 978-3-642-54623-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Mark-Oliver Stehr, Minyoung Kim, Carolyn L. Talcott |
Partially Ordered Knowledge Sharing and Fractionated Systems in the Context of other Models for Distributed Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification, Algebra, and Software ![In: Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi, pp. 402-433, 2014, Springer, 978-3-642-54623-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Camilo Rocha, José Meseguer 0001 |
Mechanical Analysis of Reliable Communication in the Alternating Bit Protocol Using the Maude Invariant Analyzer Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification, Algebra, and Software ![In: Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi, pp. 603-629, 2014, Springer, 978-3-642-54623-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Lenz Belzner, Rocco De Nicola, Andrea Vandin, Martin Wirsing |
Reasoning (on) Service Component Ensembles in Rewriting Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification, Algebra, and Software ![In: Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi, pp. 188-211, 2014, Springer, 978-3-642-54623-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Roberto Bruni, Hernán C. Melgratti, Ugo Montanari |
Behaviour, Interaction and Dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification, Algebra, and Software ![In: Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi, pp. 382-401, 2014, Springer, 978-3-642-54623-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Carlo Ghezzi, Andrea Mocci, Mario Sangiorgio |
Synthesis of Infinite-State Abstractions and Their Use for Software Validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification, Algebra, and Software ![In: Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi, pp. 276-295, 2014, Springer, 978-3-642-54623-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Mark Timmer, Ed Brinksma, Mariëlle Stoelinga |
Model-Based Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software and Systems Safety - Specification and Verification ![In: Software and Systems Safety - Specification and Verification, pp. 1-32, 2011, IOS Press, 978-1-60750-710-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Constance L. Heitmeyer |
Requirements Models for Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software and Systems Safety - Specification and Verification ![In: Software and Systems Safety - Specification and Verification, pp. 158-181, 2011, IOS Press, 978-1-60750-710-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Doron A. Peled |
Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software and Systems Safety - Specification and Verification ![In: Software and Systems Safety - Specification and Verification, pp. 260-281, 2011, IOS Press, 978-1-60750-710-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Carlo Ghezzi |
Engineering Evolving and Self-Adaptive Systems: An Overview. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software and Systems Safety - Specification and Verification ![In: Software and Systems Safety - Specification and Verification, pp. 88-102, 2011, IOS Press, 978-1-60750-710-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
26 | John Harrison 0001 |
Formal Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software and Systems Safety - Specification and Verification ![In: Software and Systems Safety - Specification and Verification, pp. 103-157, 2011, IOS Press, 978-1-60750-710-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Uli Fahrenberg, Kim G. Larsen, Claus R. Thrane |
Model-Based Verification and Analysis for Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software and Systems Safety - Specification and Verification ![In: Software and Systems Safety - Specification and Verification, pp. 231-259, 2011, IOS Press, 978-1-60750-710-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Holger Hermanns, Lijun Zhang 0001 |
From Concurrency Models to Numbers - Performance and Dependability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software and Systems Safety - Specification and Verification ![In: Software and Systems Safety - Specification and Verification, pp. 182-210, 2011, IOS Press, 978-1-60750-710-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Tony Hoare, John Wickerson |
Unifying Models of Data Flow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software and Systems Safety - Specification and Verification ![In: Software and Systems Safety - Specification and Verification, pp. 211-230, 2011, IOS Press, 978-1-60750-710-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Jens Palsberg (eds.) |
Semantics and Algebraic Specification, Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics and Algebraic Specification ![Springer, 978-3-642-04163-1 The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Olivier Danvy |
Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics and Algebraic Specification ![In: Semantics and Algebraic Specification, Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday, pp. 162-185, 2009, Springer, 978-3-642-04163-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Malgorzata Biernacka, Olivier Danvy |
Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics and Abstract Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics and Algebraic Specification ![In: Semantics and Algebraic Specification, Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday, pp. 186-206, 2009, Springer, 978-3-642-04163-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi |
Mobile Processes and Termination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics and Algebraic Specification ![In: Semantics and Algebraic Specification, Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday, pp. 250-273, 2009, Springer, 978-3-642-04163-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | José Meseguer 0001 |
Order-Sorted Parameterization and Induction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics and Algebraic Specification ![In: Semantics and Algebraic Specification, Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday, pp. 43-80, 2009, Springer, 978-3-642-04163-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Kristian Støvring, Søren B. Lassen |
A Complete, Co-inductive Syntactic Theory of Sequential Control and State. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics and Algebraic Specification ![In: Semantics and Algebraic Specification, Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday, pp. 329-375, 2009, Springer, 978-3-642-04163-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Hanne Gottliebsen, Kristoffer H. Rose |
Converting between Combinatory Reduction Systems and Big Step Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics and Algebraic Specification ![In: Semantics and Algebraic Specification, Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday, pp. 297-314, 2009, Springer, 978-3-642-04163-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Ben L. Titzer, Jens Palsberg |
Vertical Object Layout and Compression for Fixed Heaps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics and Algebraic Specification ![In: Semantics and Algebraic Specification, Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday, pp. 376-408, 2009, Springer, 978-3-642-04163-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Jens Palsberg |
Tribute to Peter Mosses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics and Algebraic Specification ![In: Semantics and Algebraic Specification, Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday, pp. 1-3, 2009, Springer, 978-3-642-04163-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | David A. Watt |
Action Semantics in Retrospect. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics and Algebraic Specification ![In: Semantics and Algebraic Specification, Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday, pp. 4-20, 2009, Springer, 978-3-642-04163-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Mark G. J. van den Brand, Arjan P. van der Meer, Alexander Serebrenik |
Type Checking Evolving Languages with MSOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics and Algebraic Specification ![In: Semantics and Algebraic Specification, Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday, pp. 207-226, 2009, Springer, 978-3-642-04163-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | André Murbach Maidl, Cláudio Carvilhe, Martin A. Musicante |
An Implementation of Object-Oriented Action Semantics in Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics and Algebraic Specification ![In: Semantics and Algebraic Specification, Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday, pp. 81-105, 2009, Springer, 978-3-642-04163-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Kyung-Goo Doh, David A. Schmidt |
An Action Semantics Based on Two Combinators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics and Algebraic Specification ![In: Semantics and Algebraic Specification, Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday, pp. 274-296, 2009, Springer, 978-3-642-04163-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | David P. LaPotin, Charles J. Alpert, John Lillis (eds.) |
Proceedings of the 8th ACM/IEEE International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems, Monterey, California, USA, December 2-3, 2002 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Timing Issues in the Specification and Synthesis of Digital Systems ![ACM, 1-58113-526-2 The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
26 | Hai Zhou 0001 |
Clock schedule verification with crosstalk. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Timing Issues in the Specification and Synthesis of Digital Systems ![In: Proceedings of the 8th ACM/IEEE International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems, Monterey, California, USA, December 2-3, 2002, pp. 78-83, 2002, ACM, 1-58113-526-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
verification, delay, coupling, clock schedule |
26 | Ei Ando, Masafumi Yamashita, Toshio Nakata, Yusuke Matsunaga |
The statistical longest path problem and its application to delay analysis of logical circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Timing Issues in the Specification and Synthesis of Digital Systems ![In: Proceedings of the 8th ACM/IEEE International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems, Monterey, California, USA, December 2-3, 2002, pp. 134-139, 2002, ACM, 1-58113-526-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Farhana Sheikh, Andreas Kuehlmann, Kurt Keutzer |
Minimum-power retiming for dual-supply CMOS circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Timing Issues in the Specification and Synthesis of Digital Systems ![In: Proceedings of the 8th ACM/IEEE International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems, Monterey, California, USA, December 2-3, 2002, pp. 43-49, 2002, ACM, 1-58113-526-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
dual-supply, retiming theory, low-power, synthesis, low-power design |
26 | Haydar Saaied, Dhamin Al-Khalili, Asim J. Al-Khalili, Mohamed Nekili |
Quadratic deferred-merge embedding algorithm for zero skew clock distribution network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Timing Issues in the Specification and Synthesis of Digital Systems ![In: Proceedings of the 8th ACM/IEEE International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems, Monterey, California, USA, December 2-3, 2002, pp. 119-125, 2002, ACM, 1-58113-526-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
VLSI, clock distribution network, zero skew |
26 | Avi Efrati, Moshe Kleyner |
Timing analysis challenges for high speed CPUs at 90nm and below. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Timing Issues in the Specification and Synthesis of Digital Systems ![In: Proceedings of the 8th ACM/IEEE International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems, Monterey, California, USA, December 2-3, 2002, pp. 42, 2002, ACM, 1-58113-526-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Himanshu Kaul, Dennis Sylvester, David T. Blaauw |
Active shielding of RLC global interconnects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Timing Issues in the Specification and Synthesis of Digital Systems ![In: Proceedings of the 8th ACM/IEEE International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems, Monterey, California, USA, December 2-3, 2002, pp. 98-104, 2002, ACM, 1-58113-526-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Sangyun Kim 0001, Sunan Tugsinavisut, Peter A. Beerel |
Reducing probabilistic timed petri nets for asynchronous architectural analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Timing Issues in the Specification and Synthesis of Digital Systems ![In: Proceedings of the 8th ACM/IEEE International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems, Monterey, California, USA, December 2-3, 2002, pp. 140-147, 2002, ACM, 1-58113-526-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Jun Chen 0008, Lei He 0001 |
Determination of worst-case crosstalk noise for non-switching victims in GHz+ buses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Timing Issues in the Specification and Synthesis of Digital Systems ![In: Proceedings of the 8th ACM/IEEE International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems, Monterey, California, USA, December 2-3, 2002, pp. 92-97, 2002, ACM, 1-58113-526-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
interconnect design |
26 | Duane S. Boning, Joseph Panganiban, Karen Gonzalez-Valentin, Sani R. Nassif, Chandler McDowell, Anne E. Gattiker, Frank Liu 0001 |
Test structures for delay variability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Timing Issues in the Specification and Synthesis of Digital Systems ![In: Proceedings of the 8th ACM/IEEE International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems, Monterey, California, USA, December 2-3, 2002, pp. 109, 2002, ACM, 1-58113-526-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Min Zhao 0001, Kaushik Gala, Vladimir Zolotov, Yuhong Fu, Rajendran Panda, R. Ramkumar, Bhuwan K. Agrawal |
Worst case clock skew under power supply variations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Timing Issues in the Specification and Synthesis of Digital Systems ![In: Proceedings of the 8th ACM/IEEE International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems, Monterey, California, USA, December 2-3, 2002, pp. 22-28, 2002, ACM, 1-58113-526-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
clock skew, power supply noise, clock network |
26 | Kurt Keutzer, Michael Orshansky |
From blind certainty to informed uncertainty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Timing Issues in the Specification and Synthesis of Digital Systems ![In: Proceedings of the 8th ACM/IEEE International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems, Monterey, California, USA, December 2-3, 2002, pp. 37-41, 2002, ACM, 1-58113-526-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Aseem Agarwal, David T. Blaauw, Vladimir Zolotov, Sarma B. K. Vrudhula |
Statistical timing analysis using bounds and selective enumeration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Timing Issues in the Specification and Synthesis of Digital Systems ![In: Proceedings of the 8th ACM/IEEE International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems, Monterey, California, USA, December 2-3, 2002, pp. 16-21, 2002, ACM, 1-58113-526-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Paul I. Pénzes, Mika Nyström, Alain J. Martin |
Transistor sizing of energy-delay--efficient circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Timing Issues in the Specification and Synthesis of Digital Systems ![In: Proceedings of the 8th ACM/IEEE International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems, Monterey, California, USA, December 2-3, 2002, pp. 126-133, 2002, ACM, 1-58113-526-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
energy-delay optimization, transistor sizing |
26 | Louis Scheffer |
Explicit computation of performance as a function of process variation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Timing Issues in the Specification and Synthesis of Digital Systems ![In: Proceedings of the 8th ACM/IEEE International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems, Monterey, California, USA, December 2-3, 2002, pp. 1-8, 2002, ACM, 1-58113-526-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
static timing, process variation, yield, statistical timing |
26 | Brian A. Floyd, Xiaoling Guo, James Caserta, Timothy O. Dickson, Chih-Ming Hung, Kihong Kim, Kenneth K. O |
Wireless interconnects for clock distribution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Timing Issues in the Specification and Synthesis of Digital Systems ![In: Proceedings of the 8th ACM/IEEE International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems, Monterey, California, USA, December 2-3, 2002, pp. 105-108, 2002, ACM, 1-58113-526-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
integrated antenna, wireless interconnect, wireless communication, interconnect, clock distribution, RF CMOS |
26 | Joni Dambre, Dirk Stroobandt, Jan Van Campenhout |
A probabilistic approach to clock cycle prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Timing Issues in the Specification and Synthesis of Digital Systems ![In: Proceedings of the 8th ACM/IEEE International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems, Monterey, California, USA, December 2-3, 2002, pp. 9-15, 2002, ACM, 1-58113-526-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
clock cycle prediction, performance modeling, interconnect prediction |
26 | Ali Dasdan |
Efficient algorithms for debugging timing constraint violations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Timing Issues in the Specification and Synthesis of Digital Systems ![In: Proceedings of the 8th ACM/IEEE International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems, Monterey, California, USA, December 2-3, 2002, pp. 50-56, 2002, ACM, 1-58113-526-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
over-constraint resolution, scheduling, high-level synthesis, constraint satisfaction, timing constraints, behavioral synthesis, rate analysis |
26 | Kanak Agarwal, Dennis Sylvester, David T. Blaauw |
A library compatible driving point model for on-chip RLC interconnects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Timing Issues in the Specification and Synthesis of Digital Systems ![In: Proceedings of the 8th ACM/IEEE International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems, Monterey, California, USA, December 2-3, 2002, pp. 63-69, 2002, ACM, 1-58113-526-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Baris Taskin, Ivan S. Kourtev |
Performance optimization of single-phase level-sensitive circuits using time borrowing and non-zero clock skew. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Timing Issues in the Specification and Synthesis of Digital Systems ![In: Proceedings of the 8th ACM/IEEE International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems, Monterey, California, USA, December 2-3, 2002, pp. 111-118, 2002, ACM, 1-58113-526-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
optimization, linear programming, clock skew, cycle stealing |
26 | Bhavana Thudi, David T. Blaauw |
Efficient switching window computation for cross-talk noise. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Timing Issues in the Specification and Synthesis of Digital Systems ![In: Proceedings of the 8th ACM/IEEE International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems, Monterey, California, USA, December 2-3, 2002, pp. 84-91, 2002, ACM, 1-58113-526-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Aseem Agarwal, David T. Blaauw, Vladimir Zolotov, Sarma B. K. Vrudhula |
Statistical timing analysis using bounds and selective enumeration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Timing Issues in the Specification and Synthesis of Digital Systems ![In: Proceedings of the 8th ACM/IEEE International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems, Monterey, California, USA, December 2-3, 2002, pp. 29-36, 2002, ACM, 1-58113-526-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Vasant B. Rao, Jeffrey Soreff, Ravichander Ledalla, Fred L. Yang |
Aggressive crunching of extracted RC netlists. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Timing Issues in the Specification and Synthesis of Digital Systems ![In: Proceedings of the 8th ACM/IEEE International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems, Monterey, California, USA, December 2-3, 2002, pp. 70-77, 2002, ACM, 1-58113-526-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
RC reduction, TICER, crunching, node elimination, resistor shorting, time constants, interconnect modeling, elmore delay |
26 | Chandramouli V. Kashyap, Charles J. Alpert, Frank Liu 0001, Anirudh Devgan |
PERI: a technique for extending delay and slew metrics to ramp inputs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Timing Issues in the Specification and Synthesis of Digital Systems ![In: Proceedings of the 8th ACM/IEEE International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems, Monterey, California, USA, December 2-3, 2002, pp. 57-62, 2002, ACM, 1-58113-526-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Elmore, slew, delay, interconnects, PDF, moments, median, skewness, standard deviation |
26 | Rudolf Berghammer, Yassine Lakhnech (eds.) |
Proceedings of the International Workshop Tool Support for System Specification, Development and Verification, Malente, Germany, June 1-4, 1998 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Tool Support for System Specification, Development and Verification ![Springer, 978-3-211-83282-0 The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Sebastiaan van Vlijmen |
Engineering, Software and Hypotheses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algebraic Specification in Action ![In: Algebraic Specification in Action, pp. 1-35, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Sebastiaan van Vlijmen, Jan Friso Groote, Wilco Koorn |
The Vital Processor Interlocking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algebraic Specification in Action ![In: Algebraic Specification in Action, pp. 1-56, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Sebastiaan van Vlijmen, Steven Klusener, Alexander Schrijver |
The Compact Dynamic Bus Station. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algebraic Specification in Action ![In: Algebraic Specification in Action, pp. 1-20, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Sebastiaan van Vlijmen, Arjan van Waveren |
Road Traffic Regulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algebraic Specification in Action ![In: Algebraic Specification in Action, pp. 1-51, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Sebastiaan van Vlijmen |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algebraic Specification in Action ![In: Algebraic Specification in Action, pp. 1-8, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Sebastiaan van Vlijmen |
Conclusion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algebraic Specification in Action ![In: Algebraic Specification in Action, pp. 1-38, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Sebastiaan van Vlijmen, Arjan van Waveren, Paul Vriend |
The Generic Structure Editor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algebraic Specification in Action ![In: Algebraic Specification in Action, pp. 1, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Sebastiaan van Vlijmen, Jos van Wamel |
A Semantic Approach to Protocold. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algebraic Specification in Action ![In: Algebraic Specification in Action, pp. 1-32, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Sebastiaan van Vlijmen |
Epitomes of Four other Cases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algebraic Specification in Action ![In: Algebraic Specification in Action, pp. 1-28, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Hélène Kirchner |
Term Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algebraic Foundations of Systems Specification ![In: Algebraic Foundations of Systems Specification, pp. 273-320, 1999, Springer, 978-3-642-64151-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Donald Sannella, Andrzej Tarlecki |
Algebraic Preliminaries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algebraic Foundations of Systems Specification ![In: Algebraic Foundations of Systems Specification, pp. 13-30, 1999, Springer, 978-3-642-64151-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Peter Padawitz |
Proof in Flat Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algebraic Foundations of Systems Specification ![In: Algebraic Foundations of Systems Specification, pp. 321-384, 1999, Springer, 978-3-642-64151-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Maura Cerioli, Till Mossakowski, Horst Reichel |
From Total Equational to Partial First-Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algebraic Foundations of Systems Specification ![In: Algebraic Foundations of Systems Specification, pp. 31-104, 1999, Springer, 978-3-642-64151-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
Displaying result #301 - #400 of 29225 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|