Results 1-20 of 53 (Show all)

TitleYear of publicationAuthor(s)
Compositional Characterization of Observable Program Properties uniba/442862018Steffen, B.; Barry Jay, C.; Mendler, Michael
An asynchronous process algebra with multiple clocks uniba/443202018Andersen, Henrik Reif; Mendler, Michael
Newtonian Arbiters Cannot be Proven Correct uniba/442852018Mendler, Michael ; Stroup, Terry
Constrained Proofs : A Logic for Dealing with Behavioural Constraints in Formal Hardware Verification uniba/442872018Mendler, Michael
Die formale Validierung einer "Bausteintafel" delay-insensitiver Grundelemente uniba/442882018Reinhardt, Tilmann; Mendler, Michael ; Stroup, Terry
A Modal Logic for Handling Behavioural Constraints in Formal Hardware Verification uniba/443322018Mendler, Michael
Denotational Fixed Point Semantics for Constructive Scheduling of Synchronous Concurrency uniba/217132016Mendler, Michael ; von Hanxleden, Reinhard; Fuhrmann, Insa; Aguado, Joaquin
On the Computational Interpretation of CKn for Contextual Information Processing – Ancillary Material uniba/61572014Scheele, Stephan M. ; Mendler, Michael
Grounding Synchronous Deterministic Concurrency in Sequential Programming uniba/207932014Aguado, Joaquin ; Mendler, Michael ; von Hanxleden, Reinhard; Fuhrmann, Insa
On the Computational Interpretation of CKn for Contextual Information Processing uniba/211542014Mendler, Michael ; Scheele, Stephan M. 
SCCharts : Sequentially constructive statecharts for safety-critical applications ; HW/SW-Synthesis for a Conservative Extension of Synchronous Statecharts uniba/211632014von Hanxleden, Reinhard; Duderstadt, Björn; Motika, Christian; Smyth, Steven; Mendler, Michael ; Aguado, Joaquin ; Mercer, Stephen; O'Brien, Owen
Grounding Synchronous Deterministic Concurrency in Sequential Programming uniba/211292014Aguado, Joaquin ; Mendler, Michael ; von Hanxleden, Reinhard; Fuhrmann, Insa
Sequentially constructive concurrency : A conservative extension of the synchronous model of computation uniba/211892013Hanxleden, Reinhard von; Mendler, Michael ; Aguado, Joaquin ; Duderstadt, Björn; Fuhrmann, Insa; Motika, Christian; Mercer, Stephen; O'Brien, Owen
Constructive Boolean circuits and the exactness of timed ternary simulation uniba/11132012Mendler, Michael ; Shiple, Thomas R.; Berry, Gérard
An Algebra of Synchronous Scheduling Interfaces uniba/42662011Mendler, Michael
Computing with streams uniba/54922011Aguado, Joaquin ; Mendler, Michael
Unifying Synchronous Data and Control Flow in the Lazy Lambda Calculus uniba/54412011Aguado, Joaquin ; Mendler, Michael
Constructive semantics for instantaneous reactions uniba/54502011Aguado, Joaquin ; Mendler, Michael
Cut-free Gentzen Calculus for Multimodal CK uniba/54512011Mendler, Michael ; Scheele, Stephan M. 
Is observational congruence on µ-expressions axiomatisable in equational horn logic? uniba/38062010Mendler, Michael ; Lüttgen, Gerald