Vladimir-Alexandru Paun
15
Documents
Publications
Hierarchical timed abstract state machines for WCET estimationInternational 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 FormationMateriale Plastice, 2009, 46 (2), pp.12
Article dans une revue
hal-01215006v1
|
|
Using HiGraph to define a Formal Integrated System Modeling Framework that ensures Complete System ConsistencyIEEE 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 SystemsIEEE Real-Time Systems Symposium (RTSS), 2016, Unknown, Unknown Region. pp.372, ⟨10.1109/RTSS.2016.051⟩
Communication dans un congrès
hal-01762679v1
|
|
|
On the Determinism of Multi-core ProcessorsFrench Singaporean Workshop on Formal Methods and Applications, Jul 2013, Singapour, Singapore. ⟨10.4230/OASIcs.FSFMA.2013.32⟩
Communication dans un congrès
hal-01214947v1
|
|
Hierarchical Timed Symbolic Abstract State Machines for precise WCET estimationIEEE International Conference on Embedded and Real-Time Computing Systems and Applications, Aug 2013, Taipei, Taiwan
Communication dans un congrès
hal-01214957v1
|
|
Hierarchical Timed Abstract State Machines for WCET EstimationInternational Workshop on Verification and Evaluation of Computer and Communication Systems, Nov 2013, Florence, Italy
Communication dans un congrès
hal-01214973v1
|
|
Adaptable and Precise Worst Case Execution Time Estimation ToolLanguages, 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 DesignsInternational 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 DesignsThe 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 panelsInternational Colloquium “Physics of Materials” (PM-1), Oct 2008, Bucarest, Romania
Communication dans un congrès
hal-01276226v1
|
|
A restricted diffusion model through spherical interfacesInternational Colloquium “Physics of Materials” (PM-1), Oct 2008, Bucarest, Romania
Communication dans un congrès
hal-01276228v1
|
|
A WCET estimation workflow based on TWSA model of SystemC designsThe 32nd IEEE Real-Time Systems Symposium, Nov 2011, Vienne, Austria
Poster de conférence
hal-01214967v1
|
Hierarchical Timed Abstract State Machines for WCET Estimation2015
Pré-publication, Document de travail
hal-01214991v1
|
|
Precise and Adaptable Worst-Case Execution Time Estimation in Hard Real-Time SystemsComputation and Language [cs.CL]. Ecole Doctorale Polytechnique, 2014. English. ⟨NNT : ⟩
Thèse
tel-01214985v1
|