Spécification formelle And NotP. D. Mosses
List of bibliographic references
Number of relevant bibliographic references: 38.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000003 | Aurel Randolph [Canada] ; Abdessamad Imine [France] ; Hanifa Boucheneb [Canada] ; Alejandro Quintero [Canada] | Spécification et analyse d'un protocole de contrôle d'accès optimiste pour éditeurs collaboratifs répartis |
| 000031 | Florent Delomier [France] ; Bertrand David [France] ; Cyril Benazet [France] ; René Chalon [France] | Learning Games Collaboratifs Contextualisés: Conception et mise en œuvre |
| 000069 | K. Joost Batenburg [Pays-Bas, Belgique] ; Willem Jan Palenstijn [Belgique] ; Peter Balazs [Hongrie] ; Jan Sijbers [Belgique] | Dynamic angle selection in binary tomography |
| 000073 | Véronique Cortier [France] ; Ben Smyth [France] | Attacking and fixing Helios: An analysis of ballot secrecy |
| 000263 | Arnaud Lanoix [France] ; Samuel Colin [France] ; Jeanine Souquieres [France] | Développement formel par composants : Assemblage et vérification à l'aide de B |
| 000294 | Akram Idani [France] ; Yves Ledru [France] ; Didier Bert [France] | Approche formelle pour la dérivation de vues structurelles UML à partir de développements B : Formalisation, preuve et extension pour la prise en compte des raffinements B |
| 000333 | NINH THUAN TRUONG [France] ; Jeanine Souquieres [France] | Verification of UML model elements using B : Software Engineering and Software |
| 000339 | Dominique Cansell [France] ; Dominique Méry [France] ; Joris Rehm [France] | Time constraint patterns for event B development |
| 000348 | Alexander Knapp [Allemagne] ; Stephan Merz [France] ; Martin Wirsing [Allemagne] ; Julia Zappe [Allemagne, France] | Specification and refinement of mobile systems in MTLA and mobile UML |
| 000370 | Bill Stoddart [France] ; Dominique Cansell [France] ; Frank Zeyda [France] | Modelling and proof analysis of interrupt driven scheduling |
| 000375 | Nazim Benaïsa [France] ; Dominique Cansell [France] ; Dominique Méry [France] | Integration of security policy into system modeling |
| 000428 | Dominique Cansell [France] ; Dominique Méry [France] ; Cyril Proch [France] | Un système d'analyse de la qualité : de la norme au produit en passant par le raffinement |
| 000459 | Jean-Raymond Abrial [Suisse] ; Dominique Cansell [France] ; Dominique Méry [France] | Refinement and reachability in Event―B |
| 000508 | Mathieu Baudet [France] ; Véronique Cortier [France] ; Steve Kremer [France] | Computationally sound implementations of equational theories against passive adversaries |
| 000509 | Yann Zimmermann [France] ; Diana Toma [France] | Component reuse in B using ACL2 |
| 000701 | Jean-Raymond Abrial ; Dominique Cansell [France] ; Dominique Méry [France] | Formal derivation of spanning trees algorithms |
| 000765 | Maritta Heisel [Allemagne] ; Thomas Santen [Allemagne] ; Jeanine Souquieres [France] | Toward a formal model of software components |
| 000767 | M. G. J. Van Den Brand [Pays-Bas, France] ; P.-E. Moreau [France] ; C. Ringeissen [France] | The ELAN environment: a rewriting logic environment based on ASF+SDF technology: System demonstration |
| 000801 | Dominique Cansell [France] ; Ganesh Gopalakrishnan [États-Unis] ; Mike Jones [États-Unis] ; Dominique Méry [France] ; Airy Weinzoepflen [France] | Incremental proof of the producer/consumer property for the PCI protocol |
| 000817 | HUNG LEDANG [France] ; Jeanine Souquieres [France] | Contributions for modelling UML state-charts in B |
| 000826 | Egidio Astesiano [Italie] ; Michel Bidoit [France] ; Hélène Kirchner [France] ; Bernd Krieg-Brückner [Allemagne] ; Peter D. Mosses [Danemark] ; Donald Sannella [Royaume-Uni] ; Andrzej Tarlecki [Pologne] | CASL: the Common Algebraic Specification Language |
| 000841 | Jean-Raymond Abriall ; Dominique Cansell [France] ; Guy Laffitte [France] | "higher-order" mathematics in B |
| 000977 | Dominique Cansell [France] ; Dominique Méry [France] ; Stephan Merz [Allemagne] | Predicate diagrams for the verification of reactive systems |
| 000978 | D. Cansell [France] ; D. Mery [France] | Playing with abstraction and refinement for managing features interactions : A methodological approach to feature interaction problem |
| 000A01 | P. Gibson [Irlande (pays)] ; D. Mery [France] | Formal modelling of services for getting a better understanding of the feature interaction problem : A multi-view approach |
| 000A23 | Eric Meyer [France] ; Thomas Santen [Allemagne] | Behavioral conformance verification in an integrated approach using UML and B |
| 000A53 | M. Heisel [Allemagne] ; J. Souquieres [France] | De l'élicitation des besoins à la spécification formelle |
| 000B04 | E. Meyer [France] ; J. Souquieres [France] | A systematic approach to transform OMT diagrams to a B specification |
| 000B07 | M. Heisel [Allemagne] ; J. Souquieres [France] | A method for requirements elicitation and formal specification |
| 000B17 | B. Mermet [France] ; D. Mery [France] ; D. Samborski [France] | Spécifications de services : une approche avec B |
| 000B26 | T. Lambolais [France] ; N. Levy [France] ; J. Souquieres [France] | Assistance au développement de spécifications de protocoles de communication |
| 000B35 | J.-F. Petin [France] ; G. Morel [France] ; D. Mery [France] ; P. Lamboley [France] | Process control engineering : Contribution to a formal structuring framework with the B method |
| 000B44 | B. Gramlich [France] | Modular aspects of rewrite-based specifications |
| 000B72 | P.-E. Moreau [France] ; H. Kirchner [France] | A compiler for rewrite programs in associative-commutative theories |
| 000C21 | N. Levy [France] ; J. Souquieres [France] | Modelling specification construction by successive approximations |
| 000C31 | B. Chetali [États-Unis] ; B. Heyd [États-Unis] | Formal verification of concurrent programs in LP and in COQ : A comparative analysis |
| 000C73 | A. Bouhoula [France] | Using induction and rewriting to verify and complete parameterized specifications |
| 000C83 | J. Souquieres [France] ; N. Levy [France] | PROPLANE : A specification development environment |
| This area was generated with Dilib version V0.6.33. |  |