( en | de | ru )

 

Disambiguation of "Seceleanu, Tiberiu"

Author of the publication

copydeleteadd this publication to your clipboard
Analyzing a wind turbine system: From simulation to formal verification.

, , , , , , and . Sci. Comput. Program., (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Tiberiu Parosanu

Tiberiu Stratulat

Paul-Tiberiu Miclea

Tiberiu Brebenel Arion

Tiberiu-Stefan Boboc

 

Other publications of authors with the same name

On-Chip Distributed Architectures., , and . SoCC, page 329-330. IEEE, (2006)Integrating wireless systems into process industry and business management., , , , , and . ETFA, page 1-8. IEEE, (2010)Synchronization Can Improve Reactive Systems Control and Modularity., and . J. Univers. Comput. Sci., 10 (10): 1429-1468 (2004)Cluster Based Networks-on-Chip: An Efficient and Fault-Tolerant Architecture using Network Interface Assisted Routing., , , and . Int. J. Adapt. Resilient Auton. Syst., 4 (3): 25-41 (2013)Formal Pipeline Design., and . CHARME, volume 2144 of Lecture Notes in Computer Science, page 167-172. Springer, (2001)Partitioning Decision Process for Embedded Hardware and Software Deployment., , and . COMPSAC Workshops, page 674-680. IEEE Computer Society, (2013)Modeling on-chip communication., and . SoC, page 89-92. IEEE, (2003)LLM-shark - A Tool for Automatic Resource-boundness Analysis and Cache Partitioning Setup., , , , and . COMPSAC, page 49-58. IEEE, (2021)Towards Reuse-Based Development for the On-chip Distributed SoC Architecture., , and . COMPSAC Workshops, page 278-283. IEEE Computer Society, (2012)Design and Implementation of a WirelessHART Simulator for Process Control., , and . SIES, page 221-224. IEEE, (2010)