|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 37 occurrences of 36 keywords
|
|
|
|
|
Results
Found 36 publication records. Showing 36 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jean-Paul Bodeveix, Mamoun Filali |
Event B Development of a Synchronous AADL Scheduler.  |
Electr. Notes Theor. Comput. Sci.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Elie Fares, Jean-Paul Bodeveix, Mamoun Filali |
Verification of Timed BPEL 2.0 Models. |
BMMDS/EMMSAD |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Elie Fares, Jean-Paul Bodeveix, Mamoun Filali |
Design of a BPEL Verification Tool. |
WS-FM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Paul Bodeveix, Abdeldjalil Boudjadar, Mamoun Filali |
An Alternative Definition for Timed Automata Composition. |
ATVA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhibin Yang, Kai Hu, Jean-Paul Bodeveix, Lei Pi, Dianfu Ma, Jean-Pierre Talpin |
Two Formal Semantics of a Subset of the AADL. |
ICECCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | T. Correa, Leandro Buss Becker, Jean-Marie Farines, Jean-Paul Bodeveix, Mamoun Filali, François Vernadat |
Supporting the Design of Safety Critical Systems Using AADL. |
ICECCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Loïc Besnard, Thierry Gautier, Julien Ouy, Jean-Pierre Talpin, Jean-Paul Bodeveix, Alexandre Cortier, Marc Pantel, Martin Strecker, G. Garcia, A. Rugina, Jérémy Buisson, Fabien Dagnat |
Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software |
FMA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernard Berthomieu, Jean-Paul Bodeveix, Christelle Chaudet, Silvano Dal-Zilio, Mamoun Filali, François Vernadat |
Formal Verification of AADL Specifications in the Topcased Environment. |
Ada-Europe |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Lei Pi, Jean-Paul Bodeveix, Mamoun Filali |
Modeling AADL Data Communication with BIP. |
Ada-Europe |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricardo Bedin França, Leandro Buss Becker, Jean-Paul Bodeveix, Jean-Marie Farines, Mamoun Filali |
Towards Safe Design of Synchronous Bus Protocols in Event-B. |
SBMF |
2009 |
DBLP DOI BibTeX RDF |
synchronous systems, Event-B, parameterized systems, bus protocols |
| 1 | Lei Pi, Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali, Kai Hu, Dianfu Ma |
A Comparative Study of FIACRE and TASM to Define AADL Real Time Concepts. |
ICECCS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Odile Nasr, M. Rached, Jean-Paul Bodeveix, Mamoun Filali |
Spécification et vérification d'un ordonnanceur en B via les automates temporisés. |
L'OBJET |
2008 |
DBLP BibTeX RDF |
|
| 1 | Jean-François Rolland, Jean-Paul Bodeveix, Mamoun Filali, David Chemouil, Dave Thomas |
Modes in Asynchronous Systems. |
ICECCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Paul Bodeveix, Mamoun Filali, Julia L. Lawall, Gilles Muller |
Automatic Verification of Bossa Scheduler Properties. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Paul Bodeveix, Raphaël Cavallero, David Chemouil, Mamoun Filali, Jean-François Rolland |
A mapping from AADL to Java-RTSJ. |
JTRES |
2007 |
DBLP DOI BibTeX RDF |
architecture analysis and design languages (AADL), Java, real-time systems, architecture description languages, real-time specification for Java (RTSJ) |
| 1 | Ricardo Bedin França, Jean-Paul Bodeveix, Mamoun Filali, Jean-François Rolland, David Chemouil, Dave Thomas |
The AADL behaviour annex - experiments and roadmap. |
ICECCS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Julien Brunel, Frédéric Cuppens, Nora Cuppens-Boulahia, Thierry Sans, Jean-Paul Bodeveix |
Security policy compliance with violation management. |
FMSE |
2007 |
DBLP DOI BibTeX RDF |
labeled kripke structure, temporal logic, security policy, deontic logic, violation |
| 1 | Julien Brunel, Jean-Paul Bodeveix, Mamoun Filali |
A State/Event Temporal Deontic Logic. |
DEON |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Odile Nasr, Jean-Paul Bodeveix, Mamoun Filali, Miloud Rached Irit |
Verification of a scheduler in B through a timed automata specification. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
verification, specification, timed automata, B method |
| 1 | Jean-Paul Bodeveix, David Chemouil, Mamoun Filali, Martin Strecker |
Towards formalising AADL in Proof Assistants. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Paul Bodeveix, Mamoun Filali, Julia L. Lawall, Gilles Muller |
Formal Methods Meet Domain Specific Languages. |
IFM |
2005 |
DBLP DOI BibTeX RDF |
scheduling, formal methods, refinements, decision procedure, DSL |
| 1 | Nouhad Amaneddine, Jean Paul Bahsoun, Jean-Paul Bodeveix |
TransM: A Structured Document Transformation Model. |
ISTA |
2004 |
DBLP BibTeX RDF |
|
| 1 | Bernard Berthomieu, Pierre-Olivier Ribet, François Vernadat, J. L. Bernartt, Jean-Marie Farines, Jean-Paul Bodeveix, Mamoun Filali, Gérard Padiou, Pierre Michel, Patrick Farail, Pierre Gauffilet, Pierre Dissaux, Jean-Luc Lambert |
Towards the verification of real-time systems in avionics: the Cotre approach. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Bazex, Jean-Paul Bodeveix, Thierry Millan, Christophe Le Camus, Christian Percebois |
Vérification de modèles UML fondée sur OCL. |
INFORSID |
2003 |
DBLP BibTeX RDF |
|
| 1 | Jean-Paul Bodeveix, Mamoun Filali |
Reduction and Quantifier Elimination Techniques for Program Validation. |
Formal Methods in System Design |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Paul Bodeveix, Mamoun Filali |
Type Synthesis in B and the Translation of B to PVS. |
ZB |
2002 |
DBLP DOI BibTeX RDF |
semantics, type theory, PVS, logical frameworks, B |
| 1 | Frédéric Cabestre, Christian Percebois, Jean-Paul Bodeveix |
Abstract machine construction through operational semantics refinements. |
Future Generation Comp. Syst. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Paul Bodeveix, Mamoun Filali |
Experimenting Acceleration Methods for the Validation of Infinite State Systems. |
ICDCS Workshop on Distributed System Validation and Verification |
2000 |
DBLP BibTeX RDF |
|
| 1 | Jean-Paul Bodeveix, Mamoun Filali |
FMona: A Tool for Expressing Validation Techniques over Infinite State Systems. |
TACAS |
2000 |
DBLP DOI BibTeX RDF |
abstraction, transition systems, monadic second order logic, model checker |
| 1 | Salam Majoul, Christian Percebois, Jean-Paul Bodeveix |
A Concurrent Object-Based Model and its Use for Coordinating Java Components. |
TOOLS |
1999 |
DBLP DOI BibTeX RDF |
Java, object-oriented programming, coordination, implementation, event, rewriting, software bus |
| 1 | Didier Plaindoux, Jean-Paul Bodeveix, Christian Percebois |
Types versus classes. |
L'OBJET |
1998 |
DBLP BibTeX RDF |
|
| 1 | Jean-Paul Bodeveix, Mamoun Filali |
On the Automatic Validation of Parameterized Unity Programs. |
IPPS/SPDP Workshops |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Paul Bodeveix, Mamoun Filali |
Towards the Automatic Verification of Atomic Memory Protocols. |
Parallel Processing Letters |
1997 |
DBLP BibTeX RDF |
|
| 1 | Jean-Paul Bodeveix, Mamoun Filali |
On the Refinement of symmetric memory protocols. |
TPHOLs |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Paul Bodeveix, Mamoun Filali, P. Roche |
Towards a HOL Theory and Memory. |
TPHOLs |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Paul Bodeveix, Érick Bizouarn |
A Parallel Prolog Execution Model Theoretical Approach and Experimental Results. |
IPPS |
1993 |
DBLP BibTeX RDF |
|
Displaying result #1 - #36 of 36 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")