Nombre de documents

12


Article dans une revue1 document

  • Viorel-Puiu Paun, Florin Popentiu, Vladimir-Alexandru Paun. A 3D Simulation Model for Porous Polymer Network Formation. MATERIALE PLASTICE, 2009, 46 (2), pp.12. 〈hal-01215006〉

Communication dans un congrès8 documents

  • Vladimir-Alexandru Paun, Bruno Monsuez, Philippe Baufreton. Hierarchical Timed Symbolic Abstract State Machines for precise WCET estimation. IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, Aug 2013, Taipei, Taiwan. 〈hal-01214957〉
  • Vladimir-Alexandru Paun, Bruno Monsuez, Philippe Baufreton. Hierarchical Timed Abstract State Machines for WCET Estimation. International Workshop on Verification and Evaluation of Computer and Communication Systems, Nov 2013, Florence, Italy. 〈hal-01214973〉
  • Vladimir-Alexandru Paun, Bruno Monsuez, Philippe Baufreton. On the Determinism of Multi-core Processors. French Singaporean Workshop on Formal Methods and Applications, Jul 2013, Singapour, Singapore. 〈10.4230/OASIcs.FSFMA.2013.32〉. 〈hal-01214947〉
  • Vladimir-Alexandru Paun, Bruno Monsuez. Adaptable and Precise Worst Case Execution Time Estimation Tool. Languages, Compilers, Tools and Theory for Embedded Systems WiP, Jun 2012, Beijing, China. Proceedings Work-in-Progress Session of LCTES 2012, 2012. 〈hal-01214943〉
  • Nicolas Vallée, Bruno Monsuez, Vladimir-Alexandru Paun. Extracting Logical Formulae that Capture the Functionality of SystemC Designs. International MultiConference of Engineers and Computer Scientists, Mar 2011, Hong Kong, China. 〈hal-01214940〉
  • Vladimir-Alexandru Paun, Harrath Nesrine, Bruno Monsuez. A WCET Estimation Workflow Based on the TWSA Model of SystemC Designs. The 32nd IEEE Real-Time Systems Symposium, Nov 2011, Vienna, Austria. 〈hal-00672884〉
  • Viorel-Puiu Paun, Vladimir-Alexandru Paun. A restricted diffusion model through spherical interfaces. International Colloquium “Physics of Materials” (PM-1), Oct 2008, Bucarest, Romania. Mathematics in Engineering, Numerical Physics and Complexity, 2008. 〈hal-01276228〉
  • Viorel-Puiu Paun, Vladimir-Alexandru Paun. A numerical procedure for MPP determination of solar panels. International Colloquium “Physics of Materials” (PM-1), Oct 2008, Bucarest, Romania. Mathematics in Engineering, Numerical Physics and Complexity, 2008. 〈hal-01276226〉

Poster1 document

  • Nesrine Harrath, Vladimir-Alexandru Paun, Bruno Monsuez. A WCET estimation workflow based on TWSA model of SystemC designs. The 32nd IEEE Real-Time Systems Symposium, Nov 2011, Vienne, Austria. 〈hal-01214967〉

Pré-publication, Document de travail1 document

  • Vladimir-Alexandru Paun, Bruno Monsuez, Philippe Baufreton. Hierarchical Timed Abstract State Machines for WCET Estimation. 2015. 〈hal-01214991〉

Thèse1 document

  • Vladimir-Alexandru Paun. Precise and Adaptable Worst-Case Execution Time Estimation in Hard Real-Time Systems. Computation and Language [cs.CL]. Ecole Doctorale Polytechnique, 2014. English. 〈tel-01214985v1〉