Accéder directement au contenu Accéder directement à la navigation


hal-01089392v1  Direction d'ouvrage, Proceedings, Dossier
Loïc LagadecAlain Plantec. Preface to the special issue on advances in Smalltalk based systems
France. 96 (1), pp.1-3, 2014, Science of Computer Programming, ⟨10.1016/j.scico.2014.07.004⟩
hal-01298623v1  Article dans une revue
Amel BenabbouSafia Nait BahloulDhaussy Philippe. Context-aware approach for formal verification
EAI Endorsed Transactions on Context-aware Systems and Applications, 2016, 3 (7), pp.1-10. ⟨10.4108/eai.12-2-2016.151085⟩
hal-00822656v1  Direction d'ouvrage, Proceedings, Dossier
Loïc LagadecAlain Plantec. Proceedings of the 2012 International Workshop on Smalltalk Technologies
ACM digital library, pp.68, 2012, 978-1-4503-1897-6
hal-00873841v1  Communication dans un congrès
Zoé DreyJosé MoralesManuel HermenegildoManuel Carro. Reversible languages and their application to debugging
Fifteenth International Symposium on Practical Aspects of Declarative Languages(PADL 2013), Jan 2013, Rome, Italy. pp.206-221, ⟨10.1007/978-3-642-45284-0⟩
hal-02960557v1  Article dans une revue
Loïc LagadecAnne EtienJannik Laval. Advances in Smalltalk technologies
Science of Computer Programming, Elsevier, 2020, 199, pp.102518. ⟨10.1016/j.scico.2020.102518⟩
hal-00663182v1  Communication dans un congrès
Pierre-Yves PillainJoël ChampeauHanh Nhi Tran. Towards an Enactment Mechanism for MODAL Process Models
ECMFA 2011, Jun 2011, United Kingdom
hal-01174435v1  Communication dans un congrès
Imran AshrafNader KhammassiKoen BertelsJean-Christophe Le Lann. Communication-aware Parallelization Strategies for High Performance Applications.
ISVLSI'15 - IEEE Computer Society Annual Symposium on VLSI, Jul 2015, Montpellier, France
...
hal-02088044v1  Communication dans un congrès
Florent KermarrecSébastien BourdeauducqHannah BadierJean-Christophe Le Lann. LiteX: an open-source SoC builder and library based on Migen Python DSL
OSDA 2019, colocated with DATE 2019 Design Automation and Test in Europe, Mar 2019, Florence, Italy
hal-00912857v1  Communication dans un congrès
Nadia MenadPhilippe Dhaussy. A Transformation Approach for Multiform Time Requirements
SEFM'13, Sep 2013, Madrid, Spain. pp.16-30