Vladimir-Alexandru Paun
Publications
Publications
|
|
Liposome loaded chitosan hydrogels, a promising way to reduce the burst effect in drug releaseMateriale Plastice, 2016, 53 (4), pp.590-593 |
|
|
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⟩ |
A 3D Simulation Model for Porous Polymer Network FormationMateriale Plastice, 2009, 46 (2), pp.12 |
|
|
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 |
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⟩ |
|
|
|
Hierarchical Timed Abstract State Machines for WCET EstimationInternational Workshop on Verification and Evaluation of Computer and Communication Systems, Nov 2013, Florence, Italy |
|
|
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 |
|
|
On the Determinism of Multi-core ProcessorsFrench Singaporean Workshop on Formal Methods and Applications, Jul 2013, Singapour, Singapore. ⟨10.4230/OASIcs.FSFMA.2013.32⟩ |
|
|
Adaptable and Precise Worst Case Execution Time Estimation ToolLanguages, Compilers, Tools and Theory for Embedded Systems WiP, Jun 2012, Beijing, China |
A WCET Estimation Workflow Based on the TWSA Model of SystemC DesignsThe 32nd IEEE Real-Time Systems Symposium, Nov 2011, Vienna, Austria |
|
Extracting Logical Formulae that Capture the Functionality of SystemC DesignsInternational MultiConference of Engineers and Computer Scientists, Mar 2011, Hong Kong, China |
|
A numerical procedure for MPP determination of solar panelsInternational Colloquium “Physics of Materials” (PM-1), Oct 2008, Bucarest, Romania |
|
A restricted diffusion model through spherical interfacesInternational Colloquium “Physics of Materials” (PM-1), Oct 2008, Bucarest, Romania |
|
|
A WCET estimation workflow based on TWSA model of SystemC designsThe 32nd IEEE Real-Time Systems Symposium, Nov 2011, Vienne, Austria |
Hierarchical Timed Abstract State Machines for WCET Estimation2015 |
|
|
Precise and Adaptable Worst-Case Execution Time Estimation in Hard Real-Time SystemsComputation and Language [cs.CL]. Ecole Doctorale Polytechnique, 2014. English. ⟨NNT : ⟩ |