Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Model Checking An Entire Linux Distribution for Security Violations.

B. Schwarz, H. Chen, D. Wagner, J. Lin, W. Tu, G. Morrison, and J. West. ACSAC, page 13-22. IEEE Computer Society, (2005)

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.

Jeremy Nuzzo University of Stuttgart

Yayi Lin University of Stuttgart

Estefania Linuesa Torrijos University of Stuttgart

Robert Lindemann University of Stuttgart

Hendrik Linder University of Stuttgart

Other publications of authors with the same name

Potential Impact of Solar Energy Penetration on PJM Electricity Market.J. Lin. IEEE Systems Journal, 6 (2): 205-212 (2012)Class Firewall, Test Order, and Regression Testing of Object-Oriented Programs.D. Kung, J. Gao, P. Hsia, J. Lin, and Y. Toyoshima. JOOP, 8 (2): 51-65 (1995)Model Checking An Entire Linux Distribution for Security Violations.B. Schwarz, H. Chen, D. Wagner, J. Lin, W. Tu, G. Morrison, and J. West. ACSAC, page 13-22. IEEE Computer Society, (2005)Integrating the first HVDC-based offshore wind power into PJM system - A real project case study.J. Lin. IAS, page 1-8. IEEE, (2015)Event-driven Security-Constrained Unit Commitment.R. Eskandarpour, A. Khodaei, and J. Lin. ISGT, page 1-5. IEEE, (2016)A Framework for Expansion Planning of Data Centers in Electricity and Data Networks Under Uncertainty.A. Vafamehr, M. Khodayar, S. Manshadi, I. Ahmad, and J. Lin. IEEE Trans. Smart Grid, 10 (1): 305-316 (2019)Pediatric rehabilitation with the reachMAN's modular handle.T. Zhu, H. Ong, J. Tan, J. Lin, E. Burdet, S. Ge, and C. Teo. EMBC, page 3933-3936. IEEE, (2015)A Novel Motion Detection Method Using 3D Discrete Wavelet Transform.S. Yousefi, M. Manzuri-Shalmani, J. Lin, and M. Staring. IEEE Trans. Circuits Syst. Video Techn., 29 (12): 3487-3500 (2019)Simplifying the development of network management systems in a distributed environment.R. Fulton, V. Ditya, A. Jain, J. Lin, M. Azuma, and M. Ejiri. NOMS, page 549-558. IEEE, (1998)Design Recovery for Software Testing of Object-Oriented Programs.D. Kung, J. Gao, P. Hsia, J. Lin, and Y. Toyoshima. WCRE, page 202-211. IEEE Computer Society, (1993)

PUMA

Disambiguation of "Lin, Jeremy"

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Model Checking An Entire Linux Distribution for Security Violations.

Please choose a person to relate this publication to

Jeremy Nuzzo University of Stuttgart

Yayi Lin University of Stuttgart

Estefania Linuesa Torrijos University of Stuttgart

Robert Lindemann University of Stuttgart

Hendrik Linder University of Stuttgart

Other publications of authors with the same name

Disambiguation

PUMA

Disambiguation of "Lin, Jeremy"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML Model Checking An Entire Linux Distribution for Security Violations.

Please choose a person to relate this publication to

Jeremy Nuzzo University of Stuttgart

Yayi Lin University of Stuttgart

Estefania Linuesa Torrijos University of Stuttgart

Robert Lindemann University of Stuttgart

Hendrik Linder University of Stuttgart

Other publications of authors with the same name

Disambiguation

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Model Checking An Entire Linux Distribution for Security Violations.