Vladimir-Alexandru Paun

16
Documents

Publications

Publications

Deposit thumbnail

Using HiGraph to define a Formal Integrated System Modeling Framework that ensures Complete System Consistency

Anis Otmane Cherif , Bruno Monsuez , Vladimir-Alexandru Paun , Michel Nakhlé

IEEE Advancing Technology for Humanity 26th International Conference on Systems Engineering (ICSEng), Dec 2018, Sydney, NSW, Australia

Communication dans un congrès hal-02004171v1

Time-Accurate ASM as a Refinement Scheme for Worst-Case Execution Time Estimation in Hard Real-Time Systems

Achraf Mguidich , Vladimir-Alexandru Paun , Bruno Monsuez , Philippe Baufreton

IEEE Real-Time Systems Symposium (RTSS), 2016, Unknown, Unknown Region. pp.372, ⟨10.1109/RTSS.2016.051⟩

Communication dans un congrès hal-01762679v1
Deposit thumbnail

Hierarchical Timed Abstract State Machines for WCET Estimation

Vladimir-Alexandru Paun , Bruno Monsuez , Philippe Baufreton

International Workshop on Verification and Evaluation of Computer and Communication Systems, Nov 2013, Florence, Italy

Communication dans un congrès hal-01214973v1
Deposit thumbnail

Hierarchical Timed Symbolic Abstract State Machines for precise WCET estimation

Vladimir-Alexandru Paun , Bruno Monsuez , Philippe Baufreton

IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, Aug 2013, Taipei, Taiwan

Communication dans un congrès hal-01214957v1
Deposit thumbnail

On the Determinism of Multi-core Processors

Vladimir-Alexandru Paun , Bruno Monsuez , Philippe Baufreton

French Singaporean Workshop on Formal Methods and Applications, Jul 2013, Singapour, Singapore. ⟨10.4230/OASIcs.FSFMA.2013.32⟩

Communication dans un congrès hal-01214947v1
Deposit thumbnail

Adaptable and Precise Worst Case Execution Time Estimation Tool

Vladimir-Alexandru Paun , Bruno Monsuez

Languages, Compilers, Tools and Theory for Embedded Systems WiP, Jun 2012, Beijing, China

Communication dans un congrès hal-01214943v1

A WCET Estimation Workflow Based on the TWSA Model of SystemC Designs

Vladimir-Alexandru Paun , Nesrine Harrath , Bruno Monsuez

The 32nd IEEE Real-Time Systems Symposium, Nov 2011, Vienna, Austria

Communication dans un congrès hal-00672884v1

Extracting Logical Formulae that Capture the Functionality of SystemC Designs

Nicolas Vallée , Bruno Monsuez , Vladimir-Alexandru Paun

International MultiConference of Engineers and Computer Scientists, Mar 2011, Hong Kong, China

Communication dans un congrès hal-01214940v1

A numerical procedure for MPP determination of solar panels

Viorel-Puiu Paun , Vladimir-Alexandru Paun

International Colloquium “Physics of Materials” (PM-1), Oct 2008, Bucarest, Romania

Communication dans un congrès hal-01276226v1

A restricted diffusion model through spherical interfaces

Viorel-Puiu Paun , Vladimir-Alexandru Paun

International Colloquium “Physics of Materials” (PM-1), Oct 2008, Bucarest, Romania

Communication dans un congrès hal-01276228v1
Deposit thumbnail

A WCET estimation workflow based on TWSA model of SystemC designs

Nesrine Harrath , Vladimir-Alexandru Paun , Bruno Monsuez

The 32nd IEEE Real-Time Systems Symposium, Nov 2011, Vienne, Austria

Poster de conférence hal-01214967v1