Vladimir-Alexandru Paun

Publications

Article dans une revue (3)

Liposome loaded chitosan hydrogels, a promising way to reduce the burst effect in drug release Vladimir-Alexandru Paun,Marcel Popa,Jacques Desbrieres,C.A. Peptu,S.V. Draganet al. Materiale Plastice, 2016, 53 (4), pp.590-593 Article dans une revue hal-01495526v1
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⟩ Article dans une revue hal-01762677v1
A 3D Simulation Model for Porous Polymer Network Formation Viorel-Puiu Paun,Florin Popentiu,Vladimir-Alexandru Paun Materiale Plastice, 2009, 46 (2), pp.12 Article dans une revue hal-01215006v1

Communication dans un congrès (10)

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

Poster de conférence (1)

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

Pré-publication, Document de travail (1)

Hierarchical Timed Abstract State Machines for WCET Estimation Vladimir-Alexandru Paun,Bruno Monsuez,Philippe Baufreton 2015 Pré-publication, Document de travail hal-01214991v1

Thèse (1)

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 : ⟩ Thèse tel-01214985v1