Frédéric Mallet
Orcid: 0000-0002-9088-9821Affiliations:
- Université Nice Sophia Antipolis, France
- INRIA Sophia Antipolis Méditerranée; France
According to our database1,
Frédéric Mallet
authored at least 104 papers
between 1998 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
A Scalable Approach to Detecting Safety Requirements Inconsistencies for Railway Systems.
IEEE Trans. Intell. Transp. Syst., August, 2024
Specification and Verification of Multi-Clock Systems Using a Temporal Logic with Clock Constraints.
Formal Aspects Comput., June, 2024
Proceedings of the Rigorous State-Based Methods - 10th International Conference, 2024
Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024
2023
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., December, 2023
Accelerating Reinforcement Learning-Based CCSL Specification Synthesis Using Curiosity-Driven Exploration.
IEEE Trans. Computers, May, 2023
Proceedings of the Theories of Programming and Formal Methods, 2023
2022
Sci. Comput. Program., 2022
Frontiers Comput. Sci., 2022
2021
A clock-based dynamic logic for the verification of CCSL specifications in synchronous systems.
Sci. Comput. Program., 2021
Sci. Comput. Program., 2021
Enumeration and Deduction Driven Co-Synthesis of CCSL Specifications using Reinforcement Learning.
Proceedings of the 42nd IEEE Real-Time Systems Symposium, 2021
Proceedings of the Advances in Model and Data Engineering in the Digitalization Era, 2021
Proceedings of the 3rd Conference on Blockchain Research & Applications for Innovative Networks and Services, 2021
2020
Sci. Comput. Program., 2020
A verification framework for spatio-temporal consistency language with CCSL as a specification language.
Frontiers Comput. Sci., 2020
Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2020
Modeling and Verifying Uncertainty-Aware Timing Behaviors using Parametric Logical Time Constraint.
Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020
2019
A framework to specify system requirements using natural interpretation of UML/MARTE diagrams.
Softw. Syst. Model., 2019
Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019
Proceedings of the Model-Driven Engineering and Software Development, 2019
Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development, 2019
SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language.
Proceedings of the Fundamental Approaches to Software Engineering, 2019
Proceedings of the 56th Annual Design Automation Conference 2019, 2019
Proceedings of the 26th Asia-Pacific Software Engineering Conference, 2019
2018
pCSSL: A stochastic extension to MARTE/CCSL for modeling uncertainty in Cyber Physical Systems.
Sci. Comput. Program., 2018
Proceedings of the 2018 IEEE Real-Time Systems Symposium, 2018
Embedding CCSL into Dynamic Logic: A Logical Approach for the Verification of CCSL Specifications.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2018
Proceedings of the 2018 Forum on Specification & Design Languages, 2018
xSHS: An Executable Domain-Specific Modeling Language for Modeling Stochastic and Hybrid Behaviors of Cyber-Physical Systems.
Proceedings of the 25th Asia-Pacific Software Engineering Conference, 2018
2017
Quantitative Performance Evaluation of Uncertainty-Aware Hybrid AADL Designs Using Statistical Model Checking.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2017
Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017
2016
Proceedings of the 11th IEEE Symposium on Industrial Embedded Systems, 2016
Proceedings of the Formal Methods and Software Engineering, 2016
Proceedings of the 2016 Forum on Specification and Design Languages, 2016
MARTE/pCCSL: Modeling and Refining Stochastic Behaviors of CPSs with Probabilistic Logical Clocks.
Proceedings of the Formal Aspects of Component Software - 13th International Conference, 2016
2015
Progressive and explicit refinement of scheduling for multidimensional data-flow applications using UML MARTE.
Des. Autom. Embed. Syst., 2015
Proceedings of the Formal Modeling and Verification of Cyber-Physical Systems, 2015
Proceedings of the MoDELS 2015 Demo and Poster Session co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), 2015
Proceedings of the 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2015
An Executable Semantics of Clock Constraint Specification Language and Its Applications.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2015
2014
Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014
Proceedings of the Formal Techniques for Safety-Critical Systems, 2014
Proceedings of the 2014 Forum on Specification and Design Languages, 2014
2013
Frontiers Comput. Sci., 2013
Proceedings of the Software Language Engineering - 6th International Conference, 2013
Proceedings of the Software Engineering and Formal Methods - 11th International Conference, 2013
Proceedings of the 2013 23rd International Workshop on Power and Timing Modeling, 2013
Proceedings of the 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2013
Two Semantic Models for Clock Relations in the Clock Constraint Specification Language.
Proceedings of the Information and Communication Technologies in Education, Research, and Industrial Applications, 2013
Proceedings of the 9th International Conference on ICT in Education, 2013
Proceedings of the Information and Communication Technologies in Education, Research, and Industrial Applications, 2013
Proceedings of the 9th International Conference on ICT in Education, 2013
Proceedings of the 9th International Conference on ICT in Education, 2013
Proceedings of the Formal Methods and Software Engineering, 2013
Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013
Proceedings of the Software Architecture - 7th European Conference, 2013
Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013
2012
Proceedings of the Objects, Models, Components, Patterns - 50th International Conference, 2012
Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012
Proceedings of the 23rd IEEE International Symposium on Rapid System Prototyping, 2012
Proceedings of the 38th Euromicro Conference on Software Engineering and Advanced Applications, 2012
2011
Proceedings of the Eighteenth International Symposium on Temporal Representation and Reasoning, 2011
Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011
Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011
Proceedings of the 37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011, Oulu, Finland, August 30, 2011
Proceedings of the 18th Asia Pacific Software Engineering Conference, 2011
2010
Un processus automatique pour concevoir les profils UML. Un profil UML pour la modélisation multiniveau.
Tech. Sci. Informatiques, 2010
The clock constraint specification language for building timed causality models - Application to synchronous data flow graphs.
Innov. Syst. Softw. Eng., 2010
Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010
Proceedings of the IEEE Fifth International Symposium on Industrial Embedded Systems, 2010
Proceedings of the 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2010
Logical Time at Work: Capturing Data Dependencies and Platform Constraints.
Proceedings of the 2010 Forum on specification & Design Languages, 2010
Proceedings of the Synthesis of Embedded Software, 2010
Temps Logique pour l'ingénierie dirigée par le modèles (Logical Time in Model-Driven Engineering).
, 2010
2009
Proceedings of the Software Language Engineering, Second International Conference, 2009
Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, 2009
Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2009
Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2009
Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009
Proceedings of the Forum on specification and Design Languages, 2009
2008
Clock constraint specification language: specifying clock constraints with UML/MARTE.
Innov. Syst. Softw. Eng., 2008
Proceedings of the 1st International Conference on Simulation Tools and Techniques for Communications, 2008
Proceedings of the 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008, 2008
Proceedings of the Forum on specification and Design Languages, 2008
Proceedings of the Languages for Embedded Systems and their Applications, 2008
2007
A multiform time approach to real-time system modeling; Application to an automotive system.
Proceedings of the IEEE Second International Symposium on Industrial Embedded Systems, 2007
Proceedings of the 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2007), 2007
Proceedings of the Model Driven Engineering Languages and Systems, 2007
Proceedings of the Forum on specification and Design Languages, 2007
2006
Proceedings of the International Symposium on Industrial Embedded Systems, 2006
2003
ACM Crossroads, 2003
2000
Proceedings of the 26th EUROMICRO 2000 Conference, 2000
SEP: Simulation framework to evaluate digital hardware architectures.
Proceedings of the 14<sup>th</sup> European Simulation Multiconference, 2000
1999
Esterel and Java in an Object-Oriented Modelling and Simulation Framework for Heterogeneous Software and Hardware Systems The SEP Approach.
Proceedings of the 25th EUROMICRO '99 Conference, 1999
1998
Proceedings of the 24th EUROMICRO '98 Conference, 1998
Hardware Modelling and Simulation Using an Object-Oriented Method.
Proceedings of the 12<sup>th</sup> European Simulation Multiconference - Simulation, 1998