Publikationen

Informationssystem der Otto-Friedrich-Universität Bamberg

Professur für Grundlagen der Informatik

	2005 Constructive CK for Contexts Constructive Game Semantics for Instantaneous Reactions Constructive Game Semantics for Instantaneous Reactions Proceedings Workshop Semantic Foundations of Engineering Design Languages Towards Unit Testing for Communicating Stream X-machines Systems When 1 Clock is Not Enough
	2004 Modalities in Constructive Modal Logics and Type Theories Proceedings Semantic Foundations of Engineering Design Languages (SFEDL'04) Special Issue: Semantic Foundations of Engineering Design Languages
	2003 A compositional semantic theory for synchronous component-based design A-maze-ing Esterel Design models and the complexity of the testing problem for distributed systems Intensional completeness in an extension of Goedel-Dummett logic Where theory and practice meet
	2002 Axiomatizing an algebra of step reactions for synchronous languages Intuitionistic Modal Logic and Applications On the logical content of computational type theory: A solution to Curry`s problem Proc. Semantic Foundations of Engineering Design Languages (SFEDL'02) Reactive Types for Dataflow-Oriented Component-Based Design The intuitionism behind statecharts steps Towards a Model Theory for Esterel
	2001 Abstraction and refinement in higher-order logic Categorical and Kripke semantics for constructive S4 modal logic Modalities in Type Theory Proofs as constraints for abstraction and refinement. Statecharts: From visual syntax to model-theoretic semantics
	2000 Characterising combinational timing analyses in intuitionistic modal logic Fully-abstract statecharts semantics via intuitionistic Kripke models The intuitionism behind statecharts steps Timing analysis of combinational circuits in intuitionistic propositional logic What is in a Step: A fully abstract semantics for Statecharts macro steps via intuitionistic Kripke models
	1999 Äquivalenz von annotierten Kontrollflußgraphen zur Darstellung von HLS-Ein- und -Ausgaben bei Verwendung pfadbasierter Einplanungsverfahren
	1998 Characterising timing analyses in intuitionistic modal logic Combined formal post- and presynthesis verification in high level synthesis Formale Modellierung von kontrollflußdominierten High-Level-Synthese-Eingabebeschreibungen zur Verifikation von Ergebnissen kontrollflußgesteuerter Einplanungsverfahren Modelling and verification of unbounded length systolic arrays in monadic second-order logic Tool-supported software design and program execution for signal processing applications using modular software components
	1997 A sound and efficient tool for M2L(Str.) An algebraic theory of multiple clocks First-order Lax Logic as a Framework for Constraint Logic Programming Model-based automatic synthesis and analysis in second-order monadic logic MOSEL: A flexible toolset for monadic second-order logic Propositional Lax Logic
	1996 Automatic treatment of sequential circuits in second-order monadic logic Ternary simulation: A refinement of binary functions or abstraction of real-time behaviour? Timing refinement of intuitionistic proofs Timing refinement of intuitionistic proofs and its application to the timing analysis of combinational circuits
	1995 Abstraction of hardware construction An intuitionistic modal logic with applications to the formal verification of hardware Can we specify finite-state systems in a fragment of propositional logic? Describing a signal analyzer in the process algebra PMC - A case study Functional semantics for delta-VHDL based on FOCUS The formal design of a class of computers - its high stage: Abstract microprogramming
	1994 An asynchronous process algebra with multiple clocks Dealing with Hardware Constraints - A modal logical approach
	1993 A complete axiomatization of observation congruence in PMC A modal logic for handling behavioural constraints in formal hardware verification A process algebra with multiple clocks Newtonian arbiters cannot be proven correct
	1992 Compositional characterization of observable program properties Die formale Validierung einer "Bausteintafel" delay-insensitiver Grundelemente Konsistenz, Vollständigkeit und Kohärenz einer Bausteintafel delay-insensitiver Grundelemente. Technical Report Newtonian arbiters cannot be proven correct
	1991 Constrained proofs: a logic for dealing with behavioural constraints in formal hardware verification
	1989 Stepwise refinement of layered protocols by formal program development

UnivIS ist ein Produkt der Config eG, Buckenhof