Informationssystem der Otto-Friedrich-Universität Bamberg
© Config eG
Sammlung/Stundenplan
Home
|
Anmelden
|
Kontakt
|
Hilfe
Suche:
Personen
Einrichtungen
sonstige Einträge
Lehrveranstaltungen
Räume
Lehr-
veranstaltungen
Personen/
Einrichtungen
Räume
Telefon &
E-Mail
Darstellung
Druckansicht
ausführliche Fassung
Außerdem im UnivIS
Vorlesungsverzeichnis
Veranstaltungskalender
Einrichtungen
>>
Fakultät Wirtschaftsinformatik / Angewandte Informatik
>>
Bereich Informatik
>>
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