Characterization of Simulation by Probabilistic Testing (Unbekannt)
- Neue Suche nach: Rümmer, Philipp
- Neue Suche nach: Yi, Wang
- Neue Suche nach: Rümmer, Philipp
- Neue Suche nach: Yi, Wang
In:
Lecture notes in computer science
;
9660
;
360-372
;
2016
-
ISSN:
- Aufsatz (Zeitschrift) / Print
-
Titel:Characterization of Simulation by Probabilistic Testing
-
Beteiligte:Rümmer, Philipp ( Autor:in ) / Yi, Wang ( Autor:in )
-
Erschienen in:Lecture notes in computer science ; 9660 ; 360-372
-
Verlag:
- Neue Suche nach: SPRINGER-VERLAG
-
Erscheinungsdatum:01.01.2016
-
Format / Umfang:13 pages
-
ISSN:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Print
-
Sprache:Unbekannt
- Neue Suche nach: 004
- Weitere Informationen zu Dewey Decimal Classification
-
Klassifikation:
DDC: 004 -
Datenquelle:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Inhaltsverzeichnis – Band 9660
Zeige alle Jahrgänge und Ausgaben
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.
- 3
-
Program Verification: To Err is HumanApt, Krzysztof R. et al. | 2016
- 6
-
Fond (and Frank) Memories of FrankPanangaden, Prakash et al. | 2016
- 9
-
Warmest Congratulations, Frank!de Roever, Willem-Paul et al. | 2016
- 15
-
Conformance Checking of Real-Time Models: Symbolic Execution vs. Bounded Model CheckingAichernig, Bernhard K. / Lorber, Florian / Tappler, Martin et al. | 2016
- 33
-
Resource Analysis of Distributed SystemsAlbert, Elvira / Correas, Jesús / Román-Díez, Guillermo et al. | 2016
- 47
-
Comparing Trace Expressions and Linear Temporal Logic for Runtime VerificationAncona, Davide / Ferrando, Angelo / Mascardi, Viviana et al. | 2016
- 65
-
Proper ProtocolArbab, Farhad et al. | 2016
- 88
-
A Compositional Approach to the Verification of Hybrid SystemsAştefănoaei, Lăcrămioara / Bensalem, Saddek / Bozga, Marius et al. | 2016
- 104
-
Array Abstraction with Symbolic PivotsHähnle, Reiner / Wasser, Nathan / Bubel, Richard et al. | 2016
- 122
-
Modeling Role-Based Systems with Exogenous CoordinationChrszon, Philipp / Dubslaff, Clemens / Baier, Christel / Klein, Joachim / Klüppelholz, Sascha et al. | 2016
- 140
-
Vats: A Safe, Reactive Storage AbstractionClarke, Dave / Wrigstad, Tobias et al. | 2016
- 155
-
Denotational and Operational Preciseness of Subtyping: A Roadmap: Dedicated to Frank de Boer on the Occasion of His 60th BirthdayDezani-Ciancaglini, Mariangiola / Ghilezan, Silvia / Jakšić, Svetlana / Pantović, Jovanka / Yoshida, Nobuko et al. | 2016
- 173
-
A Sound and Complete Hoare Logic for Dynamically-Typed, Object-Oriented ProgramsEngelmann, Björn / Olderog, Ernst-Rüdiger et al. | 2016
- 194
-
Self-Reconfiguring MicroservicesGabbrielli, Maurizio / Giallorenzo, Saverio / Guidi, Claudio / Mauro, Jacopo / Montesi, Fabrizio et al. | 2016
- 211
-
Statically and Dynamically Verifiable SLA MetricsGiachino, Elena / de Gouw, Stijn / Laneve, Cosimo / Nobakht, Behrooz et al. | 2016
- 226
-
Effectively Eliminating Auxiliariesde Gouw, Stijn / Rot, Jurriaan et al. | 2016
- 242
-
Towards a Proof Method for ParadigmGroenewegen, L. P. J. / Kuiper, R. / de Vink, E. P. et al. | 2016
- 261
-
Toward a Formal Foundation for Time Travel in Stories and GamesHelvensteijn, Michiel / Arbab, Farhad et al. | 2016
- 277
-
Industrial Application of Formal Models Generated from Domain Specific LanguagesHooman, Jozef et al. | 2016
- 294
-
Formal Frameworks for Verifying Normative Multi-agent SystemsKnobbout, Max / Dastani, Mehdi / Meyer, John-Jules Ch. et al. | 2016
- 309
-
Moessner's Theorem: An Exercise in Coinductive Reasoning in COQKrebbers, Robbert / Parlant, Louis / Silva, Alexandra et al. | 2016
- 325
-
Towards a Kool FutureLucanu, Dorel / Şerbănuţă, Traian-Florin / Roşu, Grigore et al. | 2016
- 344
-
On the Expressiveness of Synchronization in Component DeploymentMauro, Jacopo / Zavattaro, Gianluigi et al. | 2016
- 360
-
Characterization of Simulation by Probabilistic TestingRümmer, Philipp / Yi, Wang et al. | 2016
- 373
-
On Time ActorsSirjani, Marjan / Khamespanah, Ehsan et al. | 2016
- 393
-
A Small-Step Semantics of a Concurrent Calculus with Goroutines and Deferred FunctionsSteffen, Martin et al. | 2016
- 407
-
Quicksort Revisited: Verifying Alternative Versions of QuicksortCertezeanu, Razvan / Drossopoulou, Sophia / Egelund-Muller, Benjamin / Leino, K. Rustan M. / Sivarajan, Sinduran / Wheelhouse, Mark et al. | 2016