Amel Mammar
Orcid: 0000-0003-0016-6898Affiliations:
- Télécom SudParis
According to our database1,
Amel Mammar
authored at least 84 papers
between 2000 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Int. J. Softw. Tools Technol. Transf., June, 2024
Int. J. Softw. Tools Technol. Transf., June, 2024
Sci. Comput. Program., January, 2024
Proceedings of the Rigorous State-Based Methods - 10th International Conference, 2024
2023
Proceedings of the Rigorous State-Based Methods - 9th International Conference, 2023
A Tool-Supported Approach for Modeling and Verifying Hybrid Systems using EVENT-B and the Differential Equation Solver SAGEMATH.
Proceedings of the 18th International Conference on Software Technologies, 2023
Proceedings of the Formal Methods and Software Engineering, 2023
2022
A Correct-by-Construction Model for Verifying Transactional Composite Services Configuration.
IEEE Trans. Serv. Comput., 2022
Modeling and proving hybrid programs with Event-B: An approach by generalization and instantiation.
Sci. Comput. Program., 2022
An Event-B-Based Approach to Model and Verify Behaviors for Component-Based Applications.
Comput. J., 2022
Building Correct Hybrid Systems using Event-B and Sagemath: Illustration by the Hybrid Smart Heating System Case Study.
Proceedings of the 26th International Conference on Engineering of Complex Computer Systems, 2022
2020
Int. J. Softw. Tools Technol. Transf., 2020
Modeling the hybrid ERTMS/ETCS level 3 standard using a formal requirements engineering approach.
Int. J. Softw. Tools Technol. Transf., 2020
Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020
Proceedings of the Advanced Information Networking and Applications, 2020
2019
Future Gener. Comput. Syst., 2019
IEEE Commun. Surv. Tutorials, 2019
Comput. J., 2019
Proceedings of the 14th International Conference on Software Technologies, 2019
Proceedings of the Formal Methods and Software Engineering, 2019
2018
Formal Aspects Comput., 2018
Proceedings of the Integrated Formal Methods - 14th International Conference, 2018
Proceedings of the 23rd International Conference on Engineering of Complex Computer Systems, 2018
Proceedings of the 23rd International Conference on Engineering of Complex Computer Systems, 2018
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018
Event-B Expression and Verification of Translation Rules Between SysML/KAOS Domain Models and B System Specifications.
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018
2017
IEEE Trans. Serv. Comput., 2017
Int. J. Softw. Tools Technol. Transf., 2017
A formal approach to derive an aspect oriented programming-based implementation of a secure access control filter.
Inf. Softw. Technol., 2017
Formal Aspects Comput., 2017
Proceedings of the IEEE 25th International Requirements Engineering Conference Workshops, 2017
Proceedings of the 18th IEEE International Symposium on High Assurance Systems Engineering, 2017
2016
Sci. Comput. Program., 2016
Proceedings of the Tenth IEEE International Conference on Research Challenges in Information Science, 2016
Proceedings of the Tenth IEEE International Conference on Research Challenges in Information Science, 2016
On the Use of Domain and System Knowledge Modeling in Goal-Based Event-B Specifications.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016
Proceedings of the IEEE International Conference on Web Services, 2016
Proceedings of the Service-Oriented Computing - 14th International Conference, 2016
Proceedings of the 17th IEEE International Symposium on High Assurance Systems Engineering, 2016
Formal Verification of Cloud Resource Allocation in Business Processes Using Event-B.
Proceedings of the 30th IEEE International Conference on Advanced Information Networking and Applications, 2016
2015
Proof-based verification approaches for dynamic properties: application to the information system domain.
Formal Aspects Comput., 2015
2014
Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2014 Conferences, 2014
Proceedings of the 2014 19th International Conference on Engineering of Complex Computer Systems, 2014
Proceedings of the 15th International IEEE Symposium on High-Assurance Systems Engineering, 2014
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014
A Proved Approach for Building Correct Instances of UML Associations: Multiplicities Satisfaction.
Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014
Formal Approach for Generating Privacy Preserving User Requirements-Based Business Process Fragments.
Proceedings of the Thirty-Seventh Australasian Computer Science Conference, 2014
2013
Process Decomposition Based on Semantics and Privacy-Aware Requirements-Driven Approach.
Proceedings of the 15th International Conference on Information Integration and Web-based Applications & Services, 2013
2012
Inf. Softw. Technol., 2012
A systematic approach to integrate common timed security rules within a TEFSM-based system specification.
Inf. Softw. Technol., 2012
Autom. Control. Comput. Sci., 2012
Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering, 2012
Proceedings of the 14th International IEEE Symposium on High-Assurance Systems Engineering, 2012
2011
J. Internet Serv. Inf. Secur., 2011
Proceedings of the B 2011 Workshop, 2011
Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011
Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011
Proceedings of the Testing Software and Systems, 2011
Proceedings of the Data Privacy Management and Autonomous Spontaneus Security, 2011
Proceedings of the 18th Asia Pacific Software Engineering Conference, 2011
2009
A systematic approach to generate B preconditions: application to the database domain.
Softw. Syst. Model., 2009
A Formal Framework to Integrate Timed Security Rules within a TEFSM-Based System Specification.
Proceedings of the 16th Asia-Pacific Software Engineering Conference, 2009
2008
Tech. Sci. Informatiques, 2008
Modeling System Security Rules with Time Constraints Using Timed Extended Finite State Machines.
Proceedings of the 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications, 2008
2006
J. Database Manag., 2006
From a B formal specification to an executable code: application to the relational database domain.
Inf. Softw. Technol., 2006
A formal approach based on UML and B for the specification and development of database applications.
Autom. Softw. Eng., 2006
A Formal Approach and its Tool Support for the Specification and the Verification of Structural Properties on UML Activity Diagrams.
Proceedings of the International Conference on Software Engineering Research and Practice & Conference on Programming Languages and Compilers, 2006
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006
Systematic Identification of Preconditions from Set-Based Integrity Constraints.
Proceedings of the Actes du XXIVème Congrès INFORSID, Hammamet, Tunisie, 31 mai, 2006
2005
Proceedings of the Advanced Information Systems Engineering, 17th International Conference, 2005
Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 2005
2003
Proceedings of the FME 2003: Formal Methods, 2003
2001
Ingénierie des Systèmes d Inf., 2001
Une Approche Formelle par Raffinement pour le Développement d'Applications Bases de Données Sûres.
Proceedings of the Actes du XIXème Congrès INFORSID, Martigny, Suisse, 24-27 mai, 2001, 2001
2000
A Generic Process to Refine a B Specification into a Relational Database Implementation.
Proceedings of the ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29, 2000
An Overview of a Method and Its Support Tool for Generating B Specifications from UML Notations.
Proceedings of the Fifteenth IEEE International Conference on Automated Software Engineering, 2000