Technical Reports (Computer Science)http://hdl.handle.net/2263/324392019-07-16T00:38:09Z2019-07-16T00:38:09ZThree-Valued Bounded Model Checking with Cause-Guided Abstraction Refinement: PROOFShttp://hdl.handle.net/2263/661362018-08-09T01:54:22Z2018-08-01T00:00:00ZThree-Valued Bounded Model Checking with Cause-Guided Abstraction Refinement: PROOFS
In this Technical Report we provide the proof to Theorem 1 which appears in our forthcoming article "Three-Valued Bounded Model Checking with Cause-Guided Abstraction Refinement", to appear in the journal: Science of Computer Programming. Due to shortage of page-space the proof cannot be printed in the journal article itself. In the forthcoming journal article, wherein Theorem 1 will appear, a literature reference will point the readers to this Technical Report for the proof.
2018-08-01T00:00:00ZParameterised three-valued model checkingTimm, NilsGruner, Stefanhttp://hdl.handle.net/2263/501672015-10-09T01:26:02Z2015-10-07T00:00:00ZParameterised three-valued model checking
Timm, Nils; Gruner, Stefan
In this Technical Report we prove Theorem 1 and Theorem 2 with reference to the article "Parameterised Three-Valued Model Checking" which is to appear in the journal "Science of Computer Programming". This Technical Report should thus be read as an APPENDIX to the forthcoming journal article, which will then contain a reference back to this Technical Report. The mathematical proofs shown in this Technical Report will not appear in the forthcoming journal article, due to size/length restrictions.
2015-10-07T00:00:00ZSchemakorrespondenzaxiome unterstützen die paargrammatische Spezifikation inkrementeller IntegrationswerkzeugeGruner, Stefanhttp://hdl.handle.net/2263/332322014-12-10T05:36:49Z1997-01-01T00:00:00ZSchemakorrespondenzaxiome unterstützen die paargrammatische Spezifikation inkrementeller Integrationswerkzeuge
Gruner, Stefan
In this paper, a new method supporting the well-known graph grammar specification approach to developing fine-grained and incrementally-operating integration tools is presented.
I am making my old paper (written in German) available gain here on "UPSpace" mainly because of historic interests. The original is hardly available any more - (perhaps stored on paper in a few computer science libraries in Germany).
1997-01-01T00:00:00ZBook Review: Eric Winsberg: Science in the Age of Computer SimulationGruner, Stefanhttp://hdl.handle.net/2263/332292014-12-10T05:24:10Z2013-01-01T00:00:00ZBook Review: Eric Winsberg: Science in the Age of Computer Simulation
Gruner, Stefan
Before the advent of sufficiently powerful computing machinery, the practice of science took place on a bi-polar spectrum between rationalism and empirism, between theory and experiment. Theory commanded support from mathematics and ideal speculation; experiments commanded support from technical instruments and material skills. All the science-philosophical contributions and discourses prior to the actual availability of computers find their places somewhere on the line of that bi-polar spectrum – some of them more on the side of rationalism, others more on the side of empirism. After computers have equipped us with the new possibility of programming and executing computer simulations (or software simulations) as quasi-experiments “in silicio”, a new “dimension” has possibly been “added” to the hitherto bi-polar spectrum between rationalism and empirism.
2013-01-01T00:00:00Z