logo EDITE Denis POITRENAUD
Identité
Denis POITRENAUD
État académique
Thèse soutenue
Laboratoire: personnel permanent
Voisinage
Ellipse bleue: doctorant, ellipse jaune: docteur, rectangle vert: permanent, rectangle jaune: HDR. Trait vert: encadrant de thèse, trait bleu: directeur de thèse, pointillé: jury d'évaluation à mi-parcours ou jury de thèse.
Productions scientifiques
JCV:ASC-10
Design and elaboration of 9K NbN ADC circuits
Applied Superconductivity Conference ASC-10, Washington DC, USA 2010-08
JCV:SSV-09
NbN Integrated SFQ Electronics Combined with Photonics on Silicon
Superconducting SFQ VLSI Workshop SSV'09, Fukuoka, Japan 2009-06
edite:1332792387293
Models and Analysis in Distributed Systems
eds. Haddad, Serge, Wiley 2011
edite:1332792337116
Branching processes of general Petri Nets
32nd International Conference on Petri Nets and Other Models of Concurrency (ICATPN 2011), Newcastle, UK 2011
http://arxiv.org/abs/1106.5700
Combining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model Checking
2011
http://www.springerlink.com/content/dm42n88k3404741r/
Feasibility Analysis for Robustness Quantification by Symbolic Model Checking
Vol. 39, No. 2, pp. 165-184 2011
edite:1332792411375
Self-Loop Aggregation Product - A New Hybrid Approach to On-the-Fly LTL Model Checking
9th International Symposium on Automated Technology for Verification and Analysis (ATVA'11), Taipei, Taiwan 2011
edite:1332792491785
Quantifying Robustness by Symbolic Model checking
1st Hardware Verification Workshop (CAV workshop) 2010
edite:13327925331015
Complementary Formal Approaches for Dependability Analysis
Evaluating the robustness of digital circuits with respect to soft errors has
Proc. 24th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems 2009
9781848210790
Petri Net Unfoldings - Properties
Petri Nets: Fundamental Models, Verification and Applications, eds. Diaz, Michel, Wiley-ISTE 2009
edite:13327925441110
Hierarchical Set Decision Diagrams and Regular Models
15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2009
edite:13327925551195
On-the-fly Emptiness Check of Transition-based Streett Automata
Proc. 7th International Symposium on Automated Technology for Verification and Analysis (ATVA), Macao SAR, China 2009