Some Institutional Requirements for Temporal Reasoning on Dynamic Reconfiguration of Component Based Systems (Englisch)
- Neue Suche nach: Aguirre, Nazareno
- Neue Suche nach: Maibaum, Tom
- Neue Suche nach: Aguirre, Nazareno
- Neue Suche nach: Maibaum, Tom
In:
Verification: Theory and Practice
2
;
407-435
;
2003
- Aufsatz/Kapitel (Buch) / Elektronische Ressource
-
Titel:Some Institutional Requirements for Temporal Reasoning on Dynamic Reconfiguration of Component Based Systems
-
Beteiligte:Aguirre, Nazareno ( Autor:in ) / Maibaum, Tom ( Autor:in )
-
Erschienen in:Verification: Theory and Practice , 2 ; 407-435Lecture Notes in Computer Science ; 2772, 2 ; 407-435
-
Verlag:
- Neue Suche nach: Springer Berlin Heidelberg
-
Erscheinungsort:Berlin, Heidelberg
-
Erscheinungsdatum:01.01.2003
-
Format / Umfang:29 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz/Kapitel (Buch)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis E-Book
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
Pæan to Zohar MannaDershowitz, Nachum et al. | 2003
- 11
-
A Logic of Object-Oriented ProgramsAbadi, Martín / Leino, K. Rustan M. et al. | 2003
- 42
-
Formal Analysis of Hierarchical State MachinesAlur, Rajeev et al. | 2003
- 67
-
Abstraction as the Key for Invariant VerificationBensalem, Saddek / Graf, Susanne / Lakhnech, Yassine et al. | 2003
- 100
-
Domain Engineering: a “Radical Innovation” for Software and Systems Engineering?Bjørner, Dines et al. | 2003
- 145
-
The ASM Ground Model Method as a Foundation of Requirements EngineeringBörger, Egon et al. | 2003
- 161
-
A Functional Calculus for Specification and Verification of Nondeterministic Interactive SystemsBroy, Manfred et al. | 2003
- 182
-
Notes from the Logbook of a Proof-Checker’s Project*Cantone, Domenico / Omodeo, Eugenio G. / Schwartz, Jacob T. / Ursino, Pietro et al. | 2003
- 208
-
Counterexamples Revisited: Principles, Algorithms, ApplicationsClarke, Edmund / Veith, Helmut et al. | 2003
- 225
-
Easy Intruder DeductionsComon-Lundh, Hubert / Treinen, Ralf et al. | 2003
- 243
-
Verification by Abstract InterpretationCousot, Patrick et al. | 2003
- 269
-
Game Models for Open SystemsAlfaro, Luca et al. | 2003
- 290
-
A Compositional Operational Semantics for Java MTÁbrahám, Erika / Boer, Frank S. / Roever, Willem-Paul / Steffen, Martin et al. | 2003
- 304
-
Bounded FairnessDershowitz, Nachum / Jayasimha, D. N. / Park, Seungjoon et al. | 2003
- 318
-
Efficient Boundary Values Generation in General Metric Spaces for Software Component TestingFerro, Alfredo / Giugno, Rosalba / Pulvirenti, Alfredo et al. | 2003
- 332
-
Extreme Model CheckingHenzinger, Thomas A. / Jhala, Ranjit / Majumdar, Rupak / Sanvido, Marco A. A. et al. | 2003
- 359
-
Automata MistaHuet, Gérard et al. | 2003
- 373
-
Aspect Validation Using Model CheckingKatz, Shmuel / Sihman, Marcelo et al. | 2003
- 395
-
Qualitative Theorem Proving in Linear ConstraintsChandru, Vijay / Lassez, Jean-Louis et al. | 2003
- 407
-
Some Institutional Requirements for Temporal Reasoning on Dynamic Reconfiguration of Component Based SystemsAguirre, Nazareno / Maibaum, Tom et al. | 2003
- 436
-
A Formal Basis for Reasoning on Programmable QoSNicola, Rocco / Ferrari, Gianluigi / Montanari, Ugo / Pugliese, Rosario / Tuosto, Emilio et al. | 2003
- 480
-
A Hierarchical Completeness Proof for Propositional Temporal LogicMoszkowski, Ben et al. | 2003
- 524
-
Computational Proof as Experiment: Probabilistic Algorithms from a Thermodynamic PerspectivePalem, Krishna V. et al. | 2003
- 548
-
Unit Checking: Symbolic Model Checking for a Unit of CodeGunter, Elsa / Peled, Doron et al. | 2003
- 568
-
Colimits for Concurrent CollectorsPavlovic, Dusko / Pepper, Peter / Smith, Doug et al. | 2003
- 598
-
tlpvs: A pvs-Based ltl Verification SystemPnueli, Amir / Arons, Tamarah et al. | 2003
- 626
-
Binary Extensions of S1S and the Composition MethodMarzano, Enrico / Montanari, Angelo / Policriti, Alberto et al. | 2003
- 645
-
Deriving Efficient Graph AlgorithmsReif, John H. / Scherlis, William L. et al. | 2003
- 682
-
Petri Net Analysis Using Invariant GenerationSankaranarayanan, Sriram / Sipma, Henny / Manna, Zohar et al. | 2003
- 702
-
Fair Equivalence RelationsKupferman, Orna / Piterman, Nir / Vardi, Moshe Y. et al. | 2003
- 733
-
Digital Algebra and CircuitsVuillemin, Jean et al. | 2003
- 747
-
Program Synthesis for Multi-agent Question AnsweringWaldinger, Richard / Jarvis, Peter / Dungan, Jennifer et al. | 2003
- 762
-
Combining Sets with ElementsZarba, Calogero G. et al. | 2003