According to our database1, Mamoun Filali authored at least 67 papers between 1985 and 2018.
Legend:Book In proceedings Article PhD thesis Other
Event algebra for transition systems composition application to timed automata.
Acta Inf., 2018
Event-B Formalization of a Variability-Aware Component Model Patterns Framework.
Proceedings of the Formal Aspects of Component Software - 15th International Conference, 2018
An Event-B framework for the validation of Event-B refinement plugins.
Automatic Refinement for Event-B through Annotated Patterns.
Proceedings of the 25th Euromicro International Conference on Parallel, 2017
A refinement-based compiler development for synchronous languages.
Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2017
Towards a verified compiler prototype for the synchronous language SIGNAL.
Frontiers Comput. Sci., 2016
An Event-B Development Process for the Distributed BIP Framework.
Proceedings of the Formal Methods and Software Engineering, 2016
Towards a verified transformation from AADL to the formal component-based language FIACRE.
Sci. Comput. Program., 2015
Real-Time Model Checking Support for AADL.
A verified transformation: from polychronous programs to a variant of clocked guarded actions.
Proceedings of the 17th International Workshop on Software and Compilers for Embedded Systems, 2014
Multi-Core Code Generation from Polychronous Programs with Time-Predictable Properties.
Proceedings of the First International Workshop on Architecture Centric Virtual Integration co-located with the 17th International Conference on Model Driven Engineering Languages and Systems, 2014
A Normalized Form for FIFO Protocols Traces, Application to the Replay of Mode-based Protocols.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2014
Formal Architecture Specification for Time Analysis.
Proceedings of the Architecture of Computing Systems - ARCS 2014, 2014
A comparative study of two formal semantics of the SIGNAL language.
Frontiers Comput. Sci., 2013
Event Algebra for Transition Systems Composition - Application to Timed Automata.
Proceedings of the 2013 20th International Symposium on Temporal Representation and Reasoning, 2013
Hardware architecture specification and constraint-based WCET computation.
Proceedings of the 8th IEEE International Symposium on Industrial Embedded Systems, 2013
Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems.
Proceedings of the Fundamentals of Software Engineering - 5th International Conference, 2013
A Mechanized Semantic Framework for Real-Time Systems.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2013
An Automatic Technique for Checking the Simulation of Timed Systems.
Proceedings of the Automated Technology for Verification and Analysis, 2013
Compositional Refinement for Real-Time Systems with Priorities.
Proceedings of the 19th International Symposium on Temporal Representation and Reasoning, 2012
Revising and Extending the Uppaal Communication Mechanism.
Proceedings of the Software Composition - 11th International Conference, 2012
Event B Development of a Synchronous AADL Scheduler.
Electr. Notes Theor. Comput. Sci., 2011
Design of a BPEL Verification Tool.
Proceedings of the Web Services and Formal Methods - 8th International Workshop, 2011
An Efficient Modeling and Execution Framework for Complex Systems Development.
Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011
Verification of Timed BPEL 2.0 Models.
Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2011
An Alternative Definition for Timed Automata Composition.
Proceedings of the Automated Technology for Verification and Analysis, 2011
Supporting the Design of Safety Critical Systems Using AADL.
Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems, 2010
Development of a Synchronous Subset of AADL.
Proceedings of the Abstract State Machines, 2010
Towards Safe Design of Synchronous Bus Protocols in Event-B.
Proceedings of the Formal Methods: Foundations and Applications, 2009
A Comparative Study of FIACRE and TASM to Define AADL Real Time Concepts.
Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009
Modeling AADL Data Communication with BIP.
Proceedings of the Reliable Software Technologies, 2009
Formal Verification of AADL Specifications in the Topcased Environment.
Proceedings of the Reliable Software Technologies, 2009
Spécification et vérification d'un ordonnanceur en B via les automates temporisés.
Model Based Architecting and Construction of Embedded Systems.
Proceedings of the Models in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28, 2008
Modes in Asynchronous Systems.
Proceedings of the 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008, 2008
UML&AADL '2007 grand challenges.
SIGBED Review, 2007
Automatic Verification of Bossa Scheduler Properties.
Electr. Notes Theor. Comput. Sci., 2007
A mapping from AADL to Java-RTSJ.
Proceedings of the 5th International Workshop on Java Technologies for Real-time and Embedded Systems, 2007
The AADL behaviour annex - experiments and roadmap.
Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007
A Mechanization of Phylogenetic Trees.
Proceedings of 4th International Verification Workshop in connection with CADE-21, 2007
Verification of a scheduler in B through a timed automata specification.
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006
A State/Event Temporal Deontic Logic.
Proceedings of the Deontic Logic and Artificial Normative Systems, 2006
Towards formalising AADL in Proof Assistants.
Electr. Notes Theor. Comput. Sci., 2005
Maximal Group Membership in Ad Hoc Networks.
Proceedings of the Parallel Processing and Applied Mathematics, 2005
Formal Methods Meet Domain Specific Languages.
Proceedings of the Integrated Formal Methods, 5th International Conference, 2005
Towards the verification of real-time systems in avionics: the Cotre approach.
Electr. Notes Theor. Comput. Sci., 2003
The Reconstruction of a Mobile Agent Computation and Its Validation.
Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003
Reduction and Quantifier Elimination Techniques for Program Validation.
Formal Methods in System Design, 2002
Type Synthesis in B and the Translation of B to PVS.
Proceedings of the ZB 2002: Formal Specification and Development in Z and B, 2002
FMona: A Tool for Expressing Validation Techniques over Infinite State Systems.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000
Describing Mobile Computations with Path Vectors.
Proceedings of the Procedings of the 4th International Conference on Principles of Distributed Systems, 2000
Refinement Based Validation of an Algorithm for Detecting Distributed Termination.
Proceedings of the Parallel and Distributed Processing, 2000
Experimenting Acceleration Methods for the Validation of Infinite State Systems.
Proceedings of the 2000 ICDCS Workshops, April 10, 2000, Taipei, Taiwan, ROC, 2000
The Observation: An Abstract Communication Mechanism.
Parallel Processing Letters, 1999
Modelling and Verifying Migration: A case study.
Proceedings of the Procedings of the 3rd International Conference on Principles of Distributed Systems. OPODIS 99, 1999
Parallel Programming: Models, Methods, and Languages - Introduction.
Proceedings of the Euro-Par '99 Parallel Processing, 5th International Euro-Par Conference, Toulouse, France, August 31, 1999
Tailoring UNITY to Distributed Program Design.
IPPS/SPDP Workshops, 1998
On the Automatic Validation of Parameterized Unity Programs.
IPPS/SPDP Workshops, 1998
Towards the Automatic Verification of Atomic Memory Protocols.
Parallel Processing Letters, 1997
Abstracting Communication to Reason about Distributed Algorithms.
Proceedings of the Distributed Algorithms, 10th International Workshop, 1996
On the Refinement of symmetric memory protocols.
Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1995
Towards a HOL Theory and Memory.
Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1994
The derivation of scheduling algorithms from a timing model.
Proceedings of the Sixth Euromicro Workshop on Real-Time Systems, 1994
Unity, as a Tool for Reactive Systems Specification and Derivation.
Proceedings of the Fifth Euromicro Workshop on Real-Time Systems, 1993
STRAda - An Ada Transformation and Distribution System.
Proceedings of the Ada: Moving Towards 2000, 1992
The use of Modula-2 for implementing a distributed kernel.
Software Engineering Journal, 1989
Distributed Control Through Task Migration via Abstract Networks.
Proceedings of the 5th International Conference on Distributed Computing Systems, 1985