About: Mamoun Filali

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Mamoun Filali Goto Sponge NotDistinct Permalink

An Entity of Type : foaf:Person, within Data Space : data.idref.fr associated with source document(s)

Attributes	Values
type	Person
sameAs	Filali, Mamoun (19..-.... ; chercheur en informatique) Filali, Mamoun (19..-.... ; chercheur en informatique) Filali, Mamoun (19..-.... ; chercheur en informatique) Filali, Mamoun (19..-.... ; chercheur en informatique) Filali, Mamoun (19..-.... ; chercheur en informatique)
alternative label	Filali Amine, Mamoun
Life Event	http://www.idref.fr/033384959/birth
bnf-onto:FRBNF	12425608(xsd:integer)
preferred label	Filali, Mamoun (19..-.... ; chercheur en informatique)
name	Mamoun Filali
dbpedia-owl:citizenship	http://sws.geonames.org/3017382/
Language	http://lexvo.org/id/iso639-3/fra
isni:identifierValid	0000000000288420
Given name	Mamoun
familyName	Filali
has biographical i...tion (Deprecated)	Chargé de recherches au CNRS. Chercheur à l'Institut de recherche en Informatique de Toulouse (IRIT) (en 1994)
gender	male
ORCID iD	0000-0001-5387-6805
Scopus ID	7004744985
is sameAs of	Filali, Mamoun (19..-.... ; chercheur en informatique)
is Thesis advisor of	http://www.sudoc.fr/118436406/id http://www.sudoc.fr/162367937/id http://www.sudoc.fr/171622294/id Real-time systems refinement, application to the verification of web services Approche ADL pour la modélisation d'architecture basée sur les contraintes (calcul de WCET) http://www.sudoc.fr/122345002/id http://www.sudoc.fr/186409494/id http://www.sudoc.fr/186357893/id Combinaison des logiques temporelle et déontique pour la spécification de politiques de sécurité http://www.sudoc.fr/172532116/id http://www.sudoc.fr/172534984/id http://www.sudoc.fr/204085446/id Sémantique compositionnelle et raffinement de systèmes temporisés, application aux automates temporisés d'UPPAAL et au langage FIACRE http://www.sudoc.fr/123612683/id Une théorie mécanisée des arbres réguliers en théorie des types dépendants http://www.sudoc.fr/204396433/id http://www.sudoc.fr/122815335/id http://www.sudoc.fr/14734820X/id http://www.sudoc.fr/147326451/id http://www.sudoc.fr/171658531/id Spécification et vérification des ordonnanceurs temps réel en B http://www.sudoc.fr/123594413/id Développement et validation d'architectures dynamiques http://www.sudoc.fr/246990090/id Spécification et vérification des systèmes temps réel réactifs en B http://www.sudoc.fr/248038893/id Décomposition formelle des spécifications centralisées Event-B, application aux systèmes distribués BIP http://www.sudoc.fr/232384460/id http://www.sudoc.fr/247191485/id http://www.sudoc.fr/232373817/id http://www.sudoc.fr/247034142/id http://www.sudoc.fr/247021539/id
is Author of	http://www.sudoc.fr/04303361X/id http://www.sudoc.fr/003358356/id Modes in Asynchronous Systems Formal Architecture Specification for Time Analysis Hardware architecture specification and constraint-based WCET computation Un processus de développement Event-B pour des applications distribuées Automatic Refinement for Event-B through Annotated Patterns Automatic Verification of Bossa Scheduler Properties Formal Verification of AADL Specifications in the Topcased Environment Event-B Formalization of a Variability-Aware Component Model Patterns Framework Event algebra for transition systems composition Application to timed automata Multi-core Code Generation from Polychronous Programs with Time-Predictable Properties Maximal Group Membership in Ad Hoc Networks Towards a verified compiler prototype for the synchronous language SIGNAL Towards formalising AADL in Proof Assistants A constraint-based WCET computation framework Behavioural descriptions in architecture description languages Application to AADL An Automatic Technique for Checking the Simulation of Timed Systems Johnson's procedure: mechanization and parallelization An Approach to Generate the Traceability Between Restricted Natural Language Requirements and AADL Models Verification Based Development Process for Embedded Systems Vérification automatique de propriétés d'ordonnanceurs Bossa Multi-core Code Generation from Polychronous Programs with Time-Predictable Properties (ACVI 2014) A Mechanized Semantic Framework for Real-Time Systems Applying the B formal method to the Bossa domain-specific language Towards a verified transformation from AADL to the formal component-based language FIACRE An Event-B development process for the distributed BIP framework (Journées FAC Toulouse 2016) The AADL behaviour annex -- experiments and roadmap Model checking temps-réel pour AADL A Normalized Form for FIFO Protocols Traces, Application to the Replay of Mode-based Protocols Constraint-based Design of Avionics Platform: Preliminary Design Exploration https://hal.archives-ouvertes.fr/hal-00788450#id Synoptic: a domain-specific modeling language for space on-board application software SPaCIFY: a Formal Model-Driven Engineering for Spacecraft On-Board Software A comparative study of two formal semantics of the SIGNAL language Event-B Formalization of Event-B Contexts A mapping from AADL to Java-RTSJ Towards a formal semantics for AADL execution model Mechanically Verifying the Fundamental Liveness Property of the Chord Protocol Towards a simple and safe Objective Caml compiling framework for the synchronous language SIGNAL http://hub.abes.fr/springer/periodical/12243/1994/volume_49/issue_5_6/B96AC7E83485736DE053120B220A8379/w Formal Veriﬁcation of AADL models with Fiacre and Tina Fiacre: an Intermediate Language for Model Verification in the Topcased Environment The COTRE Project: How to model and verify Real Time Architecture? https://hal.archives-ouvertes.fr/hal-00652435#id Event Algebra for Transition Systems Composition - Application to Timed Automata Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems

Faceted Search & Find service v1.13.91 as of Aug 16 2018

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3229 as of May 14 2019, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (70 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software