Zobrazeno 1 - 10
of 10
pro vyhledávání: '"Stefan Römer"'
Autor:
Stefan Römer
Publikováno v:
Berührung ISBN: 9783846761540
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ca0443894c3d692f28d83a1954e1bdbd
https://doi.org/10.30965/9783846761540_019
https://doi.org/10.30965/9783846761540_019
Autor:
Stefan Römer
Mit DeConceptualize – Zur Dekonstruktion des Konzeptuellen in Kunst, Film, Musik legt Stefan Römer nach Strategien des Fake (2001) und Inter-esse (2014) sein drittes Theoriebuch vor, das durch das Berliner Förderprogramm Künstlerische Forschung
Publikováno v:
Formal Methods in System Design. 20:285-310
McMillan has recently proposed a new technique to avoid the state explosion problem in the verification of systems modelled with finite-state Petri nets. The technique requires to construct a finite initial part of the unfolding of the net. McMillan'
Autor:
Stefan Römer
Publikováno v:
Wiederaufgelegt: Zur Appropriation von Texten und Büchern in Büchern
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ac7baf07a1c5f6f789d72f90553eb2b8
https://doi.org/10.14361/transcript.9783839419915.49
https://doi.org/10.14361/transcript.9783839419915.49
Autor:
Stefan Römer
Publikováno v:
Cultural Hacking ISBN: 9783211232781
Spatestens seitdem das Phanomen der New Economy, die — glaubt man Insidern1 — gar nicht so neue okonomische Paradigmen aufstellte, sondern alte wieder belebte, und die die Kurzlebigkeit des medialen Feedbacks zwischen Markt, Produkt, Konsumenten
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c6ac5fa5ab262febbff2e5e005ca7747
https://doi.org/10.1007/3-211-37777-8_5
https://doi.org/10.1007/3-211-37777-8_5
Autor:
Javier Esparza, Stefan Römer
Publikováno v:
CONCUR’99 Concurrency Theory ISBN: 9783540664253
CONCUR
CONCUR
The unfolding method, initially introduced for systems modelled by Petri nets, is applied to synchronous products of transition systems, a model introduced by Arnold [2]. An unfolding procedure is provided which exploits the product structure of the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::331bdb1e037ccdbd0eb533357d5831d3
https://doi.org/10.1007/3-540-48320-9_2
https://doi.org/10.1007/3-540-48320-9_2
Autor:
Stefan Römer, Stephan Melzer
Publikováno v:
Computer Aided Verification ISBN: 9783540631668
CAV
CAV
McMillan presented a deadlock detection technique based on unfoldings of Petri net systems. It is realized by means of a backtracking algorithm that has its drawback for unfoldings that increase widely. We present an approach that exploits precisely
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fe04b8d4b468d2bc52b7951ae28d674c
https://doi.org/10.1007/3-540-63166-6_35
https://doi.org/10.1007/3-540-63166-6_35
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783540610427
TACAS
TACAS
McMillan has recently proposed a new technique to avoid the state explosion problem in the verification of systems modelled with finite-state Petri nets. The technique requires to construct a finite initial part of the unfolding of the net. McMillan'
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2f68d2c657582c6fe4a5b79eb03d4142
https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/23667
https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/23667
Publikováno v:
Algebraic Methodology and Software Technology ISBN: 9783540614630
AMAST
AMAST
PEP is a tool for the design, analysis and the verification of parallel programs. Two approaches are presented in this paper being the underlying technique of the verification component of PEP.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7075c6710632fa0cf1f717964dab4d00
https://doi.org/10.1007/bfb0014349
https://doi.org/10.1007/bfb0014349