EPL
Place Sainte Barbe 2/L5.02.01
1348 Louvain-la-Neuve
Sébastien Jodogne
Professeur
2024
Jodogne, Sébastien. Apport du logiciel libre en imagerie médicale. In: Revue médicale de Liège, Vol. 79, no.S1, p. 75-83 (2024).
2024
Ward, Bradley ; Pyr dit Ruys, Sébastien ; Balligand, Jean-Luc ; Belkhir, Leïla ; Cani, Patrice D. ; Collet, Jean-François ; De Greef, Julien ; Dewulf, Joseph P. ; Gatto, Laurent ; Haufroid, Vincent ; Jodogne, Sébastien ; Kabamba-Mukadi, Benoît ; Lingurski, Maxime ; Yombi, Jean Cyr ; Vertommen, Didier ; Elens, Laure. Deep Plasma Proteomics with Data-Independent Acquisition: Clinical Study Protocol Optimization with a COVID-19 Cohort.. In: Journal of proteome research, Vol. 23, no. 9, p. 3806-3822 (2024). doi:10.1021/acs.jproteome.4c00104.
2024
Kirkove, D ; Ben Mustapha, S ; Jodogne, Sébastien ; Pétré, B. L'utilisation de l'imagerie médicale en tant qu'outil d'éducation thérapeutique du patient en radiothérapie : étude de faisabilité. In: Revue médicale de Liège, Vol. 79, no.S1, p. 100-106 (2024).
2024
Mathys, Aurore ; Pollet, Yann ; Gressin, Adrien ; Muth, Xavier ; Brecko, Jonathan ; Dekoninck, Wouter ; Vandenspiegel, Didier ; Jodogne, Sébastien ; Semal, Patrick. Sphaeroptica: A tool for pseudo-3D visualization and 3D measurements on arthropods. In: PLOS ONE, Vol. 19, no.10, p. 1-32 (2024). doi:10.1371/journal.pone.0311887.
2022
Ward, Bradley ; Yombi, Jean Cyr ; Balligand, Jean-Luc ; Cani, Patrice D. ; Collet, Jean-François ; De Greef, Julien ; Dewulf, Joseph P. ; Gatto, Laurent ; Haufroid, Vincent ; Jodogne, Sébastien ; Kabamba-Mukadi, Benoît ; Pyr dit Ruys, Sébastien ; Vertommen, Didier ; Elens, Laure ; Belkhir, Leïla. HYGIEIA: HYpothesizing the Genesis of Infectious Diseases and Epidemics through an Integrated Systems Biology Approach. In: Viruses, Vol. 14, no. 7, p. 1373 [1-17] (2022). doi:10.3390/v14071373.
2022
Kirkove, Delphine ; Barthelemy, Nicole ; Coucke, Philippe ; Mievis, Carole ; Ben Mustapha, Selma ; Jodogne, Sébastien ; Dardenne, Nadia ; Donneau, Anne-Françoise ; Pétré, Benoît. Étude de faisabilité : l'utilisation de l'imagerie médicale en éducation thérapeutique en radiothérapie. In: Cancer Radiothérapie, Vol. 26, no. 8, p. 1034-1044 (2022). doi:10.1016/j.canrad.2022.04.004.
2018
Vandaele, Rémy ; Aceto, Jessica ; Muller, Marc ; Péronnet, Frédérique ; Debat, Vincent ; Wang, Ching-Wei ; Huang, Cheng-Ta ; Jodogne, Sébastien ; Martinive, Philippe ; Geurts, Pierre ; Marée, Raphaël. Landmark detection in 2D bioimages for geometric morphometrics: a multi-resolution tree-based approach. In: Scientific Reports, Vol. 8, no.1, p. 13 (2018). doi:10.1038/s41598-017-18993-5.
2018
Jodogne, Sébastien. The Orthanc Ecosystem for Medical Imaging. In: Journal of Digital Imaging, Vol. 31, no.3, p. 341-352 (2018). doi:10.1007/s10278-018-0082-y.
2016
Lovinfosse, Pierre ; Koopmansch, Benjamin ; Lambert, Frederic ; Jodogne, Sébastien ; Kustermans, Gaelle ; Hatt, Mathieu ; Visvikis, Dimitris ; Seidel, Laurence ; Polus, Marc ; Albert, Adelin ; Delvenne, Philippe ; Hustinx, Roland. 18F-FDG PET/CT imaging in rectal cancer: relationship with the RAS mutational status. In: The British Journal of Radiology, Vol. 89, no.1063, p. 20160212 (2016). doi:10.1259/bjr.20160212.
2016
Lovinfosse, Pierre ; Janvary, Zsolt Levente ; Coucke, Philippe ; Jodogne, Sébastien ; Bernard, Claire ; Hatt, Mathieu ; Visvikis, Dimitris ; Jansen, Nicolas ; Duysinx, Bernard ; Hustinx, Roland. FDG PET/CT texture analysis for predicting the outcome of lung cancer treated by stereotactic body radiation therapy. In: European Journal of Nuclear Medicine and Molecular Imaging, Vol. 43, no. 8, p. 1453-1460 (2016). doi:10.1007/s00259-016-3314-8.
2015
Vandaele, R. ; Marée, R. ; Coucke, P. ; Lenaerts, E. ; Gulyban, A. ; Lallemand, F. ; Geurts, P. ; Jodogne, Sébastien ; Martinive, P.. Automated landmarks detection for rigid registration between the simulation-CT and the treatment CBCT. In: Radiotherapy and Oncology, Vol. 115, no.1, p. S834-S835 (2015). doi:10.1016/s0167-8140(15)41521-x.
2015
Wang, Ching-Wei ; Huang, Cheng-Ta ; Hsieh, Meng-Che ; Li, Chung-Hsing ; Chang, Sheng-Wei ; Li, Wei-Cheng ; Vandaele, Remy ; Maree, Raphael ; Jodogne, Sébastien ; Geurts, Pierre ; Chen, Cheng ; Zheng, Guoyan ; Chu, Chengwen ; Mirzaalian, Hengameh ; Hamarneh, Ghassan ; Vrtovec, Tomaz ; Ibragimov, Bulat. Evaluation and Comparison of Anatomical Landmark Detection Methods for Cephalometric X-Ray Images: A Grand Challenge. In: IEEE Transactions on Medical Imaging, Vol. 34, no.9, p. 1890-1900 (2015). doi:10.1109/tmi.2015.2412951.
2014
Withofs, Nadia ; Bernard, Claire ; Van der Rest, Catherine ; Martinive, Philippe ; Hatt, Mathieu ; Jodogne, Sébastien ; Visvikis, Dimitris ; Lee, John Aldo ; Coucke, Philippe A ; Hustinx, Roland. FDG PET/CT for rectal carcinoma radiotherapy treatment planning: comparison of functional volume delineation algorithms and clinical challenges.. In: Journal of Applied Clinical Medical Physics, Vol. 15, no.5, p. 4696 (2014). doi:10.1120/jacmp.v15i5.4696.
2014
Lallemand, François ; Lakosi, Ferenc ; Hustinx, Roland ; Withofs, Nadia ; Meunier, Paul ; Tshibanda, Luaba ; Jodogne, Sébastien ; Coucke, Philippe ; Martinive, Philippe. Utilisation de l'imagerie fonctionnelle en radiothérapie. In: Revue médicale de Liège, Vol. 69, no.S1, p. 20-28 (2014).
2013
Jodogne, Sébastien ; Sobczak, S. ; Devillers, M. ; Lenaerts, E. ; Martinive, P. ; Coucke, P.. Orthanc - Lightweight, scriptable DICOM server for medical image management in radiotherapy. In: Radiotherapy and Oncology, Vol. 106, no.1, p. S491 (2013). doi:10.1016/s0167-8140(15)33607-0.
2011
Piater, Justus ; Jodogne, Sébastien ; Detry, Renaud ; Kraft, Dirk ; Krüger, Norbert ; Kroemer, Oliver ; Peters, Jan. Learning visual representations for perception-action systems. In: The International Journal of Robotics Research, Vol. 30, no.3, p. 294-307 (2010). doi:10.1177/0278364910382464.
2009
Briquet, Cyril ; Dalem, Xavier ; Jodogne, Sébastien ; de Marneffe, Pierre-Arnoul. P2P file sharing for P2P computing. In: Multiagent and Grid Systems, Vol. 5, no.2, p. 137-164 (2009). doi:10.3233/mgs-2009-0124.
2007
Jodogne, Sébastien ; Piater, J. H.. Closed-Loop Learning of Visual Control Policies. In: Journal of Artificial Intelligence Research, Vol. 28, no.1, p. 349-391 (2007). doi:10.1613/jair.2110.
2005
Boigelot, Bernard ; Jodogne, Sébastien ; Wolper, Pierre. An effective decision procedure for linear arithmetic over the integers and reals. In: ACM Transactions on Computational Logic, Vol. 6, no.3, p. 614-633 (2005). doi:10.1145/1071596.1071601.
2023
Jodogne, Sébastien. On the Use of WebAssembly for Rendering and Segmenting Medical Images. In: Ana Cecília A. Roque, Denis Gracanin, Ronny Lorenz, Athanasios Tsanas, Nathalie Bier, Ana Fred, Hugo Gamboa (eds.), Biomedical Engineering Systems and Technologies : 15th International Joint Conference, BIOSTEC 2022, Virtual Event, February 9–11, 2022 (Communications in Computer and Information Science; 1814), Springer, 2023, p. 393-414. 978-3-031-38853-8. doi:10.1007/978-3-031-38854-5_20.
2024
Chatzopoulos, Edouard ; Jodogne, Sébastien. Assessing the Impact of Deep Learning Backbones for Mass Detection in Breast Imaging. Artificial Intelligence in Healthcare (AIiH 2024) (Swansea, United Kingdom, du 04/09/2024 au 06/09/2024). In: Lecture Notes in Computer Science, Vol. 14976, p. 33-47 (2024). doi:10.1007/978-3-031-67285-9_3.
2024
Langlois, Quentin ; Jodogne, Sébastien. Embeddings for Motor Imagery Classification. IEEE 34th International Workshop on Machine Learning for Signal Processing (MLSP 2024) (London, UK, du 22/09/2024 au 25/09/2024). In: Proc. of IEEE 34th International Workshop on Machine Learning for Signal Processing (MLSP 2024), p. 1-6. doi:10.1109/MLSP58920.2024.10734730.
2024
Chatzopoulos, Edouard ; Jodogne, Sébastien. Integrated and Interoperable Platform for Detecting Masses on Mammograms. 34th Medical Informatics Europe Conference (MIE 2024) (Athens, Greece, du 25/08/2024 au 29/08/2024). In: Studies in Health Technology and Informatics, Vol. 316, p. 1103-1107 (2024). doi:10.3233/SHTI240603.
2024
Langlois, Quentin ; Szelagowski, Nicolas ; Vanderdonckt, Jean ; Jodogne, Sébastien. Open Platform for the De-identification of Burned-in Texts in Medical Images using Deep Learning. 11th International Conference on Bioimaging (BIOIMAGING 2024) (Rome, Italy, du 21/02/2024 au 23/02/2024). In: Proc. of the 17th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2024), Vol. 1, p. 297-304 (2024). doi:10.5220/0012430300003657.
2024
Sadre, Wei ; Huet-Dastarac, Margerie ; Deffet, Sylvain ; Sterpin, Edmond ; Barragan Montero, Ana Maria ; Jodogne, Sébastien ; Lee, John Aldo. PARROT - A Versatile Platform for AI-Driven Image Segmentation and Dose Prediction. Medical Imaging and Computer-Aided Diagnosis (MICAD) (Manchester, UK, du 19/11/2024 au 21/11/2024). In: Proc. of the 5th International Conference on Medical Imaging and Computer-Aided Diagnosis (MICAD 2024) (Accepté/Sous presse).
2024
Jodogne, Sébastien. Plateforme libre, intégrée et interopérable pour la détection de masses en mammographie. Colloque International du Réseau d’Excellence des Sciences de l’Ingénieur de la Francophonie (RESCIF) (Yaoundé, Cameroon, du 18/04/2024 au 19/04/2024).
2024
Semal, Patrick ; Mathys, Aurore ; Brecko, Jonathan ; Chapman, Tara ; Pollet, Yann ; Herpers, Jean-Marc ; Theeten, Franck ; Van den Spiegel, Didier ; Tilleux, Caroline ; Angenon, Els ; Jodogne, Sébastien. Serveur multimédia DICOM pour le partage des numérisations des collections anthropologiques. 35e édition du Colloque du Groupement des Anthropologistes de Langue Française (GALF) (Bruxelles, du 16/10/2024 au 19/10/2024).
2024
Jodogne, Sébastien. Setting a PACS on FHIR. 17th International Conference on Health Informatics (HEALTHINF 2024) (Rome, Italy, du 21/02/2024 au 23/02/2024). In: Proc. of the 17th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2024), Vol. 2, p. 123-131 (2024). doi:10.5220/0012384600003657.
2023
Fierens, Amaury ; Jodogne, Sébastien. BERTinchamps: Cost-Effective Training of Large Language Models for Medical Tasks in French. Workshop on Natural Language for Artificial Intelligence (NL4AI, 7th edition) (Rome, Italy, du 06/11/2023 au 09/11/2023). In: CEUR Workshop Proceedings, Vol. 3551 (2023).
2023
Jodogne, Sébastien. Client-Side Application of Deep Learning Models Through Teleradiology. Medical Informatics Europe 2023 (Gothenburg, Sweden, du 22/05/2023 au 25/05/2023). In: Studies in Health Technology and Informatics, Vol. 302, no.1, p. 997-1001 (2023). doi:10.3233/shti230325.
2023
Fierens, Amaury ; Gregoir, Thibault ; Jodogne, Sébastien. Interoperable Encoding and 3D Printing of Anatomical Structures. 10th International Conference on Bioinformatics Research and Applications (ICBRA 2023) (Barcelona, Spain, du 22/09/2023 au 24/09/2023). In: ICBRA '23: Proceedings of the 10th International Conference on Bioinformatics Research and Applications, p. 20-26 (2023). doi:10.1145/3632047.3632051.
2023
Jodogne, Sébastien. On the Use of DICOM as a Storage Layer for IIIF. DaSCHCon on IIIF, 3D & Interoperability (Basel, Switzerland, 25/10/2023).
2023
Langlois, Quentin ; Jodogne, Sébastien. Practical Study of Deep Learning Models for Speech Synthesis. PETRA '23: Proceedings of the 16th International Conference on PErvasive Technologies Related to Assistive Environments (Corfu Greece). In: Proceedings of the 16th International Conference on PErvasive Technologies Related to Assistive Environments (PETRA '23), Association for Computing Machinery: New York, NY, USA, 2023. 979-8-4007-0069-9, p. 700–706. doi:10.1145/3594806.3596536.
2023
Jodogne, Sébastien. Simple, effective deployment of Web viewers for medical imaging in an open platform. EuSoMII Annual Meeting 2023. AI: Connecting the dots (Pisa, Italy, du 13/10/2023 au 14/10/2023). doi:https://doi.org/10.26226/m.64ae6f4f56241620f72a77cd.
2022
Misonne, Thibaud ; Jodogne, Sébastien. Federated learning for heart segmentation. 2022 IEEE 14th Image, Video, and Multidimensional Signal Processing Workshop (IVMSP) (Nafplio, Greece, du 26/6/2022 au 29/6/2022). In: 2022 IEEE 14th Image, Video, and Multidimensional Signal Processing Workshop (IVMSP), 2022. 978-1-6654-7823-6. doi:10.1109/ivmsp54334.2022.9816345.
2022
Jodogne, Sébastien. Rendering Medical Images using WebAssembly. 15th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOIMAGING 2022) (du 09/02/2022 au 11/02/2022). In: Proc. of the 15th International Joint Conference on Biomedical Engineering Systems and Technologies (Volume 2), 2022. 978-989-758-552-4, 43-51. doi:10.5220/0000156300003123.
2021
Jodogne, Sébastien. Automatically publishing medical images from a filesystem as a DICOM server. EuSoMII Annual Meeting (23/10/2021). In: Insights into Imaging, Vol. 13, no. S2, p. 7.
2021
Kirkove, Delphine ; Barthelemy, Nicole ; Coucke, Philippe ; Mievis, Carole ; Ben Mustapha, Selma ; Dardenne, Nadia ; Jodogne, Sébastien ; Pétré, Benoît. Etude pilote : évaluation de l'impact de l'utilisation de l'imagerie médicale comme outil d'éducation thérapeutique du patient en radiothérapie. 8ème Congrès de la Société d'Education Thérapeutique Européenne.
2021
Jodogne, Sébastien. Importing and serving open-data medical images to support Artificial Intelligence research. EuSoMII Annual Meeting (23/10/2021). In: Insights into Imaging, Vol. 13, no. S1, p. 6. doi:10.1186/s13244-022-01168-w.
2018
Kanoun, S. ; Silva, Y.E. ; Vongsalat, A. ; Jodogne, Sébastien ; Lambrechts, F. ; Berriolo-Riedinger, A. ; Caselles, O. ; Tal, I. ; Berry, I. ; Courbon, F.. Automating DICOM retrieve from PACS with free and open-source software. Annual Congress of the European Association of Nuclear Medicine (Düsseldorf, du 13/10/2018 au 17/10/2018). In: European journal of nuclear medicine and molecular imaging, Vol. 45, no. S1, p. 298 (2018). doi:10.1007/s00259-018-4148-3.
2018
Vongsalat, A. ; Kanoun, S. ; Berriolo-Riedinger, A. ; Humbert, O. ; Jodogne, Sébastien ; Lambrechts, F. ; Vallot, D. ; Pascal, P. ; Tal, I. ; Berry, I. ; Courbon, F.. Automating de-identification and sharing DICOMs with a free and open-source software. Annual Congress of the European Association of Nuclear Medicine (Düsseldorf, du 13/10/2018 au 17/10/2018). In: European journal of nuclear medicine and molecular imaging, Vol. 45, no.S1, p. 299 (2018).
2017
Vandaele, Rémy ; Lallemand, François ; Martinive, Philippe ; Gulyban, Akos ; Jodogne, Sébastien ; Coucke, Philippe ; Geurts, Pierre ; Marée, Raphaël. Automated Multimodal Volume Registration based on Supervised 3D Anatomical Landmark Detection. International Conference on Computer Vision Theory and Applications (Porto, Portugal, du 27/2/2017 au 1/3/2017). In: Proc. of the 12th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, 2017. 978-989-758-226-4, p. 333-340. doi:10.5220/0006153803330340.
2017
Jodogne, Sébastien ; Lenaerts, Éric ; Marquet, Lara ; Erpicum, Charlotte ; Greimers, Roland ; Gillet, Pierre ; Hustinx, Roland ; Delvenne, Philippe. Open Implementation of DICOM for Whole-Slide Microscopic Imaging. International Conference on Computer Vision Theory and Applications (Porto, Portugal, du 27/2/2017 au 1/3/2017). In: Proc. of the 12th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, 2017. 978-989-758-227-1, p. 81-87. doi:10.5220/0006155100810087.
2014
Jodogne, Sébastien ; Lenaerts, Eric ; Coucke, Philippe ; Hustinx, Roland. Orthanc - Free and Open-Source Software for Medical Imaging in Hospitals. BioWin Day 2014.
2014
Jodogne, Sébastien ; Lenaerts, Eric ; Coucke, Philippe ; Hustinx, Roland. Orthanc - Logiciel libre pour l'imagerie médicale en milieu hospitalier. Conférence Francophone en Gestion et Ingénierie des Systèmes Hospitaliers (GISEH 2014).
2013
Bernard, Claire ; Paulus, Cyril ; Jodogne, Sébastien ; Hustinx, Roland. Automated platform for the quality control of PET-CT scanners following AFCN/FANC recommendations. Belgian Hospital Physicists Association Symposium (BHPA).
2013
Jodogne, Sébastien ; Bernard, C. ; Devillers, M. ; Lenaerts, E. ; Coucke, P.. Orthanc - A lightweight, restful DICOM server for healthcare and medical research. 2013 IEEE 10th International Symposium on Biomedical Imaging (ISBI 2013) (San Francisco, CA, USA, du 7/4/2013 au 11/4/2013). In: 2013 IEEE 10th International Symposium on Biomedical Imaging, Vol. 1, no.1, p. 190-193 (2013). doi:10.1109/isbi.2013.6556444.
2013
Jodogne, Sébastien ; Sobczak, Sonia ; Devillers, Magali ; Lenaerts, Eric ; Coucke, Philippe. Orthanc - Lightweight, scriptable DICOM server for image management in radiotherapy departments. Belgian Hospital Physicists Association Symposium (BHPA).
2009
Piater, Justus ; Jodogne, Sébastien ; Detry, Renaud ; Kraft, Dirk ; Krüger, Norbert ; Krömer, Oliver ; Peters, Jan. Learning Visual Representations for Interactive Systems. 14th International Symposium on Robotics Research. In: Springer Tracts in Advanced Robotics : Robotics Research, 2009. 9783642194566, p. 399-416. doi:10.1007/978-3-642-19457-3_24.
2007
Briquet, Cyril ; Dalem, Xavier ; Jodogne, Sébastien ; de Marneffe, Pierre-Arnoul. Scheduling data-intensive bags of tasks in P2P grids with bittorrent-enabled data distribution. Second Workshop on Use of P2P, GRID and Agents for the Development of Content Networks (UPGRADE '07) (Monterey, California, USA, 25/6/2007). In: UPGRADE '07: Proceedings of the second workshop on Use of P2P, GRID and agents for the development of content networks, 2007. 978-1-59593-718-6, p. 39-48. doi:10.1145/1272980.1272990.
2006
Jodogne, Sébastien ; Briquet, Cyril ; Piater, Justus H.. Approximate Policy Iteration for Closed-Loop Learning of Visual Tasks. European Conference on Machine Learning (ECML). In: Lecture Notes in Computer Science, Vol. 4212, no.1, p. 210-221 (2006). doi:10.1007/11871842_23.
2006
Barnich, Olivier ; Jodogne, Sébastien ; Van Droogenbroeck, Marc. Robust Analysis of Silhouettes by Morphological Size Distributions. Advanced Concepts for Intelligent Vision Systems (ACIVS). In: Lecture Notes in Computer Science, Vol. 4179, no.1, p. 734-745 (2006). doi:10.1007/11864349_67.
2006
Jodogne, Sébastien ; Piater, Justus H.. Task-Driven Discretization of the Joint Space of Visual Percepts and Continuous Actions. 17th European Conference on Machine Learning (ECML). In: Lecture Notes in Computer Science, Vol. 4212, no.1, p. 222-233 (2006). doi:10.1007/11871842_24.
2005
Jodogne, Sébastien ; Piater, J.. Apprentissage Interactif de Liaisons Directes entre Perceptions Visuelles et Actions . ORASIS'05 - Proceedings of the "Congrès des jeunes chercheurs en vision par ordinateur".
2005
Jodogne, Sébastien ; Piater, Justus H.. Interactive learning of mappings from visual percepts to actions. 22nd international conference on Machine learning (ICML 2005) (Bonn, Germany, du 7/8/2005 au 11/8/2005). In: ICML '05: Proceedings of the 22nd international conference on Machine learning, 2005. 978-1-59593-180-1, p. 393-400. doi:10.1145/1102351.1102401.
2005
Jodogne, Sébastien ; Piater, J.. Learning, then Compacting Visual Policies. 7th European Workshop on Reinforcement Learning.
2005
Jodogne, Sébastien ; Piater, J.. Reinforcement Learning of Perceptual Classes using Q Learning Updates. IASTED International Conference on Artificial Intelligence and Applications.
2005
Jodogne, Sébastien ; Scalzo, F. ; Piater, J.H.. Task-Driven Learning of Spatial Combinations of Visual Features. 2005 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR'05) (San Diego, CA, USA). In: 2005 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR'05) - Workshops, 2005. 0-7695-2660-8. doi:10.1109/cvpr.2005.539.
2004
Jodogne, Sébastien ; Piater, J.. Controlling an Agent by Focusing its Attention on Interactively Selected Patterns. URSI (International Union of Radio Science) Forum 2004.
2004
Jodogne, Sébastien ; Piater, Justus H.. Interactive Selection of Visual Features through Reinforcement Learning. Proceedings of AI-2004, 24th SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence. In: Research and Development in Intelligent Systems XXI, 2004. 9781852339074, p. 285-298. doi:10.1007/1-84628-102-4_21.
2003
Boigelot, Bernard ; Herbreteau, Frédéric ; Jodogne, Sébastien. Hybrid Acceleration Using Real Vector Automata. International Conference on Computer Aided Verification. In: Lecture Notes in Computer Science, Vol. 2725, no.1, p. 193-205 (2003). doi:10.1007/978-3-540-45069-6_19.
2002
Jodogne, Sébastien. Automata-based Representations for the Verification of Hybrid Systems. Summer School Modelling and Verification of Parallel Processes (MOVEP).
2001
Boigelot, Bernard ; Jodogne, Sébastien ; Wolper, Pierre. On the Use of Weak Automata for Deciding Linear Arithmetic with Integer and Real Variables. International Joint Conference on Automated Reasoning (IJCAR 2001). In: Lecture Notes in Computer Science, Vol. 2083, no.1, p. 611-625 (2001). doi:10.1007/3-540-45744-5_50.