Pascal André - RankMe

62 papers A 5C 6Journal 8Unranked 41

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Formal Modelling of Information System Evolution using B. ISD Pascal André, Henri Habrias
2024	—	`conf`	A Meta-Model Based Methodology for Building Performance Dashboards in Manufacturing. SOHOMA Ivana Rasovska, Pascal André, Virginie Goepp
2024	—	`conf`	An Approach to Assess Operational Business-IT Alignment. ISD Ali Benjilany, Hugo Bruneliere, Pascal André, Dalila Tamzalit
2024	J	`jnl`	Assistance in Model Driven Development: Toward an Automated Transformation Design Process. Complex Syst. Informatics Model. Q. Pascal André, Mohammed El Amin Tebib
2024	—	`conf`	Détection d'anti-patrons d'alignement dans les SI : Vers une approche automatisée. INFORSID Ali Benjilany, Pascal André, Hugo Bruneliere, Dalila Tamzalit
2024	—	`book`	Modélisation rigoureuse au service du logiciel et des systèmes: Rester modeste et avancer ensemble. Pascal André
2024	C	`conf`	Privbench: A Benchmark Capturing Privilege Escalation Vulnerabilities in Android. PST Mohammed El Amin Tebib, Oum-El-Kheir Aktouf, Pascal André, Mariem Graa
2024	—	`conf`	Towards a Link Mapping and Evaluation Approach for Core Operational Business-IT Alignment. ICEIS (2) Ali Benjilany, Pascal André, Dalila Tamzalit, Hugo Bruneliere
2023	—	`conf`	A Core Reference Model for Applicable Reconfigurable Manufacturing Systems. SOHOMA Pascal André, Olivier Cardin
2023	—	`conf`	A Framework for Defining Customised KPI in Manufacturing Systems. SOHOMA Pascal André, Virginie Goepp
2023	—	`conf`	A Review of Core Operational Business-IT Alignment. ISD Pascal André, Dalila Tamzalit, Ali Benjilany, Hugo Bruneliere
2023	J	`jnl`	A review of reference architectures for digital manufacturing: Classification, applicability and open issues. Comput. Ind. Jan Kaiser, Duncan C. McFarlane, Gregory Hawkridge, Pascal André, Paulo Leitão
2023	—	`conf`	DroidSecTester: Towards context-driven modelling and detection of Android application vulnerabilities. ISSREW Ivan Baheux, Oum-El-Kheir Aktouf, Mohammed El Amin Tebib, Mariem Graa, Pascal André, Yves Ledru
2023	—	`conf`	PrivDroid: Android Security Code Smells Tool for Privilege Escalation Prevention. DASC/PiCom/CBDCom/CyberSciTech Mohammed El Amin Tebib, Pascal André, Mariem Graa, Oum-El-Kheir Aktouf
2022	—	`conf`	Generic Aggregation Model for Reconfigurable Holonic Control Architecture - The GARCIA Framework. SOHOMA William Derigent, Michaël David, Pascal André, Olivier Cardin
2021	—	`conf`	Aggregation Patterns in Holonic Manufacturing Systems. SOHOMA Pascal André, Olivier Cardin
2021	—	`conf`	Assisting Developers in Preventing Permissions Related Security Issues in Android Applications. EDCC Workshops Mohammed El Amin Tebib, Pascal André, Oum-El-Kheir Aktouf, Mariem Graa
2021	C	`conf`	More Automation in Model Driven Development. MEDI Pascal André, Mohammed El Amin Tebib
2020	J	`jnl`	A tool-assisted method for the systematic construction of critical embedded systems using Event-B. Comput. Sci. Inf. Syst. Pascal André, J. Christian Attiogbé, Arnaud Lanoix
2020	—	`conf`	Multi-protocol Communication Tool for Virtualized Cyber Manufacturing Systems. SOHOMA Pascal André, Olivier Cardin, Fawzi Azzi
2020	C	`conf`	Refining Automation System Control with MDE. MODELSWARD Pascal André, Mohammed El Amin Tebib
2020	J	`jnl`	Service Promotion in a Federation of Security Domains. ARIMA J. Abdramane Bah, Pascal André, J. Christian Attiogbé, Jacqueline Konaté
2019	C	`conf`	Case Studies in Model-Driven Reverse Engineering. MODELSWARD Pascal André
2019	—	`conf`	Federation of Services from Autonomous Domains with Heterogeneous Access Control Models. ISSA Abdramane Bah, Pascal André, J. Christian Attiogbé, Jacqueline Konaté
2019	—	`conf`	Heterogeneous Communication Middleware for Digital Twin Based Cyber Manufacturing Systems. SOHOMA Pascal André, Fawzi Azzi, Olivier Cardin
2019	—	`conf`	Shall We Test Service-Based Models or Generated Code? MoDELS (Companion) Jean-Marie Mottu, Pascal André, Maxence Coutant, Tom Le Berre
2018	—	`conf`	A Model Driven Approach for Automated Generation of Service-Oriented Holonic Manufacturing Systems. SOHOMA Mohammed El Amin Tebib, Pascal André, Olivier Cardin
2018	—	`conf`	Alignement des points de vue du système d'information, une approche pragmatique. INFORSID Jonathan Pepin, Pascal André, J. Christian Attiogbé, Erwan Breton
2018	—	`conf`	Definition and Visualization of Virtual Meta-model Extensions with a Facet Framework. MODELSWARD (Revised Selected Papers) Jonathan Pepin, Pascal André, J. Christian Attiogbé, Erwan Breton
2018	J	`jnl`	Modelling and Analysing the Landing Gear System: a Solution with Event-B/Rodin. CoRR Pascal André, J. Christian Attiogbé, Arnaud Lanoix
2018	—	`conf`	Systematic Construction of Critical Embedded Systems Using Event-B. MEDI Workshops Pascal André, J. Christian Attiogbé, Arnaud Lanoix
2018	C	`conf`	Virtual Extension of Meta-models with Facet Tools. MODELSWARD Jonathan Pepin, Pascal André, J. Christian Attiogbé, Erwan Breton
2017	C	`conf`	Combining Techniques to Verify Service-based Components. MODELSWARD Pascal André, J. Christian Attiogbé, Jean-Marie Mottu
2017	—	`conf`	Trusted Services for Cyber Manufacturing Systems. SOHOMA Pascal André, Olivier Cardin
2016	—	`conf`	A Facet-based Model Mapping Method for EA Alignment and Evolution. CAiSE Forum Jonathan Pepin, Pascal André, J. Christian Attiogbé, Erwan Breton
2016	J	`jnl`	An Improved Model Facet Method to Support EA Alignment. Complex Syst. Informatics Model. Q. Jonathan Pepin, Pascal André, J. Christian Attiogbé, Erwan Breton
2016	A	`conf`	COSTOTest: a tool for building and running test harness for service-based component models (demo). ISSTA Pascal André, Jean-Marie Mottu, Gerson Sunyé
2015	—	`conf`	A Method for Business-IT Alignment of Legacy Systems. ICEIS (3) Jonathan Pepin, Pascal André, J. Christian Attiogbé, Erwan Breton
2013	—	`conf`	Building Test Harness From Service-based Component Models. MoDeVVa@MoDELS Pascal André, Jean-Marie Mottu, Gilles Ardourel
2011	J	`jnl`	Kmelia, un modèle abstrait et formel pour la description et la composition de composants et de services. Tech. Sci. Informatiques Pascal André, Gilles Ardourel, J. Christian Attiogbé
2010	—	`conf`	Component Service Promotion: Contracts, Mechanisms and Safety. FACS Pascal André, Gilles Ardourel, Mohamed Messabihi
2010	—	`conf`	Multilevel Contracts for Trusted Components WCSI Mohamed Messabihi, Pascal André, J. Christian Attiogbé
2010	—	`conf`	Preuve de cohérence de composants Kmelia à l'aide de la méthode B. CAL Mohamed Messabihi, Pascal André, J. Christian Attiogbé
2010	—	`conf`	Using Event-B to Verify the Kmelia Components and Their Assemblies. ASM Pascal André, Gilles Ardourel, J. Christian Attiogbé, Arnaud Lanoix
2009	—	`conf`	Correction d'assemblages de composants impliquant des interfaces paramétrées. CAL Pascal André, J. Christian Attiogbé, Mohamed Messabihi
2009	—	`conf`	JavaCompExt: Extracting Architectural Elements from Java Source Code. WCRE Nicolas Anquetil, Jean-Claude Royer, Pascal André, Gilles Ardourel, Petr Hnetynka, Tomás Poch, Dragos Petrascu, Vladiela Petrascu
2009	—	`conf`	Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies. FACS@FMWeek Pascal André, Gilles Ardourel, J. Christian Attiogbé, Arnaud Lanoix
2008	A	`conf`	Composing Components with Shared Services in the KmeliaModel. SC Pascal André, Gilles Ardourel, J. Christian Attiogbé
2008	J	`jnl`	Éditorial. Obj. Logiciel Base données Réseaux Pascal André, J. Christian Attiogbé
2007	A	`conf`	Defining Component Protocols with Service Composition: Illustration with the Kmelia Model. SC Pascal André, Gilles Ardourel, J. Christian Attiogbé
2007	—	`conf`	Protocoles d'utilisation de composants : spécification et analyse en Kmelia. LMO Pascal André, Gilles Ardourel, J. Christian Attiogbé
2006	—	`conf`	Adaptation for Hierarchical Components and Services. WCAT@ECOOP Pascal André, Gilles Ardourel, J. Christian Attiogbé
2006	A	`conf`	Checking Component Composability. SC J. Christian Attiogbé, Pascal André, Gilles Ardourel
2006	—	`conf`	Spécification d'architectures en Kmelia : hiérarchie de connexion et composition. CAL Pascal André, Gilles Ardourel, J. Christian Attiogbé
2004	—	`conf`	Précondition et invariant - l'écriture de contraintes mal adaptées à un paradigme de spécification. INFORSID Henri Habrias, Pascal André
2004	—	`conf`	The Bosco Project - A JMI-Compliant Template-based Code Generator. IASSE Pascal André, Gilles Ardourel, Gerson Sunyé
2000	—	`conf`	An algebraic view of UML class diagrams. LMO Pascal André, Annya Romanczuk, Jean-Claude Royer, Aline Vasconcelos
2000	—	`conf`	Checking the Consistency of UML Class Diagrams Using Larch Prover. Rigorous Object-Oriented Methods Pascal André, Annya Romanczuk, Jean-Claude Royer
1996	—	`conf`	Vers un modèle formel en analyse à objets. LMO Pascal André
1995	—	`—`	Méthodes formelles et à objets pour le développement du logiciel : Etudes et propositions. (Object-Oriented Formal Methods for Software Development: study and proposals). Pascal André
1993	—	`conf`	SAT versus UNSAT. Cliques, Coloring, and Satisfiability Olivier Dubois, Pascal André, Yacine Boufkhad, Jacques Carlier
1992	A	`conf`	Optimizing Method Search with Lookup Caches and Incremental Coloring. OOPSLA Pascal André, Jean-Claude Royer