Frederic Mallet | Université Nice Sophia Antipolis (original) (raw)

Papers by Frederic Mallet

Research paper thumbnail of A Model-Based Approach for Reconciliation of Polychronous Execution Traces

Research paper thumbnail of On the semantics of UML/MARTE clock constraints

Research paper thumbnail of Quantitative Performance Evaluation of Uncertainty-Aware Hybrid AADL Designs Using Statistical Model Checking

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Research paper thumbnail of Multilevel Modeling Paradigm in Profile Definition

Research paper thumbnail of Lazy Parallel Synchronous Composition of Infinite Transition Systems

Research paper thumbnail of Modeling of immediate vs. delayed data communications: from AADL to UML Marte

Research paper thumbnail of UML Profile for MARTE: Time Model and CCSL

Research paper thumbnail of Semantic Multi-View model for Low-Power

Research paper thumbnail of IP-XACT components with abstract time characterization

2009 Forum on Specification Design Languages, 2009

Page 1. IP-XACT components with Abstract Time Characterization Aamir Mehmood Khan∗, Frédéric Mall... more Page 1. IP-XACT components with Abstract Time Characterization Aamir Mehmood Khan∗, Frédéric Mallet†∗, Charles André†∗, Robert de Simone∗ Aoste Project, I3S/INRIA Université de Nice-Sophia Antipolis, France.† INRIA ...

Research paper thumbnail of Enhancements to Object-Oriented Electronic Circuit Design Modeling and Simulation Environment

Research paper thumbnail of Marte, le nouveau standard UML pour les systèmes temps réel embarqués

Research paper thumbnail of Comparaison des traitements à l'entrée et à la sortie des patients hospitalisés dans un service de médecine interne gériatrique Hopital Xavier Arnozan Groupe Sud, C. H. U. Bordeaux

Research paper thumbnail of Hardware Modelling and Simulation Using an Object-Oriented Method

Proceedings of the 12th European Simulation Multiconference on Simulation Past Present and Future, Jun 16, 1998

Research paper thumbnail of Combining CCSL and Esterel to specify and verify time requirements

Research paper thumbnail of MARTE for time modeling and verification of real-time embedded system

Research paper thumbnail of A Behavioral Coordination Operator Language (BCOoL)

2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS), 2015

Research paper thumbnail of Mod�le de contraintes temporelles pour syst�mes polychrones

Research paper thumbnail of Logical time @ work: the RT-Simex project

Research paper thumbnail of Computer architecture simulation applets for use in teaching

33rd Annual Frontiers in Education, 2003. FIE 2003., 2000

Research paper thumbnail of Modèles de temps de MARTE et CCSL

Research paper thumbnail of A Model-Based Approach for Reconciliation of Polychronous Execution Traces

Research paper thumbnail of On the semantics of UML/MARTE clock constraints

Research paper thumbnail of Quantitative Performance Evaluation of Uncertainty-Aware Hybrid AADL Designs Using Statistical Model Checking

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Research paper thumbnail of Multilevel Modeling Paradigm in Profile Definition

Research paper thumbnail of Lazy Parallel Synchronous Composition of Infinite Transition Systems

Research paper thumbnail of Modeling of immediate vs. delayed data communications: from AADL to UML Marte

Research paper thumbnail of UML Profile for MARTE: Time Model and CCSL

Research paper thumbnail of Semantic Multi-View model for Low-Power

Research paper thumbnail of IP-XACT components with abstract time characterization

2009 Forum on Specification Design Languages, 2009

Page 1. IP-XACT components with Abstract Time Characterization Aamir Mehmood Khan∗, Frédéric Mall... more Page 1. IP-XACT components with Abstract Time Characterization Aamir Mehmood Khan∗, Frédéric Mallet†∗, Charles André†∗, Robert de Simone∗ Aoste Project, I3S/INRIA Université de Nice-Sophia Antipolis, France.† INRIA ...

Research paper thumbnail of Enhancements to Object-Oriented Electronic Circuit Design Modeling and Simulation Environment

Research paper thumbnail of Marte, le nouveau standard UML pour les systèmes temps réel embarqués

Research paper thumbnail of Comparaison des traitements à l'entrée et à la sortie des patients hospitalisés dans un service de médecine interne gériatrique Hopital Xavier Arnozan Groupe Sud, C. H. U. Bordeaux

Research paper thumbnail of Hardware Modelling and Simulation Using an Object-Oriented Method

Proceedings of the 12th European Simulation Multiconference on Simulation Past Present and Future, Jun 16, 1998

Research paper thumbnail of Combining CCSL and Esterel to specify and verify time requirements

Research paper thumbnail of MARTE for time modeling and verification of real-time embedded system

Research paper thumbnail of A Behavioral Coordination Operator Language (BCOoL)

2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS), 2015

Research paper thumbnail of Mod�le de contraintes temporelles pour syst�mes polychrones

Research paper thumbnail of Logical time @ work: the RT-Simex project

Research paper thumbnail of Computer architecture simulation applets for use in teaching

33rd Annual Frontiers in Education, 2003. FIE 2003., 2000

Research paper thumbnail of Modèles de temps de MARTE et CCSL