Concepedia

Julien Schmaltz

JS

Statistics

Publications

19

Citations

394

H-Index

13

Active since

2006

Affiliations

Radboud University Nijmegen(Current)

Open University of the Netherlands

The Open University

Techniques of Informatics and Microelectronics for Integrated Systems Architecture

Université Joseph Fourier

Julien Schmaltz is an author at Radboud University Nijmegen specializing in computer engineering, computer science, and formal methods.

Publications per year

2006–2014

19

Publications

19

Analysis of a clock synchronization protocol for wireless sensor networks

Faranak Heidarian, Julien Schmaltz, Frits Vaandrager · Theoretical Computer Science · 2011 · 38 citations · Full text

Computing, Computer Science, Computer Systems +14

Easy Formal Specification and Validation of Unbounded Networks-on-Chips Architectures

Freek Verbeek, Julien Schmaltz · ACM Transactions on Design Automation of Electronic Systems · 2012 · 35 citations

Computing, Computer Engineering, Computer Science +17

On Necessary and Sufficient Conditions for Deadlock-Free Routing in Wormhole Networks

Freek Verbeek, Julien Schmaltz · IEEE Transactions on Parallel and Distributed Systems · 2011 · 32 citations · Full text

Computing, Computer Engineering, Computer Science +15

A Generic Model for Formally Verifying NoC Communication Architectures: A Case Study

D. Borrione, Amr S. Helmy, Laurence Pierre et al. · 2007 · 31 citations

Computing, Computer Engineering, Computer Science +14

A Formal Approach to the Verification of Networks on Chip

D. Borrione, Amr S. Helmy, Laurence Pierre et al. · EURASIP Journal on Embedded Systems · 2009 · 30 citations · Full text

Computing, Computer Engineering, Computer Science +12

1–5 of 19