Citation of paper, Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems*

Authors Citing This Paper

AuthorCiting PapersAuthor's PapersAuthor's CitationsAuthor's IF
Alberto L Sangiovanni-Vincentelli1137411,4452.2
Qi Zhu7891,3482.3
Roberto Passerone71081,6611.6
Martin E Törngren41071,5971.9
Chen Lv41533,3066.1
Illarramendi, Miren310110.2
Jonas Westman3141021.2
Stavros Tripakis31212,2931.6
Jüri Vain3622570.5
Georgios Bakirtzis215651.5
20
Hans Vangheluwe21161,4021.3
Seshadhri Srinivasan2754821.4
Simon Foster2412961.9
Bo Liu251324.8
Janos Sztipanovits2184502.8
Elena Gómez-Martínez214630.4
Richard M Murray227616,1094.9
Joachim Denil2381991.1
Leire Etxeberria2382691.2
Leonidas Tsiopoulos220500.4
Xenofon Koutsoukos2861,2222
George J Pappas240015,1173.6
Patricia Derler2276932.6
Sebti Mouelhi271112.2
Petar Radanliev2394777.9
Carlos Eduardo Pereira12381,7900.9
Surya B Yadav1111121.5
Massimo Tipaldi1301691.4
Jason W Kolligs1100
Shao-Yuan Li11772,2611.8
Luigi Glielmo11262,2412
Manfred Broy11011,8081.1
Artem A Nazarenko110521.9
Márcio Af Martins1402632
Davide Bresolin1615961.1
Nicola Cimmino13111.7
Nicolas Markey1879601.2
Stefano Marrone1584011
Davide Liuzza1213584.6
Xiangru Xu1188377.7
JosÉ Pinto1293621.9
Jochem W Rieger1592,0143.3
Antoine B Rauzy1528071.2
Aaron D Ames12424,9273.9
Luis Camarinha-Matos13104,6871.5
Erkki Jantunen1409192.6
Arvind Easwaran1759361.5
Benoît Lebeaupin1110.5
Rolf Findeisen12694,1751.7

Journals Citing This Paper

JournalCiting PapersJournal's IFJournal's Star
Lecture Notes in Computer Science200.9★★
Proceedings of the IEEE614.3★★
IEEE Systems Journal54.3★★
Systems Engineering31.8★★
Formal Methods in System Design31.4★★
Transactions on Embedded Computing Systems31.8★★
Science of Computer Programming31.1★★
Embedded Systems2
Foundations and Trends in Electronic Design Automation21
Electronic Proceedings in Theoretical Computer Science, EPTCS2★★
Cyber-Physical Systems21.1
ACM Transactions on Cyber-Physical Systems22.3
Designs21.8
Power Systems20.4
IEEE Design and Test21.4★★
Frontiers of Information Technology and Electronic Engineering22.2
IFIP Advances in Information and Communication Technology20.5★★
Microprocessors and Microsystems22.4★★
Incose International Symposium20.4
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems22.5★★
Lecture Notes in Electrical Engineering20.2
Theoretical Computer Science21.1★★
IFAC-PapersOnLine20.7★★
IEEE Access23.5★★
Advanced Materials Research10.5
IEEE Transactions on Industrial Electronics18.9★★
Springer Proceedings in Advanced Robotics10.6
Advances in Systems Analysis, Software Engineering, and High Performance Computing Book Series10.4
Synthesis Lectures on Advances in Automotive Technology10.8
AI13.6
Cybersecurity15
International Journal of E-Navigation and Maritime Economy1
Journal of Industrial Integration and Management17.8
Journal of Communications and Information Networks1
IET Cyber-Physical Systems: Theory and Applications12.5
International Journal of Intelligent Robotics and Applications11.7
Systems13
Global Journal of Flexible Systems Management15.9★★
Journal of Logical and Algebraic Methods in Programming11★★
Requirements Engineering12.7★★
SAE International Journal of Commercial Vehicles11
Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability10.8★★
Proceedings of the Institution of Mechanical Engineers Part I: Journal of Systems and Control Engineering11★★
IEEE Transactions on Automation Science and Engineering14.9★★
Mechatronics13★★
SN Applied Sciences11.8
Proceedings of the Institution of Mechanical Engineers, Part G: Journal of Aerospace Engineering10.9★★
Computers in Industry111.6★★
Electronics (Switzerland)12.6★★
International Journal of Robust and Nonlinear Control13.6★★