Search - ENSTA Paris - École nationale supérieure de techniques avancées Paris Access content directly

Filter your results

14 Results
authIdHal_s : vladimir-alexandru-paun

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
Conference papers hal-01214940v1
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
Conference papers hal-01214943v1

Hierarchical Timed Abstract State Machines for WCET Estimation

Vladimir-Alexandru Paun , Bruno Monsuez , Philippe Baufreton
2015
Preprints, Working Papers, ... hal-01214991v1

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⟩
Conference papers hal-01762679v1

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
Conference papers hal-01276226v1
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
Conference papers hal-01214973v1

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
Conference papers hal-00672884v1
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
Conference papers hal-02004171v1

Hierarchical timed abstract state machines for WCET estimation

Vladimir-Alexandru Paun , Bruno Monsuez , Philippe Baufreton
International Journal of Critical Computer-Based Systems, 2016, 6 (4), pp.343-363. ⟨10.1504/IJCCBS.2016.081810⟩
Journal articles hal-01762677v1

A restricted diffusion model through spherical interfaces

Viorel-Puiu Paun , Vladimir-Alexandru Paun
International Colloquium “Physics of Materials” (PM-1), Oct 2008, Bucarest, Romania
Conference papers hal-01276228v1
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⟩
Conference papers 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
Conference papers hal-01214957v1
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
Conference poster hal-01214967v1
Image document

Precise and Adaptable Worst-Case Execution Time Estimation in Hard Real-Time Systems

Vladimir-Alexandru Paun
Computation and Language [cs.CL]. Ecole Doctorale Polytechnique, 2014. English. ⟨NNT : ⟩
Theses tel-01214985v1