default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPascal André
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[b2]Pascal André:
Modélisation rigoureuse au service du logiciel et des systèmes: Rester modeste et avancer ensemble. University of Nantes, France, 2024- [j7]Pascal André
, Mohammed El Amin Tebib:
Assistance in Model Driven Development: Toward an Automated Transformation Design Process. Complex Syst. Informatics Model. Q. 38: 54-99 (2024) - [c49]Ali Benjilany, Pascal André, Dalila Tamzalit, Hugo Bruneliere:
Towards a Link Mapping and Evaluation Approach for Core Operational Business-IT Alignment. ICEIS (2) 2024: 557-568 - [c48]Ali Benjilany, Pascal André, Hugo Bruneliere, Dalila Tamzalit:
Détection d'anti-patrons d'alignement dans les SI : Vers une approche automatisée. INFORSID 2024: 37-52 - [c47]Ali Benjilany, Hugo Bruneliere, Pascal André, Dalila Tamzalit:
An Approach to Assess Operational Business-IT Alignment. ISD 2024 - 2023
- [j6]Jan Kaiser, Duncan C. McFarlane, Gregory Hawkridge, Pascal André, Paulo Leitão:
A review of reference architectures for digital manufacturing: Classification, applicability and open issues. Comput. Ind. 149: 103923 (2023) - [c46]Mohammed El Amin Tebib, Pascal André, Mariem Graa, Oum-El-Kheir Aktouf:
PrivDroid: Android Security Code Smells Tool for Privilege Escalation Prevention. DASC/PiCom/CBDCom/CyberSciTech 2023: 1024-1031 - [c45]Pascal André, Dalila Tamzalit, Ali Benjilany, Hugo Bruneliere:
A Review of Core Operational Business-IT Alignment. ISD 2023 - [c44]Ivan Baheux, Oum-El-Kheir Aktouf, Mohammed El Amin Tebib, Mariem Graa, Pascal André, Yves Ledru:
DroidSecTester: Towards context-driven modelling and detection of Android application vulnerabilities. ISSREW 2023: 136-141 - [c43]Pascal André, Virginie Goepp:
A Framework for Defining Customised KPI in Manufacturing Systems. SOHOMA 2023: 309-320 - [c42]Pascal André, Olivier Cardin:
A Core Reference Model for Applicable Reconfigurable Manufacturing Systems. SOHOMA 2023: 507-519 - 2022
- [c41]William Derigent, Michaël David, Pascal André, Olivier Cardin:
Generic Aggregation Model for Reconfigurable Holonic Control Architecture - The GARCIA Framework. SOHOMA 2022: 407-422 - 2021
- [c40]Mohammed El Amin Tebib, Pascal André, Oum-El-Kheir Aktouf, Mariem Graa:
Assisting Developers in Preventing Permissions Related Security Issues in Android Applications. EDCC Workshops 2021: 132-143 - [c39]Pascal André, Mohammed El Amin Tebib:
More Automation in Model Driven Development. MEDI 2021: 75-83 - [c38]Pascal André, Olivier Cardin:
Aggregation Patterns in Holonic Manufacturing Systems. SOHOMA 2021: 3-15 - 2020
- [j5]Abdramane Bah, Pascal André, J. Christian Attiogbé, Jacqueline Konaté:
Service Promotion in a Federation of Security Domains. ARIMA J. 34: 5 (2020) - [j4]Pascal André, J. Christian Attiogbé, Arnaud Lanoix:
A tool-assisted method for the systematic construction of critical embedded systems using Event-B. Comput. Sci. Inf. Syst. 17(1): 315-338 (2020) - [c37]Pascal André, Mohammed El Amin Tebib:
Refining Automation System Control with MDE. MODELSWARD 2020: 425-432 - [c36]Pascal André, Olivier Cardin, Fawzi Azzi:
Multi-protocol Communication Tool for Virtualized Cyber Manufacturing Systems. SOHOMA 2020: 385-397
2010 – 2019
- 2019
- [c35]Abdramane Bah, Pascal André, J. Christian Attiogbé, Jacqueline Konaté:
Federation of Services from Autonomous Domains with Heterogeneous Access Control Models. ISSA 2019: 83-98 - [c34]Jean-Marie Mottu, Pascal André, Maxence Coutant, Tom Le Berre:
Shall We Test Service-Based Models or Generated Code? MoDELS (Companion) 2019: 493-502 - [c33]Pascal André:
Case Studies in Model-Driven Reverse Engineering. MODELSWARD 2019: 256-263 - [c32]Pascal André, Fawzi Azzi, Olivier Cardin:
Heterogeneous Communication Middleware for Digital Twin Based Cyber Manufacturing Systems. SOHOMA 2019: 146-157 - 2018
- [c31]Jonathan Pepin, Pascal André, J. Christian Attiogbé, Erwan Breton:
Alignement des points de vue du système d'information, une approche pragmatique. INFORSID 2018: 125-140 - [c30]Pascal André, J. Christian Attiogbé, Arnaud Lanoix:
Systematic Construction of Critical Embedded Systems Using Event-B. MEDI Workshops 2018: 200-216 - [c29]Jonathan Pepin, Pascal André, J. Christian Attiogbé, Erwan Breton:
Virtual Extension of Meta-models with Facet Tools. MODELSWARD 2018: 59-70 - [c28]Jonathan Pepin, Pascal André, J. Christian Attiogbé, Erwan Breton:
Definition and Visualization of Virtual Meta-model Extensions with a Facet Framework. MODELSWARD (Revised Selected Papers) 2018: 106-133 - [c27]Mohammed El Amin Tebib, Pascal André, Olivier Cardin:
A Model Driven Approach for Automated Generation of Service-Oriented Holonic Manufacturing Systems. SOHOMA 2018: 183-196 - [i1]Pascal André, J. Christian Attiogbé, Arnaud Lanoix:
Modelling and Analysing the Landing Gear System: a Solution with Event-B/Rodin. CoRR abs/1803.05647 (2018) - 2017
- [c26]Pascal André, J. Christian Attiogbé, Jean-Marie Mottu:
Combining Techniques to Verify Service-based Components. MODELSWARD 2017: 645-656 - [c25]Pascal André, Olivier Cardin:
Trusted Services for Cyber Manufacturing Systems. SOHOMA 2017: 359-370 - 2016
- [j3]Jonathan Pepin, Pascal André, J. Christian Attiogbé, Erwan Breton:
An Improved Model Facet Method to Support EA Alignment. Complex Syst. Informatics Model. Q. 9: 1-27 (2016) - [c24]Jonathan Pepin, Pascal André, J. Christian Attiogbé, Erwan Breton:
A Facet-based Model Mapping Method for EA Alignment and Evolution. CAiSE Forum 2016: 153-160 - [c23]Pascal André, Jean-Marie Mottu, Gerson Sunyé:
COSTOTest: a tool for building and running test harness for service-based component models (demo). ISSTA 2016: 437-440 - 2015
- [c22]Jonathan Pepin, Pascal André, J. Christian Attiogbé, Erwan Breton:
A Method for Business-IT Alignment of Legacy Systems. ICEIS (3) 2015: 229-237 - 2013
- [c21]Pascal André, Jean-Marie Mottu, Gilles Ardourel:
Building Test Harness From Service-based Component Models. MoDeVVa@MoDELS 2013: 11-20 - 2011
- [j2]Pascal André, Gilles Ardourel, J. Christian Attiogbé:
Kmelia, un modèle abstrait et formel pour la description et la composition de composants et de services. Tech. Sci. Informatiques 30(6): 627-658 (2011) - 2010
- [c20]Pascal André, Gilles Ardourel, J. Christian Attiogbé, Arnaud Lanoix:
Using Event-B to Verify the Kmelia Components and Their Assemblies. ASM 2010: 410 - [c19]Mohamed Messabihi, Pascal André, J. Christian Attiogbé:
Preuve de cohérence de composants Kmelia à l'aide de la méthode B. CAL 2010: 105-117 - [c18]Pascal André, Gilles Ardourel, Mohamed Messabihi:
Component Service Promotion: Contracts, Mechanisms and Safety. FACS 2010: 145-162 - [c17]Mohamed Messabihi, Pascal André, J. Christian Attiogbé:
Multilevel Contracts for Trusted Components. WCSI 2010: 71-85
2000 – 2009
- 2009
- [c16]Pascal André, J. Christian Attiogbé, Mohamed Messabihi:
Correction d'assemblages de composants impliquant des interfaces paramétrées. CAL 2009: 33-46 - [c15]Nicolas Anquetil, Jean-Claude Royer, Pascal André, Gilles Ardourel, Petr Hnetynka, Tomás Poch, Dragos Petrascu, Vladiela Petrascu:
JavaCompExt: Extracting Architectural Elements from Java Source Code. WCRE 2009: 317-318 - [c14]Pascal André, Gilles Ardourel, J. Christian Attiogbé, Arnaud Lanoix:
Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies. FACS@FMWeek 2009: 5-30 - 2008
- [j1]Pascal André, J. Christian Attiogbé:
Éditorial. Obj. Logiciel Base données Réseaux 14(4): 7-10 (2008) - [c13]Pascal André, Gilles Ardourel, J. Christian Attiogbé:
Composing Components with Shared Services in the KmeliaModel. SC@ETAPS 2008: 125-140 - 2007
- [c12]Pascal André, Gilles Ardourel, J. Christian Attiogbé:
Protocoles d'utilisation de composants : spécification et analyse en Kmelia. LMO 2007: 19-34 - [c11]Pascal André, Gilles Ardourel, J. Christian Attiogbé:
Defining Component Protocols with Service Composition: Illustration with the Kmelia Model. SC@ETAPS 2007: 2-17 - 2006
- [c10]Pascal André, Gilles Ardourel, J. Christian Attiogbé:
Spécification d'architectures en Kmelia : hiérarchie de connexion et composition. CAL 2006: 101-118 - [c9]J. Christian Attiogbé, Pascal André, Gilles Ardourel:
Checking Component Composability. SC@ETAPS 2006: 18-33 - [c8]Pascal André, Gilles Ardourel, J. Christian Attiogbé:
Adaptation for Hierarchical Components and Services. WCAT@ECOOP 2006: 5-20 - 2004
- [c7]Pascal André, Gilles Ardourel, Gerson Sunyé:
The Bosco Project - A JMI-Compliant Template-based Code Generator. IASSE 2004: 157-162 - [c6]Henri Habrias, Pascal André:
Précondition et invariant - l'écriture de contraintes mal adaptées à un paradigme de spécification. INFORSID 2004: 387-403 - 2000
- [c5]Pascal André, Annya Romanczuk, Jean-Claude Royer, Aline Vasconcelos:
An algebraic view of UML class diagrams. LMO 2000: 261-276 - [c4]Pascal André, Annya Romanczuk, Jean-Claude Royer:
Checking the Consistency of UML Class Diagrams Using Larch Prover. Rigorous Object-Oriented Methods 2000
1990 – 1999
- 1996
- [c3]Pascal André:
Vers un modèle formel en analyse à objets. LMO 1996: 62-78 - 1995
- [b1]Pascal André:
Méthodes formelles et à objets pour le développement du logiciel : Etudes et propositions. (Object-Oriented Formal Methods for Software Development: study and proposals). University of Rennes 1, France, 1995 - 1993
- [c2]Olivier Dubois, Pascal André, Yacine Boufkhad, Jacques Carlier:
SAT versus UNSAT. Cliques, Coloring, and Satisfiability 1993: 415-436 - 1992
- [c1]Pascal André, Jean-Claude Royer:
Optimizing Method Search with Lookup Caches and Incremental Coloring. OOPSLA 1992: 110-126
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-20 22:00 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
