|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 30 occurrences of 29 keywords
|
|
|
|
|
Results
Found 42 publication records. Showing 42 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 | Isabelle Perseil, Laurent Pautet, Jean-François Rolland, Mamoun Filali, Didier Delanote, Stefan Van Baelen, Wouter Joosen, Yolande Berbers, Frédéric Mallet, Dominique Bertrand, Sébastien Faucou, Abdelhafid Zitouni, Mahmoud Boufaïda, Lionel Seinturier, Joël Champeau, Thomas Abdoul, Peter H. Feiler, Chokri Mraidha, Sébastien Gérard |
An Efficient Modeling and Execution Framework for Complex Systems Development. |
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 | Mamoun Filali-Amine, Julia L. Lawall |
Development of a Synchronous Subset of AADL. |
ASM |
2010 |
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 | Iulian Ober, Stefan Van Baelen, Susanne Graf, Mamoun Filali, Thomas Weigert, Sébastien Gérard |
Model Based Architecting and Construction of Embedded Systems. |
MoDELS Workshops |
2008 |
DBLP DOI 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 | Mamoun Filali |
A Mechanization of Phylogenetic Trees. |
VERIFY |
2007 |
DBLP 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, 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 | Mamoun Filali, Valérie Issarny, Philippe Mauran, Gérard Padiou, Philippe Quéinnec |
Maximal Group Membership in Ad Hoc Networks. |
PPAM |
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 | 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 | Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec |
The Reconstruction of a Mobile Agent Computation and Its Validation. |
IPDPS |
2003 |
DBLP DOI BibTeX RDF |
validation, refinement, reconstruction, diffusing computation |
| 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 | 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 | Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec, Xavier Thirioux |
Refinement Based Validation of an Algorithm for Detecting Distributed Termination. |
IPDPS Workshops |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Quéinnec, Mamoun Filali, Philippe Mauran, Gérard Padiou |
Describing Mobile Computations with Path Vectors. |
OPODIS |
2000 |
DBLP BibTeX RDF |
|
| 1 | Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec |
The Observation: An Abstract Communication Mechanism. |
Parallel Processing Letters |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Luc Bougé, William F. McColl, Mamoun Filali, Henk J. Sips |
Parallel Programming: Models, Methods, and Languages - Introduction. |
Euro-Par |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec |
Modelling and Verifying Migration: A case study. |
OPODIS |
1999 |
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 | Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec |
Tailoring UNITY to Distributed Program Design. |
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 | Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec |
Abstracting Communication to Reason about Distributed Algorithms. |
WDAG |
1996 |
DBLP DOI 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 | G. Bazalgette, D. Bekele, C. Bernon, Mamoun Filali, J. M. Rigaud, A. Sayah |
STRAda - An Ada Transformation and Distribution System. |
Ada-Europe |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Claude Bétourné, Mamoun Filali, Gérard Padiou, A. Sayah |
Distributed Control Through Task Migration via Abstract Networks. |
ICDCS |
1985 |
DBLP BibTeX RDF |
|
Displaying result #1 - #42 of 42 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")