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


...
hal-00926183v1  Communication dans un congrès
Ali MansourIsabelle LeblondDenis HamadLuis Felipe Artigas. Wireless Sensor Networks for Ecosystem Monitoring & Port Surveillance
2nd Symposium on Wireless Sensor and Cellular Networks 2013 (WSCN 2013), Dec 2013, Jeddah, Saudi Arabia
hal-01651643v1  Communication dans un congrès
Kahina BensafiaAli MansourGilles Le MaillotBenoit ClementOlivier Reynet et al.  Wireless Based System for Continuous Electrocardiography Monitoring during Surgery
ICBSAT 2017 : 19th International Conference on Biomedical Signal Analysis Technology, Oct 2017, Paris, France
hal-01653476v1  Communication dans un congrès
Ali KhenchafCarole NahumFabrice CombletTran Vu La. Wind Field Extractions From SAR Sentinel-1 Images Using Electromagnetic Models
Living Planet Symposium, May 2016, Prague, Czech Republic
hal-01236692v1  Communication dans un congrès
R. dos Santos FagundesDenis Le JeuneF. Le RoyMohamad-Raafat LababidiAli Mansour. Wideband High Dynamic Range Surveillance
EUSIPCO 2015, Université de Sophia Antipolis, Aug 2015, Nice, France
...
hal-00444394v1  Communication dans un congrès
Nicolas JossoJun ZhangAntonia Papandreou-SuppappolaCornel IoanaJerome Mars et al.  Wideband discrete transformation of acoustic signals in underwater environments
ACSSC 2007 - 43rd Annual Asilomar Conference on Signals Systems and Computers, Nov 2009, Pacific Grove, Californie, United States. pp.118 - 122, ⟨10.1109/ACSSC.2009.5470155⟩
hal-02052738v1  Communication dans un congrès
Saadou Al MokdadRaafat LababidiMarc Le RoySawsan SadekAndré Pérennec et al.  Wide-band Active Tunable Phase Shifter Using Improved Non-Foster circuit
2018 25th IEEE International Conference on Electronics, Circuits and Systems (ICECS), Dec 2018, Bordeaux, France. pp.449-452, ⟨10.1109/ICECS.2018.8618011⟩
...
hal-01841830v1  Communication dans un congrès
Cécile PlaudVincent Ribaud. When IT female students become teachers: lessons from a French project "Girls who code" as a learning by doing example
10th European Conference on Gender Equality in Higher Education, Aug 2018, Dublin, Ireland
hal-01184331v1  Communication dans un congrès
Christophe MoraceAlison Gourvès-Hayward. When is an Engineer not an Engineer? An Interdisciplinary Approach to Intercultural Management for Engineers
SEFI 2015. 43rd Annual Conference of the European Society for Engineering Education, Jun 2015, Orléans, France. pp. 29-31
...
hal-03020263v1  Communication dans un congrès
Stéphane FlamentKlara Kövesi. What do our students know about the future challenges of sustainability ?
SEFI 2020 Annual Conference, University of Twente, Sep 2020, Enschede (on line), Netherlands
hal-01006086v1  Communication dans un congrès
Florent Le CourtoisJulien Bonnel. WAVENUMBER TRACKING IN A LOWRESOLUTION FREQUENCY-WAVENUMBER REPRESENTATION USING PARTICLE FILTERING
IEEE International Conference on Acoustic, Speech and Signal Processing - ICASSP 2014, May 2014, Florence, Italy
hal-00518870v1  Communication dans un congrès
Felix TotirEmanuel RadoiCornel IoanaAndré Quinquis. Wavelet Decomposition Based Discriminant Parameters for Image Classification
IEEE International Conference Communications, 2002, Bucarest, Romania. pp.Non renseigne
hal-00518888v1  Communication dans un congrès
Cornel IoanaAndré Quinquis. Wavelet Based Compression of 3D Oceanographic Data
International Conference of METRA, address = Bucharest, Romania, year = 2002, month = May, nat = 0,, 2002, France. pp.Non renseigne
hal-00386482v1  Communication dans un congrès
Nicolas JossoCornel IoanaJerome MarsCedric Gervaise. Warping based lag-Doppler filtering applied to motion effect compensation in acoustical multipath propagation.
Acoustics 2009 - 157th Meeting of The Acoustical Society of America, May 2009, Portland, United States. pp.2541-2541
...
hal-02330138v1  Communication dans un congrès
Guillaume BeaumontAngélique DrémeauRonan Fablet. VON MISES PRIOR FOR PHASE-NOISY DOA ESTIMATION: THE VITAMIN ALGORITHM
Underwater Acoustics Conference, Jun 2019, Heraklion, Greece
hal-02924177v1  Communication dans un congrès
Viet Dung NguyenHuy PhanAli MansourArnaud Coatanhay. VoglerNet: multiple knife-edge diffraction using deep neural network
2020 14th European Conference on Antennas and Propagation (EuCAP), Mar 2020, Copenhagen, France. pp.1-5, ⟨10.23919/EuCAP48036.2020.9135548⟩
...
hal-00566216v1  Communication dans un congrès
Wassim DibAli TourabiG. Bles. Viscoelastoplastic cyclic behaviour of sail materials
2nd International Conference on Innovation in High Performance Sailing Yachts (InnovSail), Jun 2010, Lorient, France. pp227-233
hal-01713939v1  Communication dans un congrès
Morgane BroudinV. Le SauxYann MarcoPierre-Yves Le GacW. Hervouet et al.  Vieillissement thermo-oxydatif d’un élastomère industriel à application automobile antivibratoire : caractérisations et compréhension
27e édition DEformation des POlymères Solides (DEPOS27) , IFP Energies nouvelles, Mar 2017, Dourdan, France
hal-01371484v1  Communication dans un congrès
Dominique MonnetLuc JaulinJordan NininAlexandre ChapoutotJulien Alexandre Dit Sandretto. Viability kernel computation based on interval methods
Small Workshop on Interval Methods, Jun 2015, Prague, Czech Republic
hal-00518600v1  Communication dans un congrès
Brigitte HoeltzenerN. LescaM. Berthelot. Vers une anticipation des risques systèmes par la complexité
SCIGRAD, address = Brest, France, year = 2008, month = 24-25 November, pdf = 0, nat = 1, keyword = FAD,, 2008, France. pp.Non renseigne
hal-00518821v1  Communication dans un congrès
C. ArchauxAli Khenchaf. Vers un Systéme d`Information Stratégique en Téphonie Mobile Prépayé
VSST`2004, Veille Stratégique Scientifique & Technologique, address = Toulouse, France, year = 2004, month = 25-29 October, pdf = 1, nat = 1,, 2004, France. pp.Non renseigne
hal-00517292v1  Communication dans un congrès
Theurer WolfgangFrançois MekerkeJoël ChampeauPhilippe Dhaussy. Vers la gestion de la cohérence dans les processus multi-modèles métier
Congrès francophone du management de projet, 2004, France
hal-00517274v1  Communication dans un congrès
Xavier DumasClaire PagettiLaurent SagaspePierre BieberPhilippe Dhaussy. Vers la génération de modèles de sûreté de fonctionnement
conférences LMO'08 et CAL'08, Mar 2008, Montréal, France. pp.Non renseigne
...
hal-02433749v1  Communication dans un congrès
Valentin BesnardCiprian TeodorovFrédéric JouaultMatthias BrunPhilippe Dhaussy. Verifying and Monitoring UML Models with Observer Automata: A Transformation-Free Approach
22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2019, 2019, Munich, Germany. pp.161-171, ⟨10.1109/MODELS.2019.000-5⟩
hal-00940092v1  Communication dans un congrès
Mohamad-Raafat LababidiSylvain BourdelJean GaubertAli LouzirJ.L. Robert et al.  Varactor tuned active miniature notch filter
10th IEEE NEWCAS, Jun 2012, Montreal, Canada. pp.69-72
hal-00518738v1  Communication dans un congrès
Felix TotirEmanuel RadoiAndré Quinquis. Validation of complex naval target models using superresolution imagery methods
IEEE OCEANS`05 EUROPE, 2005, Brest, France. pp.Non renseigne
hal-01864805v1  Communication dans un congrès
Obeid FadiPhilippe Dhaussy. Validation formelle d’architecture logicielle basée sur des patrons de sécurité
17e journées AFADL 2018, Approches Formelles dans l’Assistance au Développement de Logiciel, Jun 2018, Grenoble, France
...
hal-02431973v1  Communication dans un congrès
Nisha Rani MahatoLuc JaulinS. ChakravertyJean Dezert. Validated Enclosure of Uncertain Nonlinear Equations Using SIVIA Monte Carlo
8th National Conference on Wave Mechanics and Vibrations, WMVC 2018, Jul 2018, Rourkela, India. pp.455-468, ⟨10.1007/978-981-15-0287-3_32⟩
hal-00914017v1  Communication dans un congrès
Olivier MenageAymeric BethencourtPatrick RousseauxSèbastien Prigent.. VAIMOS : Realization of an autonomous robotic sailboat
IRSC 2013 - International Robotic Sailing Conference, Sep 2013, Brest, France. pp.25-36, ⟨10.1007/978-3-319-02276-5⟩
hal-00518620v1  Communication dans un congrès
Abdelmalek ToumiBrigitte HoeltzenerAli Khenchaf. Using Watersheds segmentation on ISAR image for automatic target recognition
International Conference on Digital Information Management, address = Lyon, France, pages = 285-290, year = 2007, month = 28-31 October, pdf = 1, nat = 0, keyword = FAD,, 2007, France. pp.Non renseigne
hal-01780556v1  Communication dans un congrès
Lamia AllalGhalem BelalemPhilippe DhaussyCiprian Teodorov. Using Parallel and Distributed Reachability in Model Checking
Recent Advancement in Computer, Communication and Computational Sciences (RACCCS-2017), Sep 2017, Ajmer, India. pp.143-154, ⟨10.1007/978-981-10-7386-1_12⟩
hal-01006108v1  Communication dans un congrès
Thode AaronJulien Bonnel. Using Nonlinear Time Sampling Of Bowhead Whale Calls To Extract Acoustic Mode Shape And Array Tilt
Alaska Marine Science Symposium, Jan 2014, Anchorage, United States
hal-00517468v1  Communication dans un congrès
Ali KoudriDidier VojtsiekPhilippe SoulardChristophe MoyJoël Champeau et al.  Using MARTE in the MOPCOM SoC/SoPC Methodology
Workshop MARTE, Colocated with DATE, Mar 2008, Munich, Germany
...
hal-00354356v1  Communication dans un congrès
Ali KoudriDenis AulagnierDidier VojtisekPhilippe SoulardChristophe Moy et al.  Using MARTE in a Co-Design Methodology
MARTE UML profile workshop co-located with DATE'08, Mar 2008, Munich, Germany. 6 p
hal-00518511v1  Communication dans un congrès
Abdelmalek ToumiAli Khenchaf. Using ISAR images for aircraft recognition
SET-160 Symposium on "NCI/ATR in Air-Ground and Maritime Applications based on Radar and Acoustics", address = Greece, year = 2010, month = october, pdf = 0, nat = 0, keyword = signal processing,, 2010, France. pp.Non renseigne
...
hal-00583049v1  Communication dans un congrès
Jan SliwkaFabrice Le BarsOlivier ReynetLuc Jaulin. Using interval methods in the context of robust localization of underwater robots
NAFIPS'11, Mar 2011, El Paso, Texas, United States
hal-00517276v1  Communication dans un congrès
Philippe DhaussyFrédéric BoniolStephane de BelloyJulien AuvrayEric Landel. Using context descriptions and property definition patterns for software formal verification
ICSTW'08, IEEE International Conference on Software Testing Verification and Validation Workshop, 2008, France
...
hal-00471931v1  Communication dans un congrès
Amine RajiPhilippe Dhaussy. USER CONTEXT MODELS : A FRAMEWORK TO EASE SOFTWARE FORMAL VERIFICATIONS
12th International Conference on Enterprise Information Systems, Jun 2010, Funchal, Madeira, Portugal. pp.1
hal-00635904v1  Communication dans un congrès
Amine RajiPhilippe Dhaussy. User context models : a framework to ease software formal verifications
ICEIS'10 - International Conference on Enterprise Information Systems, Jun 2010, Madeire, Portugal
hal-00518736v1  Communication dans un congrès
Isabelle LeblondMichel LegrisBasel Solaiman. Use of Classification and Segmentation of Sidescan Sonar Images for Long Term Registration
IEEE OCEANS`05 EUROPE, address = Brest, France, year = 2005, month = 20-23 June, keyword = image sonar; sonar image; TVG; speckle; segmentation; classification; filtres de Gabor; Gabor; recalage; registration, pdf = 1, nat = 0,, 2005, France. pp.Non renseigne
hal-00636875v1  Communication dans un congrès
Amine RajiPhilippe Dhaussy. Use Cases Modeling for Scalable Model-Checking
APSEC'11, Dec 2011, Minh City, Vietnam
hal-02090186v1  Communication dans un congrès
Thibaut BerthomierAli MansourL. BressolletteyD. MottierFrédéric Le Roy et al.  Unsupervised clustering of DVT Ultrasound Images using High Order Statistics
2018 IEEE International Conference on Bioinformatics and Biomedicine (BIBM), Dec 2018, Madrid, Spain. pp.2495-2501, ⟨10.1109/BIBM.2018.8621187⟩
hal-01887948v1  Communication dans un congrès
Valentin BesnardMatthias BrunFrédéric JouaultCiprian TeodorovPhilippe Dhaussy. Unified LTL Verification and Embedded Execution of UML Models
21st International Conference on Model Driven Engineering Languages and Systems (MODELS), Oct 2018, Copenhague, Denmark
hal-00517470v1  Communication dans un congrès
Ali KoudriJoël ChampeauDenis Aulagnier. Une sémantiques opérationelle pour une meilleure métamodélisation
Atelier SéMo'07, 2007, France. pp.Non renseigne
hal-00518647v1  Communication dans un congrès
Hicham LaanayaA. MartinAli KhenchafD. Aboutajdine. Une nouvelle méthode pour l`extraction de paramètres : l`analyse en composante curvilinéaire supervisée
Atelier Fouille de données complexes dans un processus d`extraction de connaissance, Extraction et Gestion des Connaissances (EGC), pages = 21-32, address = Namur, Belgique, year = 2007, month = 24-26 January, pdf = 1, nat = 1, keyword = FAD; ACC ; extraction,, 2007, France. pp.Non renseigne
hal-00989918v1  Communication dans un congrès
Mohamed Ben HammoudaP CoussyLoïc Lagadec. Une approche de conception pour générer automatiquement des moniteurs sur puce pendant la synthèse de haut niveau d'accélérateurs matériels
COMPAS 2014 - Conférence en Parallélisme, Architecture et Système, Apr 2014, Neuchâtel, Suisse
hal-00518906v1  Communication dans un congrès
D. GaucherCedric GervaiseAndré QuinquisF. Rybicki. Underwater vehicle positioning using directions of arrival estimations in wide band and multi-path - multi target context
OCEANS, address = Honolulu, USA, year = 2001, month = 5-8 November, nat = 0,, 2001, France. pp.Non renseigne
hal-01119676v1  Communication dans un congrès
Rui YangIrvin ProbstAli MansourLi MingBenoit Clement. Underwater Vehicle Modeling and Control Application to Ciscrea Robot
MOQESM'14, ENSTA Bretagne, Oct 2014, Brest, France
hal-00518885v1  Communication dans un congrès
Cornel IoanaAndré Quinquis. Underwater Transitory Signal Characterization using Time-Frequency Warping Operators
6 th European Conference on Underwater Acoustic (ECUA), address = Gdansk, Poland, year = 2002, month = May, pdf = 1, nat = 0,, 2002, France. pp.Non renseigne
...
hal-02508985v1  Communication dans un congrès
Nathalie DebeseJean Jacq. Underwater objects extraction and analysis
Canadian Hydrographic Conference 2020, Feb 2020, Québec, Canada
hal-00348779v1  Communication dans un congrès
Cornel IoanaArnaud JarrotCedric GervaiseAndré QuinquisJerome Mars. Underwater channel characterization using opportunity sources : A time-frequency-phase approach
Acoustics 2008 - 155th Meeting of The Acoustical Society of America, Jun 2008, Paris, France. pp.776
hal-00518673v1  Communication dans un congrès
Christophe OsswaldA. Martin. Understanding the large family of Dempster-Shafer theory`s fusion operators - a decision-based measure
The 9th International Conference on Information Fusion, address = Florence, Italy, year = 2006, month = 10-13 July, pdf = 1, nat = 0, keyword = FAD; evaluation; fusion; evidence ; PCR ; decision,, 2006, France. pp.Non renseigne
hal-00802079v1  Communication dans un congrès
Bazile KindaYvan SimardCedric GervaiseJerome MarsLouis Fortier. Under-ice noise in Eastern Beaufort Sea: ice drift forcing, fracturing and formation of leads
ASM 2012 - ArcticNet's eighth Annual Scientific Meeting, Dec 2012, Vancouver, Canada. pp.68
hal-00517275v1  Communication dans un congrès
Philippe DhaussyJulien AuvrayStephane de BelloyFrédéric BoniolEric Landel. Un langage de contexte de preuve pour la validation formelle de modèles logiciels
conférences LMO'08 et CAL'08, Mar 2008, Montréal, Canada. pp.Non renseigne
...
hal-03243212v1  Communication dans un congrès
Tuan Hung NguyenPhilippe Le Grognec. Un élément fini enrichi 1D pour la modélisation d'un joint à simple recouvrement
24ème Congrès Français de Mécanique, Aug 2019, Brest, France
...
hal-02121203v1  Communication dans un congrès
Michel BenoitF. DiasJ HerterichYves-Marie Scolan. Un Cas-Test Discriminant pour la Simulation de la Propagation et du Run-up de Trains de vagues de Type Tsunami
Actes des 16èmes Journées de l'Hydrodynamique, Nov 2018, marseille, France
hal-00730497v1  Communication dans un congrès
Ali KoudriJean-Christophe Le LannJoël Champeau. UML/MARTE Process for SoC/SoPC
Embedded Real Time Software and Systems Symposium, 2010, Toulouse, France. pp.201,209
hal-01206567v1  Communication dans un congrès
M. DaakirMarc Pierrot-DeseillignyPierre BosserF. PichardChristian Thom. UAV onboard photogrammetry and GPS positioning for earthworks
ISPRS Geospatial Week 2015, ISPRS, Sep 2015, La Grande Motte, France. pp.293-298, ⟨10.5194/isprsarchives-XL-3-W3-293-2015⟩
hal-03127356v1  Communication dans un congrès
Ghattas AkkadAli MansourBachar ElhassanElie InatyRafic Ayoubi. Two Stages Parallel LMS Structure: A Pipelined Hardware Architecture
2020 28th European Signal Processing Conference (EUSIPCO), Jan 2021, Amsterdam, Netherlands. pp.2363-2367, ⟨10.23919/Eusipco47968.2020.9287770⟩
hal-00518842v1  Communication dans un congrès
Emanuel RadoiAndré QuinquisP. Saulais. Two Methods for Simulating Non-Gaussian Highly Correlated Sea Clutter Maps
OCEANS 2003, 2003, San Diego, United States. pp.Non renseigne
hal-01936687v1  Communication dans un congrès
Ghattas AkkadAli MansourElhassan BoudaiaMohamad Najem. Twiddle Factor Generation Using Chebyshev Polynomials and HDL for Frequency Domain Beamforming
Applications in Electronics Pervading Industry, Environment and Society, (Applepies, 2018), Sep 2018, Pisa, Italy
hal-00940091v1  Communication dans un congrès
Mohamad-Raafat LababidiDominique Lo Hine TongAli LouzirJean-Luc RobertJ.Y. Le Naour et al.  Tunable low-pass active filter using active capacitor for multimode standards
IEEE 18th conference on electronices, circuits and systems (ICECS), Dec 2011, Beirut, Lebanon. pp.619-622
...
inria-00555044v1  Communication dans un congrès
Benoit BaudryPierre BazexJean-Charles DalbinPhilippe DhaussyHubert Dubois et al.  Trust in MDE Components: the DOMINO Experiment
SD4RCES workshop in conjunction with SAFECOMP 2010, 2010, Vienna, Austria
hal-01337478v1  Communication dans un congrès
Klara KövesiRobin Clark. Trends and issues for engineering education in the UK
5th International Studies of Management and Organisations Conference, Dec 2015, Nice, France
hal-01097193v1  Communication dans un congrès
S. CoacheJean-Marc Laurens. Trawler duct propeller design: from systematic series to CFD
3rd International Symposium on Fishing Vessel Energy Efficiency, May 2014, Vigo, Spain
hal-00749179v1  Communication dans un congrès
Marta Crenn. Transmission d'entreprise : Quand les processus de succession familiale et non familiale se croisent - Études de cas
3ème Colloque international de l'ISHS " Transmission(s), entre pertes et profits ", Nov 2012, Brest, France
hal-00518642v1  Communication dans un congrès
Salem BenramdaneJean-Christophe CexusAbdel BoudraaJ.A. Astolfi. Transient turbulent pressure signal processing using empirical mode decomposition
Physics in Signal and Image Processing (PSIP), Feb 2007, Mulhouse, France. pp.Non renseigne
hal-00518853v1  Communication dans un congrès
Cornel IoanaAndré Quinquis. Transient signal detection using Overcomplete Wavelet Transform and high order statistics
International Conference on Acoustic, Speech and Signal Processing -ICASSP 2003, address = Hong Kong, year = 2003, month = April, pdf = 1, nat = 0,, 2003, France. pp.Non renseigne
...
hal-02052433v1  Communication dans un congrès
Hannah BadierJean-Christophe Le LannP CoussyGogniat Guy. Transient Key-based Obfuscation for HLS in an Untrusted Cloud Environment
2019 Design, Automation & Test in Europe Conference & Exhibition, DATE 2019, Mar 2019, Florence, Italy
hal-01203464v1  Communication dans un congrès
Helene ThomasOlivier Reynet. TRANSFORMATIONS DES PROJETS TECHNIQUES LONGS
QPES - Questions de Pédagogie dans l'Enseignement Supérieur, Ensta Bretagne, Telecom Bretagne, UBO, Jun 2015, Brest, France. pp.236-242
hal-03109596v1  Communication dans un congrès
Abdelmalek ToumiJean-Christophe CexusAli KhenchafAntoine Tartivel. Transfer learning on CNN architectures for ship classification on SAR images
Sea Tech Week - Session Remote Sensing, Oct 2020, Brest, France
hal-01989296v1  Communication dans un congrès
Klara KövesiStéphane FlamentGérald Majou de la DébutrieCarine SonntagHélène Bluteau. Transdisciplinary Approach to Sustainable Innovation and Entrepreneurship Education
46th SEFI annual conference, SEFI - Société Européenne pour la Formation des Ingénieurs; Technical University of Denmark, Sep 2018, Copenhagen, Denmark. p. 952-959
hal-01103240v1  Communication dans un congrès
Emmanuel Cardona Gil. Trajectoires vécues et manières dissemblables de concevoir l’activité d’ingénieur militaire en France
Les Doctoriales de la DGA et de l’Ecole polytechnique, Jun 2007, Fréjus, France
hal-00517268v1  Communication dans un congrès
Bastien AmarHervé Le BlancPhilippe DhaussyBernard Coulette. Trace Transformation Reuse to Guide Co-evolution of Models
5th Int. Conference on Software and Data Technologies (ICSOFT'10), Jul 2010, Athens, Greece. pp.Non renseigne
hal-01122035v1  Communication dans un congrès
Luc JaulinFabrice Le Bars. Towing with sailboat robots
WRSC/IRSC 2014, NUI Galway, Sep 2014, Galway, Ireland
hal-01472914v1  Communication dans un congrès
Weiqing ZhangVincent LeildeBirger Moller-PedersenChristophe GuychardJoël Champeau. Towards Tool Integration through Artifacts and Roles
Asia-Pacific Software Engineering Conference, 2012, Hong Kong, China. pp.603-613, ⟨10.1109/APSEC.2012.45·⟩
hal-01585318v1  Communication dans un congrès
Valentin BesnardMatthias BrunPhilippe DhaussyFrédéric JouaultDavid Olivier et al.  Towards one Model Interpreter for Both Design and Deployment
3rd International Workshop on Executable Modeling (EXE 2017), Sep 2017, Austin, United States
hal-02924419v1  Communication dans un congrès
Stéphane RapucPierre CrepierFrédérick JaouenTim BunnikPauline Regnier. Towards guidelines for consistent wave propagation in CFD simulations
19th International Conference on Ship and Maritime Research, NAV 2018, Jun 2018, Trieste, Italy. pp.515-524, ⟨10.3233/978-1-61499-870-9-515⟩
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-00690923v1  Communication dans un congrès
Hanh Nhi TranChristian Percebois. Towards a Rule-level Verification Framework for Property-Preserving Graph Transformations
ICST (International Conference on Software Testing, Verification and Validation) Workshop on Verification and validation Of model Transformations (VOLT), Apr 2012, Montreal, Canada