Pascal Yim

28 papers B 2Journal 11Unranked 14
YearRankTypeTitle / Venue / Authors
2026 J jnl
A topology-filtering autoencoder for topology agnostic estimation of the percentage of Grid Forming and Grid Following control modes in a multi-converter system.
Eng. Appl. Artif. Intell.
Rabah Ouali, Martin Legry, Jean-Yves Dieulot, Pascal Yim, Frédéric Colas, Xavier Guillaud
2024 J jnl
Machine learning classification of power converter control mode.
CoRR
Rabah Ouali, Jean-Yves Dieulot, Pascal Yim, Xavier Guillaud, Frédéric Colas, Yang Wu, Heng Wu
2021 J jnl
Predictive Maintenance in Building Facilities: A Machine Learning-Based Approach.
Sensors
Yassine Bouabdallaoui, Zoubeir Lafhaj, Pascal Yim, Laure Ducoulombier, Belkacem Bennadji
2011 J jnl
Innovative product design for students-enterprises linked projects.
Int. J. Technol. Manag.
Michel Bigand, Carine Deslee, Pascal Yim
2009 J jnl
Container handling using multi-agent architecture.
Int. J. Intell. Inf. Database Syst.
Meriam Kefi, Khaled Ghédira, Ouajdi Korbaa, Pascal Yim
2009 J jnl
State Observer for DES Under Partial Observation with Time Petri Nets.
Discret. Event Dyn. Syst.
Mohamed Ghazel, Armand Toguyéni, Pascal Yim
2007 — conf
Container Handling Using Multi-agent Architecture.
KES-AMSTA
Meriam Kefi, Ouajdi Korbaa, Khaled Ghédira, Pascal Yim
2007 — conf
Description Logics in the Calculus of Structures.
Description Logics
Jean-David Roubach, Pascal Yim, Joaquin Rodriguez
2007 J jnl
Extraction of Critical Scenarios in a Railway Level Crossing Control System.
Int. J. Comput. Commun. Control
Malika Medjoudj, Pascal Yim
2007 J jnl
Mathematical programming approach to the Petri nets reachability problem.
Eur. J. Oper. Res.
Thomas Bourdeaud'huy, Saïd Hanafi, Pascal Yim
2004 — conf
Container assignment to stock in a fluvial port.
SMC (7)
Ouajdi Korbaa, Pascal Yim
2004 — conf
Efficient reachability analysis of bounded Petri nets using constraint programming.
SMC (2)
Thomas Bourdeaud'huy, Pascal Yim, Saïd Hanafi
2004 — conf
Reachability search in timed Petri nets using constraint programming.
SMC (5)
Olfa Belkahla Driss, Pascal Yim, Ouajdi Korbaa, Khaled Ghédira
2004 B conf
Solving the Petri Nets Reachability Problem Using the Logical Abstraction Technique and Mathematical Programming.
CPAIOR
Thomas Bourdeaud'huy, Saïd Hanafi, Pascal Yim
2003 — conf
Time window specification and validation with Petri Nets.
ETFA (1)
Simon Collart Dutilleul, Pascal Yim
2000 J jnl
Discussion on: 'Solving Transient Scheduling Problems with Constraint Programming' by O. Korbaa, P. Yim, and J.-C. Gentina.
Eur. J. Control
Pierre Lopez, Hassane Alla, Ouajdi Korbaa, Pascal Yim, Jean-Claude Gentina
2000 J jnl
Modeling Information System Behavior with Dynamic Relations Nets.
J. Univers. Comput. Sci.
Laurent Allain, Pascal Yim
2000 J jnl
Solving Transient Scheduling Problems with Constraint Programming.
Eur. J. Control
Ouajdi Korbaa, Pascal Yim, Jean-Claude Gentina
2000 — conf
Specification of an Active Database System Application Using Dynamic Relation Nets.
Computational Logic
Laurent Allain, Pascal Yim
1999 — conf
Solving transient scheduling problem for cyclic production using timed Petri nets and constraint programming.
ECC
Ouajdi Korbaa, Pascal Yim, Jean-Claude Gentina
1995 — conf
MINOS: Analyse et Simulation d'Hypernets.
JFPLC
Arnaud Lefort, Pascal Yim
1995 B conf
MINOS: a constraints based tool for the HyperNets.
ICTAI
Pascal Yim, Arnaud Lefort, Agnes Hebrard
1995 — conf
SetX2 : un langage logico-fonctionnel ensembliste.
JFPLC
Pascal Yim
1992 — ed.
JFPL'92, 1
JFPL
Jean-Paul Delahaye, Philippe Devienne, Philippe Mathieu, Pascal Yim
1992 — conf
La programmation logico-fonctionnelle avec contraintes: un outil pour la validation des spécifications algébriques avec contraintes.
JFPL
Sylvie Calabretto, Pascal Yim
1989 — conf
Résolution dans les systèmes formels abstraits: applications à la programmation en logique, aux systèmes de réécriture et aux grammaires formelles.
SPLT
Pascal Yim
1986 — conf
Une nouvelle approche de la programmation en logique.
SPLT
Pascal Yim
1985 — conf
Transformation d'un programme algorithmique en programme Prolog.
SPLT
Pascal Yim