|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 18 occurrences of 15 keywords
|
|
|
|
|
Results
Found 32 publication records. Showing 32 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Faranak Heidarian, Julien Schmaltz, Frits W. Vaandrager |
Analysis of a clock synchronization protocol for wireless sensor networks.  |
Theor. Comput. Sci.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Freek Verbeek, Julien Schmaltz |
Easy Formal Specification and Validation of Unbounded Networks-on-Chips Architectures. |
ACM Trans. Design Autom. Electr. Syst. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Freek Verbeek, Julien Schmaltz |
Proof Pearl: A Formal Proof of Dally and Seitz' Necessary and Sufficient Condition for Deadlock-Free Routing in Interconnection Networks. |
J. Autom. Reasoning |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Freek Verbeek, Julien Schmaltz |
A Comment on "A Necessary and Sufficient Condition for Deadlock-Free Adaptive Routing in Wormhole Networks". |
IEEE Trans. Parallel Distrib. Syst. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Freek Verbeek, Julien Schmaltz |
On Necessary and Sufficient Conditions for Deadlock-Free Routing in Wormhole Networks. |
IEEE Trans. Parallel Distrib. Syst. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Freek Verbeek, Julien Schmaltz |
Formal verification of a deadlock detection algorithm |
ACL2 |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | David Hardin, Julien Schmaltz (eds.) |
Proceedings 10th International Workshop on the ACL2 Theorem Prover and its Applications |
ACL2 |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Julien Schmaltz |
Formal verification of a time-triggered hardware interface |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Freek Verbeek, Julien Schmaltz |
Automatic verification for deadlock in networks-on-chips with adaptive routing and wormhole switching. |
NOCS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Marko C. J. D. van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk (eds.) |
Interactive Theorem Proving - Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings |
ITP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Freek Verbeek, Julien Schmaltz |
A Fast and Verified Algorithm for Proving Store-and-Forward Networks Deadlock-Free. |
PDP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jasper Berendsen, David N. Jansen, Julien Schmaltz, Frits W. Vaandrager |
The axiomatization of override and update. |
J. Applied Logic |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sabrina von Styp, Henrik C. Bohnenkamp, Julien Schmaltz |
A Conformance Testing Relation for Symbolic Timed Automata. |
FORMATS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Freek Verbeek, Julien Schmaltz |
A Formal Proof of a Necessary and Sufficient Condition for Deadlock-Free Adaptive Networks. |
ITP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Freek Verbeek, Julien Schmaltz |
Formal specification of networks-on-chips: deadlock and evacuation. |
DATE |
2010 |
DBLP BibTeX RDF |
|
| 1 | Fides Aarts, Julien Schmaltz, Frits W. Vaandrager |
Inference and Abstraction of the Biometric Passport. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominique Borrione, Amr Helmy, Laurence Pierre, Julien Schmaltz |
A Formal Approach to the Verification of Networks on Chip. |
EURASIP J. Emb. Sys. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom van den Broek, Julien Schmaltz |
Towards a formally verified network-on-chip. |
FMCAD |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Wojciech Mostowski, Erik Poll, Julien Schmaltz, Jan Tretmans, Ronny Wichers Schreur |
Model-Based Testing of Electronic Passports. |
FMICS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Faranak Heidarian, Julien Schmaltz, Frits W. Vaandrager |
Analysis of a Clock Synchronization Protocol for Wireless Sensor Networks. |
FM |
2009 |
DBLP DOI BibTeX RDF |
wireless sensor networks, model checking, theorem proving, timed automata, clock synchronization, industrial application |
| 1 | Julien Schmaltz, Dominique Borrione |
A functional formalization of on chip communications. |
Formal Asp. Comput. |
2008 |
DBLP DOI BibTeX RDF |
Formal methods, Networks on chip, Automated theorem proving, Communication architectures |
| 1 | Dominique Borrione, Amr Helmy, Laurence Pierre, Julien Schmaltz |
Executable formal specification and validation of NoC communication infrastructures. |
SBCCI |
2008 |
DBLP DOI BibTeX RDF |
simulation, verification, theorem proving |
| 1 | Julien Schmaltz, Jan Tretmans |
On Conformance Testing for Timed Systems. |
FORMATS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominique Borrione, Amr Helmy, Laurence V. Pierre, Julien Schmaltz |
A Generic Model for Formally Verifying NoC Communication Architectures: A Case Study. |
NOCS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Julien Schmaltz |
A Formal Model of Clock Domain Crossing and Automated Verification of Time-Triggered Hardware. |
FMCAD |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Julien Schmaltz |
A Formal Model of Lower System Layers. |
FMCAD |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Julien Schmaltz, Dominique Borrione |
Formalizing On Chip Communications in a Functional Style. |
Trustworthy Software |
2006 |
DBLP BibTeX RDF |
|
| 1 | Julien Schmaltz, Dominique Borrione |
Towards a formal theory of on chip communications in the ACL2 logic. |
ACL2 |
2006 |
DBLP DOI BibTeX RDF |
formal theory, network on a chip, theorem proving, communication theory |
| 1 | Julien Schmaltz, Dominique Borrione |
A Generic Network on Chip Model. |
TPHOLs |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ghiath Al Sammane, Julien Schmaltz, Diana Toma, Pierre Ostier, Dominique Borrione |
TheoSim: combining symbolic simulation and theorem proving for hardware verification. |
SBCCI |
2004 |
DBLP DOI BibTeX RDF |
theorem proving, symbolic simulation, hardware verification |
| 1 | Julien Schmaltz, Dominique Borrione |
A Functional Approach to the Formal Specification of Networks on Chip. |
FMCAD |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ghiath Al Sammane, Diana Toma, Julien Schmaltz, Pierre Ostier, Dominique Borrione |
Constrained Symbolic Simulation with Mathematica and ACL2. |
CHARME |
2003 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #32 of 32 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")