Paul Le Guernic

According to our database1, Paul Le Guernic
  • authored at least 67 papers between 1981 and 2016.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2016
Formal semantics of behavior specifications in the architecture analysis and design language standard.
Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2016

2015
Timed behavioural modelling and affine scheduling of embedded software architectures in the AADL using Polychrony.
Sci. Comput. Program., 2015

Polychronous Automata.
Proceedings of the 2015 International Symposium on Theoretical Aspects of Software Engineering, 2015

Modular translation validation of a full-sized synchronous compiler using off-the-shelf verification tools.
Proceedings of the 18th International Workshop on Software and Compilers for Embedded Systems, 2015

Translation Validation for Clock Transformations in a Synchronous Compiler.
Proceedings of the Fundamental Approaches to Software Engineering, 2015

2013
Polychronous modeling, analysis, verification and simulation for timed software architectures.
Journal of Systems Architecture - Embedded Systems Design, 2013

Exploring system architectures in AADL via Polychrony and SynDEx.
Frontiers of Computer Science, 2013

Formal verification of synchronous data-flow program transformations toward certified compilers.
Frontiers of Computer Science, 2013

Toward polychronous analysis and validation for timed software architectures in AADL.
Proceedings of the Design, Automation and Test in Europe, 2013

2012
Compositional design of isochronous systems.
Sci. Comput. Program., 2012

Formal Verification of Compiler Transformations on Polychronous Equations.
Proceedings of the Integrated Formal Methods - 9th International Conference, 2012

2011
System-level co-simulation of integrated avionics using polychrony.
Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

Polychronous controller synthesis from MARTE CCSL timing specifications.
Proceedings of the 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, 2011

2010
A Boolean Algebra of Contracts for Assume-guarantee Reasoning.
Electr. Notes Theor. Comput. Sci., 2010

LTSs for translation validation of (multi-clocked) SIGNAL specifications.
Proceedings of the 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), 2010

2009
A module language for typing by contracts.
Proceedings of the First NASA Formal Methods Symposium, 2009

2008
Separate Compilation of Polychronous Specifications.
Electr. Notes Theor. Comput. Sci., 2008

Analysis of Periodic Clock Relations in Polychronous Systems.
Proceedings of the Distributed Embedded Systems: Design, 2008

Compositional design of isochronous systems.
Proceedings of the Design, Automation and Test in Europe, 2008

2007
Polychronous design of embedded real-time applications.
ACM Trans. Softw. Eng. Methodol., 2007

2006
Synchronous design of avionic applications based on model refinement.
J. Embedded Computing, 2006

An algebraic theory for behavioral modeling and protocol synthesis in system design.
Formal Methods in System Design, 2006

2005
A Compositional Behavioral Modeling Framework for Embedded System Design and Conformance Checking.
International Journal of Parallel Programming, 2005

2004
Formal Refinement Checking in a System-level Design Methodology.
Fundam. Inform., 2004

Modeling and Validating Globally Asynchronous Design in Synchronous Frameworks.
Proceedings of the 2004 Design, 2004

Modular design through component abstraction.
Proceedings of the 2004 International Conference on Compilers, 2004

A Behavioral Type Inference System for Compositional System-on-Chip Design.
Proceedings of the 4th International Conference on Application of Concurrency to System Design (ACSD 2004), 2004

2003
The synchronous languages 12 years later.
Proceedings of the IEEE, 2003

POLYCHRONY for System Design.
Journal of Circuits, Systems, and Computers, 2003

Hard Real-Time Implementation of Embedded Software in JAVA.
Proceedings of the Scientific Engineering of Distributed Java Applications, 2003

Polychrony for Refinement-Based Design.
Proceedings of the 2003 Design, 2003

Polychrony for Formal Refinement-Checking in a System-Level Design Methodology.
Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 2003

2002
A Protocol for Loosely Time-Triggered Architectures.
Proceedings of the Embedded Software, Second International Conference, 2002

2001
Modeling statecharts and activitycharts as signal equations.
ACM Trans. Softw. Eng. Methodol., 2001

2000
Compositionality in Dataflow Synchronous Languages: Specification and Distributed Code Generation.
Inf. Comput., 2000

Synthesis of Discrete-Event Controllers Based on the Signal Environment.
Discrete Event Dynamic Systems, 2000

A Semantics of UML State-Machines Using Synchronous Pre-Order Transition Systems.
Proceedings of the 3rd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000), 2000

1999
Validation of Mixed SIGNAL-ALPHA Real-Time Systems through Affine Calculus on Clock Synchronisation Constraints.
Proceedings of the FM'99 - Formal Methods, 1999

Synchronous Structures.
Proceedings of the CONCUR '99: Concurrency Theory, 1999

From Synchrony to Asynchrony.
Proceedings of the CONCUR '99: Concurrency Theory, 1999

1998
A Translation of Statecharts into Signal Approach of Time, Interoperability.
Proceedings of the 1st International Conference on Application of Concurrency to System Design (ACSD '98), 1998

1997
An ML-Like Module System for the Synchronous Language SIGNAL.
Proceedings of the Euro-Par '97 Parallel Processing, 1997

Compositionality in Dataflow Synchronous Languages: Specification and Code Generation.
Proceedings of the Compositionality: The Significant Difference, International Symposium, 1997

Affine Transformations in SIGNAL and Their Application in the Specification and Validation of Real-Time Systems.
Proceedings of the Transformation-Based Reactive Systems Development, 1997

1996
Synchronous Distribution of Signal Programs.
Proceedings of the 29th Annual Hawaii International Conference on System Sciences (HICSS-29), 1996

1995
A Calculus of Stochastic Systems for the Specification, Simulation, and Hidden State Estimation of Mixed Stochastic/Nonstochastic Systems.
Theor. Comput. Sci., 1995

Signal: A Formal Design Environment for Real-Time Systems.
Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995

Implementation of the Data-Flow Synchronous Language SIGNAL.
Proceedings of the ACM SIGPLAN'95 Conference on Programming Language Design and Implementation (PLDI), 1995

SIGNAL.
Proceedings of the Formal Development of Reactive Systems - Case Study Production Cell, 1995

1994
From SIGNAL to fine-grain parallel implementations.
Proceedings of the Parallel Architectures and Compilation Techniques, 1994

A Calculus of Stochastic Systems for the Specification, Simulation, and Hidden State Estimation of Hybrid Stochastic/Non-stochastic Systems.
Proceedings of the Hybrid Systems II, 1994

Distributed Implementation of SIGNAL: Scheduling & Graph Clustering.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994

A Calculus of Stochastic Systems for the Specification, Simulation, And Hidden State Estimation of Hybrid Stochastic/Non-stochastic Systems.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994

Towards a multi-formalism framework for architectural synthesis: the ASAR project.
Proceedings of the Third International Workshop on Hardware/Software Codesign, 1994

1993
Combining Dependability with Architectural Adatability by Means of the SIGNAL Language.
Proceedings of the Static Analysis, Third International Workshop, 1993

Data-Flow Synchronous Languages.
Proceedings of the A Decade of Concurrency, Reflections and Perspectives, 1993

A framework for macro- and micro-time to model VHDL attributes.
Proceedings of the European Design Automation Conference 1993, 1993

1992
A Denotational Theory of Synchronous Reactive Systems
Inf. Comput., August, 1992

Hybrid Systems: The SIGNAL Approach.
Proceedings of the Hybrid Systems, 1992

SIGNAL as a Model for Real-Time and Hybrid Systems.
Proceedings of the ESOP '92, 1992

1991
Synchronous Programming with Events and Relations: the SIGNAL Language and Its Semantics.
Sci. Comput. Program., 1991

The SIGNAL programming environment.
Proceedings of the Algorithms and Parallel VLSI Architectures II, 1991

1988
The Granules, Blutton: An Idea, an Algorithm to Implement on Multiprocessor.
Proceedings of the STACS 88, 1988

1987
SIGNAL: A declarative language for synchronous programming of real-time systems.
Proceedings of the Functional Programming Languages and Computer Architecture, 1987

1986
Signal-A data flow-oriented language for signal processing.
IEEE Trans. Acoustics, Speech, and Signal Processing, 1986

Programming Real-Time with Events and Data Flow.
IFIP Congress, 1986

1981
Types in a Mixed Language System.
BIT, 1981


  Loading...