Julien Schmaltz

57 papers A* 1A 4B 10C 5Journal 12Unranked 22

Year	Rank	Type	Title / Venue / Authors
2021	—	`book`	Logic Gates, Circuits, Processors, Compilers and Computers Jan Friso Groote, Rolf Morel, Julien Schmaltz, Adam Watkins
2020	B	`conf`	Effective System Level Liveness Verification. FMCAD Alexander Fedotov, Jeroen J. A. Keiren, Julien Schmaltz
2018	A	`conf`	Automatic generation of hardware checkers from formal micro-architectural specifications. DATE Alexander Fedotov, Julien Schmaltz
2018	A*	`conf`	Formal micro-architectural analysis of on-chip ring networks. DAC Perry van Wesel, Julien Schmaltz
2016	—	`conf`	Modeling Information Routing with Noninterference. MILS@HiPEAC Ruud Koolen, Julien Schmaltz
2015	A	`conf`	Automatic extraction of micro-architectural models of communication fabrics from register transfer level designs. DATE Sebastiaan J. C. Joosten, Julien Schmaltz
2015	—	`conf`	Formal API Specification of the PikeOS Separation Kernel. NFM Freek Verbeek, Oto Havle, Julien Schmaltz, Sergey Tverdyshev, Holger Blasum, Bruno Langenstein, Werner Stephan, Burkhart Wolff, Yakoub Nemouchi
2015	—	`conf`	Formal Methods for MILS: Formalisations of the GWV Firewall. MILS@HiPEAC Ruud Koolen, Julien Schmaltz
2015	C	`conf`	Process algebra semantics & reachability analysis for micro-architectural models of communication fabrics. MEMOCODE Sanne Wouda, Sebastiaan J. C. Joosten, Julien Schmaltz
2014	J	`jnl`	A Decision Procedure for Deadlock-Free Routing in Wormhole Networks. IEEE Trans. Parallel Distributed Syst. Freek Verbeek, Julien Schmaltz
2014	J	`jnl`	Formal Specification of a Generic Separation Kernel. Arch. Formal Proofs Freek Verbeek, Sergey Tverdyshev, Oto Havle, Holger Blasum, Bruno Langenstein, Werner Stephan, Yakoub Nemouchi, Abderrahmane Feliachi, Burkhart Wolff, Julien Schmaltz
2014	C	`conf`	Inference of channel types in micro-architectural models of on-chip communication networks. VLSI-SoC Bernard van Gastel, Freek Verbeek, Julien Schmaltz
2014	B	`conf`	On Two Models of Noninterference: Rushby and Greve, Wilding, and Vanfleet. SAFECOMP Adrian Garcia Ramirez, Julien Schmaltz, Freek Verbeek, Bruno Langenstein, Holger Blasum
2014	—	`ed.`	Proceedings Twelfth International Workshop on the ACL2 Theorem Prover and its Applications, Vienna, Austria, 12-13th July 2014. ACL2 Freek Verbeek, Julien Schmaltz
2014	A	`conf`	Scalable liveness verification for communication fabrics. DATE Sebastiaan J. C. Joosten, Julien Schmaltz
2013	—	`conf`	A Macro for Reusing Abstract Functions and Theorems ACL2 Sebastiaan J. C. Joosten, Bernard van Gastel, Julien Schmaltz
2013	—	`conf`	A formalisation of XMAS ACL2 Bernard van Gastel, Julien Schmaltz
2013	—	`conf`	Formal Deadlock Verification for Click Circuits. ASYNC Freek Verbeek, Sebastiaan J. C. Joosten, Julien Schmaltz
2013	C	`conf`	Generation of inductive invariants from register transfer level designs of communication fabrics. MEMOCODE Sebastiaan J. C. Joosten, Julien Schmaltz
2013	—	`conf`	Verification of Building Blocks for Asynchronous Circuits ACL2 Freek Verbeek, Julien Schmaltz
2012	—	`conf`	A formally verified deadlock-free routing function in a fault-tolerant NoC architecture. SBCCI Abdulaziz Alhussien, Nader Bagherzadeh, Freek Verbeek, Bernard van Gastel, Julien Schmaltz
2012	J	`jnl`	Analysis of a clock synchronization protocol for wireless sensor networks. Theor. Comput. Sci. Faranak Heidarian, Julien Schmaltz, Frits W. Vaandrager
2012	—	`conf`	Automatic generation of deadlock detection algorithms for a family of microarchitecture description languages of communication fabrics. HLDVT Freek Verbeek, Julien Schmaltz
2012	J	`jnl`	Easy Formal Specification and Validation of Unbounded Networks-on-Chips Architectures. ACM Trans. Design Autom. Electr. Syst. Freek Verbeek, Julien Schmaltz
2012	J	`jnl`	Proof Pearl: A Formal Proof of Dally and Seitz' Necessary and Sufficient Condition for Deadlock-Free Routing in Interconnection Networks. J. Autom. Reason. Freek Verbeek, Julien Schmaltz
2012	J	`jnl`	Towards the formal verification of cache coherency at the architectural level. ACM Trans. Design Autom. Electr. Syst. Freek Verbeek, Julien Schmaltz
2011	J	`jnl`	A Comment on "A Necessary and Sufficient Condition for Deadlock-Free Adaptive Routing in Wormhole Networks". IEEE Trans. Parallel Distributed Syst. Freek Verbeek, Julien Schmaltz
2011	C	`conf`	A Fast and Verified Algorithm for Proving Store-and-Forward Networks Deadlock-Free. PDP Freek Verbeek, Julien Schmaltz
2011	—	`conf`	An Experience Report on an Industrial Case-Study about Timed Model-Based Testing with UPPAAL-TRON. ICST Workshops Carsten Rütz, Julien Schmaltz
2011	—	`conf`	Automatic verification for deadlock in networks-on-chips with adaptive routing and wormhole switching. NOCS Freek Verbeek, Julien Schmaltz
2011	—	`conf`	Formal verification of a deadlock detection algorithm ACL2 Freek Verbeek, Julien Schmaltz
2011	J	`jnl`	Formal verification of a time-triggered hardware interface CoRR Julien Schmaltz
2011	B	`conf`	Hunting deadlocks efficiently in microarchitectural models of communication fabrics. FMCAD Freek Verbeek, Julien Schmaltz
2011	B	`ed.`	Interactive Theorem Proving - Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings ITP Marko C. J. D. van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk
2011	J	`jnl`	On Necessary and Sufficient Conditions for Deadlock-Free Routing in Wormhole Networks. IEEE Trans. Parallel Distributed Syst. Freek Verbeek, Julien Schmaltz
2011	—	`ed.`	Proceedings 10th International Workshop on the ACL2 Theorem Prover and its Applications, ACL2 2011, Austin, Texas, USA, November 3-4, 2011. ACL2 David S. Hardin, Julien Schmaltz
2010	—	`conf`	A Conformance Testing Relation for Symbolic Timed Automata. FORMATS Sabrina von Styp, Henrik C. Bohnenkamp, Julien Schmaltz
2010	B	`conf`	A Formal Proof of a Necessary and Sufficient Condition for Deadlock-Free Adaptive Networks. ITP Freek Verbeek, Julien Schmaltz
2010	A	`conf`	Formal specification of networks-on-chips: deadlock and evacuation. DATE Freek Verbeek, Julien Schmaltz
2010	—	`conf`	Inference and Abstraction of the Biometric Passport. ISoLA (1) Fides Aarts, Julien Schmaltz, Frits W. Vaandrager
2010	J	`jnl`	The axiomatization of override and update. J. Appl. Log. Jasper Berendsen, David N. Jansen, Julien Schmaltz, Frits W. Vaandrager
2009	J	`jnl`	A Formal Approach to the Verification of Networks on Chip. EURASIP J. Embed. Syst. Dominique Borrione, Amr Helmy, Laurence Pierre, Julien Schmaltz
2009	B	`conf`	Analysis of a Clock Synchronization Protocol for Wireless Sensor Networks. FM Faranak Heidarian, Julien Schmaltz, Frits W. Vaandrager
2009	C	`conf`	Model-Based Testing of Electronic Passports. FMICS Wojciech Mostowski, Erik Poll, Julien Schmaltz, Jan Tretmans, Ronny Wichers Schreur
2009	B	`conf`	Towards a formally verified network-on-chip. FMCAD Tom van den Broek, Julien Schmaltz
2008	J	`jnl`	A functional formalization of on chip communications. Formal Aspects Comput. Julien Schmaltz, Dominique Borrione
2008	—	`conf`	Executable formal specification and validation of NoC communication infrastructures. SBCCI Dominique Borrione, Amr Helmy, Laurence Pierre, Julien Schmaltz
2008	—	`conf`	On Conformance Testing for Timed Systems. FORMATS Julien Schmaltz, Jan Tretmans
2007	B	`conf`	A Formal Model of Clock Domain Crossing and Automated Verification of Time-Triggered Hardware. FMCAD Julien Schmaltz
2007	—	`conf`	A Generic Model for Formally Verifying NoC Communication Architectures: A Case Study. NOCS Dominique Borrione, Amr Helmy, Laurence V. Pierre, Julien Schmaltz
2006	B	`conf`	A Formal Model of Lower System Layers. FMCAD Julien Schmaltz
2006	—	`conf`	Formalizing On Chip Communications in a Functional Style. Trustworthy Software Julien Schmaltz, Dominique Borrione
2006	—	`conf`	Towards a formal theory of on chip communications in the ACL2 logic. ACL2 Julien Schmaltz, Dominique Borrione
2005	—	`conf`	A Generic Network on Chip Model. TPHOLs Julien Schmaltz, Dominique Borrione
2004	B	`conf`	A Functional Approach to the Formal Specification of Networks on Chip. FMCAD Julien Schmaltz, Dominique Borrione
2004	—	`conf`	TheoSim: combining symbolic simulation and theorem proving for hardware verification. SBCCI Ghiath Al Sammane, Julien Schmaltz, Diana Toma, Pierre Ostier, Dominique Borrione
2003	—	`conf`	Constrained Symbolic Simulation with Mathematica and ACL2. CHARME Ghiath Al Sammane, Diana Toma, Julien Schmaltz, Pierre Ostier, Dominique Borrione