Petrucci, Laure, 19..-....
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
Petrucci, Laure.
Laure Petrucci
VIAF ID: 69240071 (Personal)
Permalink: http://viaf.org/viaf/69240071
Preferred Forms
-
100 0 _
‡a
Laure Petrucci
-
200 _ |
‡a
Petrucci
‡b
Laure
-
100 1 _
‡a
Petrucci, Laure
-
100 1 _
‡a
Petrucci, Laure
-
100 1 _
‡a
Petrucci, Laure
-
100 1 _ ‡a Petrucci, Laure
-
100 1 _ ‡a Petrucci, Laure
-
100 1 _
‡a
Petrucci, Laure
-
100 1 _
‡a
Petrucci, Laure,
‡d
19..-....
-
100 1 _ ‡a Petrucci, Laure.
4xx's: Alternate Name Forms (4)
Works
| Title | Sources |
|---|---|
| Abstraction et analyse de l'espace des états des réseaux de Pétri temporels |
|
| Abstraction et vérification modulaire des processus métier inter-entreprise. |
|
| Analyses de vivacité et environnement logiciel intelligent pour la gestion mémoire d’applications flux de données. |
|
| Analyses formelles des propriétés des systèmes dynamiques sous perturbations. |
|
| ANALYSIS TECHNIQUES FOR ALGEBRAIC PETRI NETS. |
|
| Application-based fault tolerance for numerical linear algebra at large scale |
|
| Applications and theory of Petri Nets : 32nd international conference, Petri Nets 2011, Newcastle, UK, June 20-24, 2011 : proceedings |
|
| BSP algorithms for LTL & CTL model checking of security protocols |
|
| Un cadre polyédrique pour les problèmes d'accessibilité dans les réseaux de Petri. |
|
| Compilation of Petri nets : high-level models and process symmetries. |
|
| Contribution à la mise en oeuvre d'un outillage unifié pour faciliter la qualification d'environnements normés |
|
| Contribution à la vérification de modèles bornés basée sur la résolution SAT. |
|
| Contribution to SAT-based Bounded Model Checking |
|
| Critical Systems: Formal Methods and Automated Verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings |
|
| Exploitation of dynamic symmetries for solving SAT problems. |
|
| Formal modeling and analysis of timed systems 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023 : proceedings |
|
| Formal Specification and Validation of a Data-driven Software System for Fire Risk Prediction |
|
| Formal verification of secured routing protocols |
|
| Guaranteed properties of dynamical systems under perturbations |
|
| Improved Multi-Core Nested Depth-First Search |
|
| Liveness analysis techniques and run-time environment for memory management of dataflow applications |
|
| A method for designing critical software system coupled with a formal verification approach. |
|
| Méthode de conception de logiciel système critique couplée à une démarche de vérification formelle |
|
| Méthodes formelles pour les systèmes répartis et coopératifs |
|
| Méthodologie de conception des modèles exprimés en réseaux Petri : Raffinement des réseaux de Petri colorés |
|
| Model checking self modifying code |
|
| Modélisation et analyse des systèmes ouverts reconfigurables. |
|
| Modélisation formelle de systèmes de drones civils à l'aide de méthodes probabilistes paramétrées |
|
| On the theory and practice of updatable parametric timed automata |
|
| Online event flow processing for complex behaviour recognition. |
|
| Optimisation des échanges dans le routage géocast pour les réseaux de Véhicules Ad Hoc VANETs. |
|
| Parameter Synthesis Algorithms for Parametric Interval Markov Chains |
|
| Parametric Statistical model checking of UAV flight plan. |
|
| Partial order reduction for timed systems |
|
| A polyhedral framework for reachability problems in Petri Nets |
|
| Quasi optimal model checking for concurrent systems |
|
| Reconnaissance de comportements complexes par traitement en ligne de flux d'évènements |
|
| Réduction d'ordre partiel pour les systèmes temporisés. |
|
| Sixth International Conference on Application of Concurrency to System Design, c2006: |
|
| Spécification et vérification de protocole de distribution de stockage NEO. |
|
| Study of the Internet connectivity of Reunion Island. |
|
| Synthèse symbolique de contrôleurs pour systèmes temporisés : robustesse et optimalité. |
|
| Système coopératif de type égal-à-égal pour la recommandation : application à la gestion et la recommandation de références bibliographiques |
|
| Systèmes répartis en action : de l'embarqué aux systèmes à large échelle |
|
| Tolérance aux pannes basée sur les applications pour l’algèbre linéaire numérique à grande échelle. |
|
| Toward a unified tooling to ease the qualification process of standardized environments. |
|
| Transformations of ω-automata for the synthesis of reactive systems. |
|
| Vérification de code auto-modifiant. |
|
| Vérification de logiciels : techniques et outils du model-checking |
|
| Vérification de systèmes infinis et apprentissage automatique. |
|
| Vérification efficace des automates temporisés paramétrés. |
|
| Verification of Infinite-State Systems and Machine Learning |
|
| Vérification parallèle de systémes concurrents en utilisant le Graphe d'Observation Symbolique |
|
