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