Accéder directement au contenu

Vladimir-Alexandru Paun

15
Documents

Publications

Image document

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
Image document

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
Image document

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
Image document

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
Image document

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

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 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

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
Image document

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