
Vladimir-Alexandru Paun
16
Documents
Publications
Publications
|
Liposome loaded chitosan hydrogels, a promising way to reduce the burst effect in drug releaseMateriale Plastice, 2016, 53 (4), pp.590-593
Article dans une revue
hal-01495526
v1
|
|
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-01762677
v1
|
A 3D Simulation Model for Porous Polymer Network FormationMateriale Plastice, 2009, 46 (2), pp.12
Article dans une revue
hal-01215006
v1
|
|
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-02004171
v1
|
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-01762679
v1
|
|
|
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-01214973
v1
|
|
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-01214947
v1
|
|
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-01214957
v1
|
|
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-01214943
v1
|
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-00672884
v1
|
|
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-01214940
v1
|
|
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-01276226
v1
|
|
A restricted diffusion model through spherical interfacesInternational Colloquium “Physics of Materials” (PM-1), Oct 2008, Bucarest, Romania
Communication dans un congrès
hal-01276228
v1
|
|
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-01214967
v1
|
Hierarchical Timed Abstract State Machines for WCET Estimation2015
Pré-publication, Document de travail
hal-01214991
v1
|
|
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-01214985
v1
|
Chargement...
Chargement...