Julien Schmaltz

Available identifiers

Publication	Date of Publication	Type
Formal verification of a deadlock detection algorithm	2024-08-13	Paper
A macro for reusing abstract functions and theorems	2024-08-13	Paper
Verification of building blocks for asynchronous circuits	2024-08-13	Paper
A formalisation of \textsc{xMAS}	2024-08-13	Paper
Logic Gates, Circuits, Processors, Compilers and Computers	2021-10-26	Paper
Formalizing on chip communications in a functional style	2012-09-28	Paper
Proof pearl: a formal proof of Dally and Seitz' necessary and sufficient condition for deadlock-free routing in interconnection networks	2012-07-17	Paper
Analysis of a clock synchronization protocol for wireless sensor networks	2012-03-13	Paper
A formal proof of a necessary and sufficient condition for deadlock-free adaptive networks	2010-09-14	Paper
A conformance testing relation for symbolic timed automata	2010-09-10	Paper
The axiomatization of override and update	2010-06-11	Paper
Constrained symbolic simulation with Mathematica and ACL2	2010-02-05	Paper
On Conformance Testing for Timed Systems	2008-12-02	Paper
A functional formalization of on chip communications	2008-06-25	Paper
Formal Methods in Computer-Aided Design	2006-10-20	Paper
Theorem Proving in Higher Order Logics	2006-07-06	Paper

This page was built for person: Julien Schmaltz