Mamoun Filali
Orcid: 0000-0001-5387-6805
According to our database1,
Mamoun Filali
authored at least 82 papers
between 1985 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the Rigorous State-Based Methods - 10th International Conference, 2024
Correct Pattern-Based Development Through Refinements and Weakest Preconditions Calculus.
Proceedings of the Formal Aspects of Component Software - 20th International Conference, 2024
2023
Proceedings of the Rigorous State-Based Methods - 9th International Conference, 2023
2021
Multi-task Ada code generation from synchronous dataflow programs on multi-core: Approach and industrial study.
Sci. Comput. Program., 2021
C2AADL_Reverse: A model-driven reverse engineering approach to development and verification of safety-critical software.
J. Syst. Archit., 2021
Exploiting augmented intelligence in the modeling of safety-critical autonomous systems.
Formal Aspects Comput., 2021
Proceedings of the IEEE 45th Annual Computers, Software, and Applications Conference, 2021
Proceedings of the Rigorous State-Based Methods - 8th International Conference, 2021
2020
An Approach to Generate the Traceability Between Restricted Natural Language Requirements and AADL Models.
IEEE Trans. Reliab., 2020
Sci. Comput. Program., 2020
2019
Towards a simple and safe Objective Caml compiling framework for the synchronous language SIGNAL.
Frontiers Comput. Sci., 2019
Proceedings of the 24th International Conference on Engineering of Complex Computer Systems, 2019
Automated Ada Code Generation from Synchronous Dataflow Programs on Multicore: Approach and Industrial Study.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2019
Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019
2018
Acta Informatica, 2018
Proceedings of the 16th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2018
2017
Proceedings of the 25th Euromicro International Conference on Parallel, 2017
Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2017
2016
Frontiers Comput. Sci., 2016
Proceedings of the Formal Methods and Software Engineering, 2016
2015
Towards a verified transformation from AADL to the formal component-based language FIACRE.
Sci. Comput. Program., 2015
2014
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
Proceedings of the Architecture of Computing Systems - ARCS 2014, 2014
2013
Frontiers Comput. Sci., 2013
Proceedings of the 8th IEEE International Symposium on Industrial Embedded Systems, 2013
Proceedings of the Fundamentals of Software Engineering - 5th International Conference, 2013
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2013
Proceedings of the Automated Technology for Verification and Analysis, 2013
2012
Proceedings of the 19th International Symposium on Temporal Representation and Reasoning, 2012
Proceedings of the Software Composition - 11th International Conference, 2012
2011
Proceedings of the B 2011 Workshop, 2011
Proceedings of the Web Services and Formal Methods - 8th International Workshop, 2011
Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011
Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2011
Proceedings of the Automated Technology for Verification and Analysis, 2011
2010
Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems, 2010
Proceedings of the Abstract State Machines, 2010
Synoptic: A Domain-Specific Modeling Language for Space On-board Application Software.
Proceedings of the Synthesis of Embedded Software, 2010
2009
Proceedings of the Formal Methods: Foundations and Applications, 2009
Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009
Proceedings of the Reliable Software Technologies, 2009
Proceedings of the Reliable Software Technologies, 2009
2008
Obj. Logiciel Base données Réseaux, 2008
Proceedings of the Models in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28, 2008
Proceedings of the 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008, 2008
2007
Proceedings of the 5th International Workshop on Java Technologies for Real-time and Embedded Systems, 2007
Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007
Proceedings of 4th International Verification Workshop in connection with CADE-21, 2007
2006
Proceedings of the 6th International Workshop on Automated Verification of Critical Systems, 2006
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006
Proceedings of the Deontic Logic and Artificial Normative Systems, 2006
2005
Proceedings of the Second International Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures, 2005
Proceedings of the Parallel Processing and Applied Mathematics, 2005
Proceedings of the Integrated Formal Methods, 5th International Conference, 2005
2003
Proceedings of the Eighth International Workshop on Formal Methods for Industrial Critical Systems, 2003
Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003
2002
Formal Methods Syst. Des., 2002
Proceedings of the ZB 2002: Formal Specification and Development in Z and B, 2002
2000
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
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
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
Proceedings of the Euro-Par '99 Parallel Processing, 5th International Euro-Par Conference, Toulouse, France, August 31, 1999
1998
Proceedings of the Parallel and Distributed Processing, 10 IPPS/SPDP'98 Workshops Held in Conjunction with the 12th International Parallel Processing Symposium and 9th Symposium on Parallel and Distributed Processing, Orlando, Florida, USA, March 30, 1998
Proceedings of the Parallel and Distributed Processing, 10 IPPS/SPDP'98 Workshops Held in Conjunction with the 12th International Parallel Processing Symposium and 9th Symposium on Parallel and Distributed Processing, Orlando, Florida, USA, March 30, 1998
1997
Parallel Process. Lett., 1997
1996
Proceedings of the Distributed Algorithms, 10th International Workshop, 1996
1995
Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1995
1994
Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1994
Proceedings of the Sixth Euromicro Workshop on Real-Time Systems, 1994
1993
Proceedings of the Fifth Euromicro Workshop on Real-Time Systems, 1993
1992
Proceedings of the Ada: Moving Towards 2000, 1992
1989
1985
Distributed Control Through Task Migration via Abstract Networks.
Proceedings of the 5th International Conference on Distributed Computing Systems, 1985