![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Guy Durrieu
Person information
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2019
- [j3]Guy Durrieu, Claire Pagetti
:
GRec: Automatic Computation of Reconfiguration Graphs for Multi-core Platforms. ACM Trans. Embed. Comput. Syst. 18(5): 41:1-41:24 (2019) - 2018
- [c13]Luca Santinelli, David Doose, Guy Durrieu, Frédéric Boniol, Charles Lesire-Cabaniols, Christophe Grand
:
Schedulability analysis for mixed critical cyber physical systems. ICPS 2018: 297-303 - 2015
- [j2]Alexandru-Robert Guduvan, Hélène Waeselynck, Virginie Wiels, Guy Durrieu, Yann Fusero, Michel Schieber:
Test Languages for In-the-Loop Avionics Tests. J. Aerosp. Inf. Syst. 12(4): 374-391 (2015) - 2013
- [c12]Alexandru-Robert Guduvan, Hélène Waeselynck, Virginie Wiels, Guy Durrieu, Yann Fusero, Michel Schieber:
STELAE - A model-driven test development environment for avionics systems. ISORC 2013: 1-8 - [c11]Alexandru-Robert Guduvan, Hélène Waeselynck, Virginie Wiels, Guy Durrieu, Yann Fusero, Michel Schieber:
A Meta-model for Tests of Avionics Embedded Systems. MODELSWARD 2013: 5-13
2000 – 2009
- 2008
- [c10]Guy Durrieu, Hélène Waeselynck, Virginie Wiels:
LETO - A Lustre-Based Test Oracle for Airbus Critical Systems. FMICS 2008: 7-22 - 2004
- [c9]Guy Durrieu, Odile Laurent, Christel Seguin, Virginie Wiels:
Formal proof and test case generation for critical embedded systems using SCADE. IFIP Congress Topical Sessions 2004: 499-504
1990 – 1999
- 1998
- [c8]Bruno d'Ausbourg, Christel Seguin, Guy Durrieu, Pierre Roché:
Helping the Automated Validation Process of User Interfaces Systems. ICSE 1998: 219-228 - 1996
- [c7]Bruno d'Ausbourg, Guy Durrieu, Pierre Roché:
Deriving a Formal Model of an Interactive System from its UIL Description in order to Verify and Test its Behaviour. DSV-IS 1996: 105-122 - 1994
- [c6]Michel Auguin, Mohamed Belhadj, Judith Benzakki, C. Carrière, Guy Durrieu, Thierry Gautier, Michel Israël, Paul Le Guernic, Michel Lemaître, E. Martin, Patrice Quinton, Laurence Rideau, Frédéric Rousseau, Olivier Sentieys:
Towards a multi-formalism framework for architectural synthesis: the ASAR project. CODES 1994: 25-32 - 1992
- [c5]Guy Durrieu, Kamel Kessaci, Michel Lemaître:
Transe: An Experimental Transformation Assistant for Digital Circuit Design. Designing Correct Circuits 1992: 103-118 - 1991
- [c4]Guy Durrieu, Kamel Kessaci, Michel Lemaître:
Transe: an experimental design tool. Algorithms and Parallel VLSI Architectures 1991: 299-304
1980 – 1989
- 1989
- [c3]Alessandro Contessa, Eric Cousin, Christophe Coustet, Manuel Cubero-Castan, Guy Durrieu, Bernard Lécussan, Michel Lemaître, Paulino Ng:
MaRS, a Combinator Graph Reduction Multiprocessor. PARLE (1) 1989: 176-192 - 1986
- [c2]Michel Castan, Guy Durrieu, Bernard Lécussan, Michel Lemaître, Alessandro Contessa, Eric Cousin, Paulino Ng:
Toward the design of a parallel graph reduction machine: The MaRS project. Graph Reduction 1986: 160-180 - [c1]Michel Lemaître, Michel Castan, M.-H. Durand, Guy Durrieu, Bernard Lécussan:
Mechanisms for Efficient Multiprocessor Combinator Reduction. LISP and Functional Programming 1986: 113-121
1970 – 1979
- 1978
- [j1]Dominique Comte, Guy Durrieu, O. Gelly, A. Plas, Jean-Claude Syre:
Parallelism, control and synchronization expression in a single assignment language. ACM SIGPLAN Notices 13(1): 25-33 (1978)
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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-04-25 05:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint