Accéder directement au contenu Accéder directement à la navigation
  1. Recherche


hal-01089392v1  Direction d'ouvrage, Proceedings, Dossier
Loïc Lagadec, Alain 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 Benabbou, Safia Nait Bahloul, Dhaussy 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 Lagadec, Alain 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é Drey, José Morales, Manuel Hermenegildo, Manuel 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 Lagadec, Anne Etien, Jannik 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 Pillain, Joël Champeau, Hanh Nhi Tran. Towards an Enactment Mechanism for MODAL Process Models
ECMFA 2011, Jun 2011, United Kingdom
hal-01174435v1  Communication dans un congrès
Imran Ashraf, Nader Khammassi, Koen Bertels, Jean-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 Kermarrec, Sébastien Bourdeauducq, Hannah Badier, Jean-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 Menad, Philippe Dhaussy. A Transformation Approach for Multiform Time Requirements
SEFM'13, Sep 2013, Madrid, Spain. pp.16-30
...
hal-01326520v1  Communication dans un congrès
Le Xuan Sang, Loïc Lagadec, Luc Fabresse, Jannik Laval, Noury Bouraqadi. From Smalltalk to Silicon: Towards a methodology to turn Smalltalk code into FPGA
IWST 14, Aug 2014, Cambridge, United Kingdom
...
hal-01179466v1  Communication dans un congrès
Xuan Sang Le, Loïc Lagadec, Luc Fabresse, Jannik Laval, Noury Bouraqadi. A Meta Model Supporting both Hardware and Smalltalk-based Execution of FPGA Circuits
IWST 2015, ESUG, Jul 2015, Bressia, Italy. ⟨10.1145/2811237.2811296⟩