Julliand, Jacques
VIAF ID: 38087907 ( Personal )
Permalink: http://viaf.org/viaf/38087907
Preferred Forms
- 200 _ | ‡a Julliand ‡b Jacques
- 100 1 _ ‡a Julliand, Jacques
-
-
- 100 1 _ ‡a Julliand, Jacques
-
-
-
- 100 1 _ ‡a Julliand, Jacques
- 100 1 _ ‡a Julliand, Jacques
Works
Title | Sources |
---|---|
Approches formelles pour le développement de logiciels | |
Automated test generation for statechart based on behaviour computation. | |
B 2007, 2006: | |
B 2007 : formal specification and development in B : 7th International Conference of B Users, Besançon, France, January 17-19, 2007 : proceedings | |
Classification de menaces d'erreurs par analyse statique, simplification syntaxique et test structurel de programmes | |
Classification of errors threats by static analysis, program sclicing and structural testing of programs. | |
concrete and relevant exploration of abstract event systems for automatic tests generation. | |
Contribution à la définition d'un modèle de calcul fonctionnel paralèlle | |
Contribution du raffinement à la vérification de systèmes sous hypothèses d'équité | |
Contribution to software verification combining tests and proofs. | |
Contribution to the automatic generation of tests from models and test schemas as dynamic selection criteria. | |
Contribution to the incremental verification of component-based timed system. | |
contributions to efficient model-based verificarion and validation. | |
Contributions to the design of a parallel functional calculus. | |
Cours et exercices corrigés d'algorithmique vérifier, tester et concevoir des programmes en les modélisant licence et master d'informatique | |
Development process contribution of applications specified with B method by validation using UML views and translation into object languages. | |
Expression des communications entre processus d'un programme parallèle par des types abstraits | |
Formal methods for extracting insider attacks from Information Systems. | |
Génération automatique de tests à partir de modèles SysML pour la validation fonctionnelle de systèmes embarqués | |
Génération de tests à partir de statecharts fondée sur le calcul de comportements | |
Méthodes formelles pour l'extraction d'attaques internes des Systèmes d'Information | |
Reformulation and verification of temporal properties in teh context of event systems refinement. | |
TAP 2012. | |
Tests and proofs : 6th International Conference, TAP 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings | |
Vérification dynamique formelle de propriétés temporelles sur des applications distribuées réelles | |
Vérification formelle et incrémentale de spécifications SysML pour la conception de systèmes à base de composants. | |
verification of B systems of events by model-checking PLTL : contribution to the reduction of the state explosion by using CLP(S) technics. | |
Vérification par model-checking modulaire de propriétés dynamiques PLTL exprimées dans le cadre de spécifications B événementielles | |
Vulnerability detection into Java Card bytecode verifier. |