Pascal Raymond

According to our database1, Pascal Raymond authored at least 44 papers between 1991 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
A Transistor Level Relational Semantics for Electrical Rule Checking by SMT Solving.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024

2023
Electrical Rule Checking of Integrated Circuits using Satisfiability Modulo Theory.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

2021
Terminating Exploration Of A Grid By An Optimal Number Of Asynchronous Oblivious Robots.
Comput. J., 2021

2020
A study of predictable execution models implementation for industrial data-flow applications on a multi-core platform with shared banked memory.
Proceedings of the 41st IEEE Real-Time Systems Symposium, 2020

2019
Improving WCET Evaluation using Linear Relation Analysis.
Leibniz Trans. Embed. Syst., 2019

Response time analysis of dataflow applications on a many-core processor with shared-memory and network-on-chip.
Proceedings of the 27th International Conference on Real-Time Networks and Systems, 2019

2018
Parallel code generation of synchronous programs for a many-core architecture.
Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

2017

2015
Timing analysis enhancement for synchronous program.
Real Time Syst., 2015

WIP: Creating an online interactive database for tridimensional models in preventive archaeology at the La Courneuve base of the INRAP.
Proceedings of the 2nd Digital Heritage International Congress, 2015

2014
A general approach for expressing infeasibility in Implicit Path Enumeration Technique.
Proceedings of the 2014 International Conference on Embedded Software, 2014

2013
Program Semantics in Model-Based WCET Analysis: A State of the Art Perspective.
Proceedings of the 13th International Workshop on Worst-Case Execution Time Analysis, 2013

Engineering functional requirements of reactive systems using synchronous languages.
Proceedings of the 8th IEEE International Symposium on Industrial Embedded Systems, 2013

Timing analysis enhancement for synchronous program.
Proceedings of the 21st International Conference on Real-Time Networks and Systems, 2013

2012
Optimal Grid Exploration by Asynchronous Oblivious Robots.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2012

2010
Modular static scheduling of synchronous data-flow networks - An efficient symbolic representation.
Des. Autom. Embed. Syst., 2010

2009
Synchronous objects with scheduling policies: introducing safe shared memory in lustre.
Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, 2009

Model-Based Design of Embedded Control Systems by Means of a Synchronous Intermediate Model.
Proceedings of the International Conference on Embedded Software and Systems, 2009

Synchronous Modeling and Validation of Priority Inheritance Schedulers.
Proceedings of the Fundamental Approaches to Software Engineering, 2009

2008
Lutin: A Language for Specifying and Executing Reactive Scenarios.
EURASIP J. Embed. Syst., 2008

2007
Synchronous Programming.
Proceedings of the Handbook of Real-Time and Embedded Systems., 2007

Specifying and Executing Reactive Scenarios With Lutin.
Proceedings of the International Workshop on Model-driven High-level Programming of Embedded Systems, 2007

Virtual execution of AADL models via a translation into synchronous programs.
Proceedings of the 7th ACM & IEEE International conference on Embedded software, 2007

2006
Case studies with Lurette V2.
Int. J. Softw. Tools Technol. Transf., 2006

Describing and Executing Random Reactive Systems.
Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 2006

2004
Counter-example generation in symbolic abstract model-checking.
Int. J. Softw. Tools Technol. Transf., 2004

From Discrete Duration Calculus to Symbolic Automata.
Proceedings of the Third International Workshop on Synchronous Languages, 2004

2002
Describing Non-Deterministic Reactive Systems by Means of Regular Expressions.
Proceedings of the Synchronous Languages, Applications, and Programming, 2002

2001
Automatic verification of parameterized networks of processes.
Theor. Comput. Sci., 2001

From control system design to embedded code: the synchronous data-flow approach.
Proceedings of the 40th IEEE Conference on Decision and Control, 2001

1999
Dynamic Partitioning in Analyses of Numerical Properties.
Proceedings of the Static Analysis, 6th International Symposium, 1999

Validation of Synchronous Reactive Systems: From Formal Verification to Automatic Testing.
Proceedings of the Advances in Computing Science, 1999

1998
Automatic Testing of Reactive Systems.
Proceedings of the 19th IEEE Real-Time Systems Symposium, 1998

1997
Automatic Verification of Parameterized Linear Networks of Processes.
Proceedings of the Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1997

1996
Recognizing Regular Expressions by Means of Dataflow Networks.
Proceedings of the Automata, Languages and Programming, 23rd International Colloquium, 1996

1994
Verification of Linear Hybrid Systems by Means of Convex Approximations.
Proceedings of the Static Analysis, First International Static Analysis Symposium, 1994

A Multiparadigm Language for Reactive Systems.
Proceedings of the IEEE Computer Society 1994 International Conference on Computer Languages, 1994

1993
Embedding Declarative Subprograms into Imperative Constructs.
Proceedings of the Programming Language Implementation and Logic Programming, 1993

Synchronous Observers and the Verification of Reactive Systems.
Proceedings of the Algebraic Methodology and Software Technology (AMAST '93), 1993

1992
Minimal State Graph Generation.
Sci. Comput. Program., 1992

1991
Compilation efficace d'un langage déclaratif synchrone : le générateur de code Lustre-V3. (Efficient Compilation of a Declarative Synchronous Language:the Lustre-V3 Code Generator).
PhD thesis, 1991

The synchronous data flow programming language LUSTRE.
Proc. IEEE, 1991

Programming and verifying critical systems by means of the synchronous data-flow language LUSTRE.
Proceedings of the conference on Software for citical systems, 1991

Generating Efficient Code From Data-Flow Programs.
Proceedings of the Programming Language Implementation and Logic Programming, 1991


  Loading...