PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Shi, Jianqi"

Author of the publication

copydeleteadd this publication to your clipboard
ESF - An Extensive Service Foundation from Internet of Things Perspective.

, , , , and . ISORC Workshops, page 59-64. IEEE Computer Society, (2012)

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.

Abhishekkumar Shingala University of Stuttgart

Ashkan Shiravand University of Stuttgart

Elizaveta Shishova University of Stuttgart

Lei Shi University of Stuttgart

Dachuan Shi University of Stuttgart

 

Other publications of authors with the same name

Formal verification and simulation for platform screen doors and collision avoidance in subway control systems., , , , , and . STTT, 16 (4): 339-361 (2014)Formalizing Application Programming Interfaces of the OSEK/VDX Operating System Specification., , , , and . TASE, page 27-34. IEEE Computer Society, (2011)Formal Verification and Simulation: Co-verification for Subway Control Systems., , , and . TASE, page 145-152. IEEE Computer Society, (2012)A refinement development approach for enhancing the safety of PLC programs with Event-B., , , , and . Sci. Comput. Program., (2022)ESF - An Extensive Service Foundation from Internet of Things Perspective., , , , and . ISORC Workshops, page 59-64. IEEE Computer Society, (2012)Binary Code Level Verification for Interrupt Safety Properties of Real-Time Operating System., , , , , , and . TASE, page 223-226. IEEE Computer Society, (2012)Modeling and Verifying the Code-Level OSEK/VDX Operating System with CSP., , , , , and . TASE, page 142-149. IEEE Computer Society, (2011)An Object-Oriented Language for Modeling of Hybrid Systems., , and . HASE, page 1-9. IEEE Computer Society, (2015)Automated Test Generation for IEC 61131-3 ST Programs via Dynamic Symbolic Execution., , , and . TASE, page 200-207. IEEE, (2019)Modeling and Verification of CAN Bus with Application Layer using UPPAAL., , , , , and . Electron. Notes Theor. Comput. Sci., (2014)