[{"type":"conference","alternative_title":["HSCC Proceedings"],"abstract":[{"lang":"eng","text":"Fault-localization is considered to be a very tedious and time-consuming activity in the design of complex Cyber-Physical Systems (CPS). This laborious task essentially requires expert knowledge of the system in order to discover the cause of the fault. In this context, we propose a new procedure that AIDS designers in debugging Simulink/Stateflow hybrid system models, guided by Signal Temporal Logic (STL) specifications. The proposed method relies on three main ingredients: (1) a monitoring and a trace diagnostics procedure that checks whether a tested behavior satisfies or violates an STL specification, localizes time segments and interfaces variables contributing to the property violations; (2) a slicing procedure that maps these observable behavior segments to the internal states and transitions of the Simulink model; and (3) a spectrum-based fault-localization method that combines the previous analysis from multiple tests to identify the internal states and/or transitions that are the most likely to explain the fault. We demonstrate the applicability of our approach on two Simulink models from the automotive and the avionics domain."}],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","_id":"183","title":"Localizing faults in simulink/stateflow models with STL","status":"public","oa_version":"None","scopus_import":"1","day":"11","article_processing_charge":"No","citation":{"short":"E. Bartocci, T. Ferrere, N. Manjunath, D. Nickovic, in:, Association for Computing Machinery, Inc, 2018, pp. 197–206.","mla":"Bartocci, Ezio, et al. Localizing Faults in Simulink/Stateflow Models with STL. Association for Computing Machinery, Inc, 2018, pp. 197–206, doi:10.1145/3178126.3178131.","chicago":"Bartocci, Ezio, Thomas Ferrere, Niveditha Manjunath, and Dejan Nickovic. “Localizing Faults in Simulink/Stateflow Models with STL,” 197–206. Association for Computing Machinery, Inc, 2018. https://doi.org/10.1145/3178126.3178131.","ama":"Bartocci E, Ferrere T, Manjunath N, Nickovic D. Localizing faults in simulink/stateflow models with STL. In: Association for Computing Machinery, Inc; 2018:197-206. doi:10.1145/3178126.3178131","ieee":"E. Bartocci, T. Ferrere, N. Manjunath, and D. Nickovic, “Localizing faults in simulink/stateflow models with STL,” presented at the HSCC: Hybrid Systems: Computation and Control, Porto, Portugal, 2018, pp. 197–206.","apa":"Bartocci, E., Ferrere, T., Manjunath, N., & Nickovic, D. (2018). Localizing faults in simulink/stateflow models with STL (pp. 197–206). Presented at the HSCC: Hybrid Systems: Computation and Control, Porto, Portugal: Association for Computing Machinery, Inc. https://doi.org/10.1145/3178126.3178131","ista":"Bartocci E, Ferrere T, Manjunath N, Nickovic D. 2018. Localizing faults in simulink/stateflow models with STL. HSCC: Hybrid Systems: Computation and Control, HSCC Proceedings, , 197–206."},"page":"197 - 206","date_published":"2018-04-11T00:00:00Z","publist_id":"7738","year":"2018","acknowledgement":"This work was partially supported by the Austrian Science Fund (FWF) under grants S11402-N23 and S11405-N23 (RiSE/SHiNE), the CPS/IoT project (HRSM), the EU ICT COST Action IC1402 on Run-time Verification beyond Monitoring (ARVI), the AMASS project (ECSEL 692474), and the ENABLE-S3 project (ECSEL 692455). The CPS/IoT project receives support from the Austrian government through the Federal Ministry of Science, Research and Economy (BMWFW) in the funding program Hochschulraum-Strukturmittel (HRSM) 2016. The ECSEL Joint Undertaking receives support from the European Union’s Horizon 2020 research and innovation programme and Austria, Denmark, Germany, Finland, Czech Republic, Italy, Spain, Portugal, Poland, Ireland, Belgium, France, Netherlands, United Kingdom, Slovakia, Norway.","publication_status":"published","department":[{"_id":"ToHe"}],"publisher":"Association for Computing Machinery, Inc","author":[{"last_name":"Bartocci","first_name":"Ezio","full_name":"Bartocci, Ezio"},{"id":"40960E6E-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-5199-3143","first_name":"Thomas","last_name":"Ferrere","full_name":"Ferrere, Thomas"},{"last_name":"Manjunath","first_name":"Niveditha","full_name":"Manjunath, Niveditha"},{"first_name":"Dejan","last_name":"Nickovic","full_name":"Nickovic, Dejan"}],"date_created":"2018-12-11T11:45:04Z","date_updated":"2023-09-13T08:48:46Z","month":"04","external_id":{"isi":["000474781600022"]},"isi":1,"quality_controlled":"1","project":[{"grant_number":"S 11407_N23","_id":"25832EC2-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","name":"Rigorous Systems Engineering"}],"conference":{"name":"HSCC: Hybrid Systems: Computation and Control","start_date":"2018-04-11","location":"Porto, Portugal","end_date":"2018-04-13"},"doi":"10.1145/3178126.3178131","language":[{"iso":"eng"}]},{"ec_funded":1,"related_material":{"record":[{"status":"public","relation":"dissertation_contains","id":"149"}]},"author":[{"full_name":"Alt, Johannes","first_name":"Johannes","last_name":"Alt","id":"36D3D8B6-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Erdös, László","last_name":"Erdös","first_name":"László","orcid":"0000-0001-5366-9603","id":"4DBD5372-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Krüger, Torben H","orcid":"0000-0002-4821-3297","id":"3020C786-F248-11E8-B48F-1D18A9856A87","last_name":"Krüger","first_name":"Torben H"}],"volume":28,"date_created":"2018-12-11T11:47:13Z","date_updated":"2023-09-13T08:47:52Z","year":"2018","publisher":"Institute of Mathematical Statistics","department":[{"_id":"LaEr"}],"publication_status":"published","month":"03","doi":"10.1214/17-AAP1302","language":[{"iso":"eng"}],"external_id":{"isi":["000431721800005"],"arxiv":["1612.07776 "]},"oa":1,"main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1612.07776 "}],"project":[{"grant_number":"338804","_id":"258DCDE6-B435-11E9-9278-68D0E5697425","call_identifier":"FP7","name":"Random matrices, universality and disordered quantum systems"}],"quality_controlled":"1","isi":1,"issue":"1","abstract":[{"lang":"eng","text":"We consider large random matrices X with centered, independent entries which have comparable but not necessarily identical variances. Girko's circular law asserts that the spectrum is supported in a disk and in case of identical variances, the limiting density is uniform. In this special case, the local circular law by Bourgade et. al. [11,12] shows that the empirical density converges even locally on scales slightly above the typical eigenvalue spacing. In the general case, the limiting density is typically inhomogeneous and it is obtained via solving a system of deterministic equations. Our main result is the local inhomogeneous circular law in the bulk spectrum on the optimal scale for a general variance profile of the entries of X. \r\n\r\n"}],"type":"journal_article","oa_version":"Preprint","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","_id":"566","intvolume":" 28","title":"Local inhomogeneous circular law","status":"public","article_processing_charge":"No","day":"03","scopus_import":"1","date_published":"2018-03-03T00:00:00Z","citation":{"chicago":"Alt, Johannes, László Erdös, and Torben H Krüger. “Local Inhomogeneous Circular Law.” Annals Applied Probability . Institute of Mathematical Statistics, 2018. https://doi.org/10.1214/17-AAP1302.","mla":"Alt, Johannes, et al. “Local Inhomogeneous Circular Law.” Annals Applied Probability , vol. 28, no. 1, Institute of Mathematical Statistics, 2018, pp. 148–203, doi:10.1214/17-AAP1302.","short":"J. Alt, L. Erdös, T.H. Krüger, Annals Applied Probability 28 (2018) 148–203.","ista":"Alt J, Erdös L, Krüger TH. 2018. Local inhomogeneous circular law. Annals Applied Probability . 28(1), 148–203.","ieee":"J. Alt, L. Erdös, and T. H. Krüger, “Local inhomogeneous circular law,” Annals Applied Probability , vol. 28, no. 1. Institute of Mathematical Statistics, pp. 148–203, 2018.","apa":"Alt, J., Erdös, L., & Krüger, T. H. (2018). Local inhomogeneous circular law. Annals Applied Probability . Institute of Mathematical Statistics. https://doi.org/10.1214/17-AAP1302","ama":"Alt J, Erdös L, Krüger TH. Local inhomogeneous circular law. Annals Applied Probability . 2018;28(1):148-203. doi:10.1214/17-AAP1302"},"publication":"Annals Applied Probability ","page":"148-203","article_type":"original"},{"oa_version":"Preprint","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","_id":"106","intvolume":" 40","title":"Long geodesics on convex surfaces","status":"public","issue":"3","abstract":[{"lang":"eng","text":"The goal of this article is to introduce the reader to the theory of intrinsic geometry of convex surfaces. We illustrate the power of the tools by proving a theorem on convex surfaces containing an arbitrarily long closed simple geodesic. Let us remind ourselves that a curve in a surface is called geodesic if every sufficiently short arc of the curve is length minimizing; if, in addition, it has no self-intersections, we call it simple geodesic. A tetrahedron with equal opposite edges is called isosceles. The axiomatic method of Alexandrov geometry allows us to work with the metrics of convex surfaces directly, without approximating it first by a smooth or polyhedral metric. Such approximations destroy the closed geodesics on the surface; therefore it is difficult (if at all possible) to apply approximations in the proof of our theorem. On the other hand, a proof in the smooth or polyhedral case usually admits a translation into Alexandrov’s language; such translation makes the result more general. In fact, our proof resembles a translation of the proof given by Protasov. Note that the main theorem implies in particular that a smooth convex surface does not have arbitrarily long simple closed geodesics. However we do not know a proof of this corollary that is essentially simpler than the one presented below."}],"type":"journal_article","date_published":"2018-09-01T00:00:00Z","citation":{"ieee":"A. Akopyan and A. Petrunin, “Long geodesics on convex surfaces,” Mathematical Intelligencer, vol. 40, no. 3. Springer, pp. 26–31, 2018.","apa":"Akopyan, A., & Petrunin, A. (2018). Long geodesics on convex surfaces. Mathematical Intelligencer. Springer. https://doi.org/10.1007/s00283-018-9795-5","ista":"Akopyan A, Petrunin A. 2018. Long geodesics on convex surfaces. Mathematical Intelligencer. 40(3), 26–31.","ama":"Akopyan A, Petrunin A. Long geodesics on convex surfaces. Mathematical Intelligencer. 2018;40(3):26-31. doi:10.1007/s00283-018-9795-5","chicago":"Akopyan, Arseniy, and Anton Petrunin. “Long Geodesics on Convex Surfaces.” Mathematical Intelligencer. Springer, 2018. https://doi.org/10.1007/s00283-018-9795-5.","short":"A. Akopyan, A. Petrunin, Mathematical Intelligencer 40 (2018) 26–31.","mla":"Akopyan, Arseniy, and Anton Petrunin. “Long Geodesics on Convex Surfaces.” Mathematical Intelligencer, vol. 40, no. 3, Springer, 2018, pp. 26–31, doi:10.1007/s00283-018-9795-5."},"publication":"Mathematical Intelligencer","page":"26 - 31","article_processing_charge":"No","day":"01","scopus_import":"1","author":[{"full_name":"Akopyan, Arseniy","id":"430D2C90-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-2548-617X","first_name":"Arseniy","last_name":"Akopyan"},{"full_name":"Petrunin, Anton","first_name":"Anton","last_name":"Petrunin"}],"volume":40,"date_updated":"2023-09-13T08:49:16Z","date_created":"2018-12-11T11:44:40Z","year":"2018","department":[{"_id":"HeEd"}],"publisher":"Springer","publication_status":"published","publist_id":"7948","doi":"10.1007/s00283-018-9795-5","language":[{"iso":"eng"}],"external_id":{"isi":["000444141200005"],"arxiv":["1702.05172"]},"oa":1,"main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1702.05172"}],"quality_controlled":"1","isi":1,"month":"09"},{"type":"research_data_reference","user_id":"6785fbc1-c503-11eb-8a32-93094b40e1cf","_id":"9810","year":"2018","department":[{"_id":"CaGu"}],"publisher":"Public Library of Science","title":"Numerical data used in figures","status":"public","related_material":{"record":[{"id":"82","status":"public","relation":"used_in_publication"}]},"author":[{"full_name":"Chaudhry, Waqas","last_name":"Chaudhry","first_name":"Waqas"},{"full_name":"Pleska, Maros","first_name":"Maros","last_name":"Pleska","id":"4569785E-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-7460-7479"},{"last_name":"Shah","first_name":"Nilang","full_name":"Shah, Nilang"},{"first_name":"Howard","last_name":"Weiss","full_name":"Weiss, Howard"},{"last_name":"Mccall","first_name":"Ingrid","full_name":"Mccall, Ingrid"},{"first_name":"Justin","last_name":"Meyer","full_name":"Meyer, Justin"},{"full_name":"Gupta, Animesh","first_name":"Animesh","last_name":"Gupta"},{"first_name":"Calin C","last_name":"Guet","id":"47F8433E-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-6220-2052","full_name":"Guet, Calin C"},{"last_name":"Levin","first_name":"Bruce","full_name":"Levin, Bruce"}],"oa_version":"Published Version","date_updated":"2023-09-13T08:45:41Z","date_created":"2021-08-06T12:43:44Z","article_processing_charge":"No","day":"16","month":"08","citation":{"ama":"Chaudhry W, Pleska M, Shah N, et al. Numerical data used in figures. 2018. doi:10.1371/journal.pbio.2005971.s008","ista":"Chaudhry W, Pleska M, Shah N, Weiss H, Mccall I, Meyer J, Gupta A, Guet CC, Levin B. 2018. Numerical data used in figures, Public Library of Science, 10.1371/journal.pbio.2005971.s008.","apa":"Chaudhry, W., Pleska, M., Shah, N., Weiss, H., Mccall, I., Meyer, J., … Levin, B. (2018). Numerical data used in figures. Public Library of Science. https://doi.org/10.1371/journal.pbio.2005971.s008","ieee":"W. Chaudhry et al., “Numerical data used in figures.” Public Library of Science, 2018.","mla":"Chaudhry, Waqas, et al. Numerical Data Used in Figures. Public Library of Science, 2018, doi:10.1371/journal.pbio.2005971.s008.","short":"W. Chaudhry, M. Pleska, N. Shah, H. Weiss, I. Mccall, J. Meyer, A. Gupta, C.C. Guet, B. Levin, (2018).","chicago":"Chaudhry, Waqas, Maros Pleska, Nilang Shah, Howard Weiss, Ingrid Mccall, Justin Meyer, Animesh Gupta, Calin C Guet, and Bruce Levin. “Numerical Data Used in Figures.” Public Library of Science, 2018. https://doi.org/10.1371/journal.pbio.2005971.s008."},"date_published":"2018-08-16T00:00:00Z","doi":"10.1371/journal.pbio.2005971.s008"},{"volume":217,"date_created":"2018-12-11T11:45:33Z","date_updated":"2023-09-13T08:51:29Z","author":[{"id":"3DAB9AFC-F248-11E8-B48F-1D18A9856A87","first_name":"Markus","last_name":"Brown","full_name":"Brown, Markus"},{"full_name":"Johnson, Louise","first_name":"Louise","last_name":"Johnson"},{"first_name":"Dario","last_name":"Leone","full_name":"Leone, Dario"},{"full_name":"Májek, Peter","last_name":"Májek","first_name":"Peter"},{"id":"368EE576-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-7829-3518","first_name":"Kari","last_name":"Vaahtomeri","full_name":"Vaahtomeri, Kari"},{"full_name":"Senfter, Daniel","last_name":"Senfter","first_name":"Daniel"},{"first_name":"Nora","last_name":"Bukosza","full_name":"Bukosza, Nora"},{"full_name":"Schachner, Helga","last_name":"Schachner","first_name":"Helga"},{"last_name":"Asfour","first_name":"Gabriele","full_name":"Asfour, Gabriele"},{"last_name":"Langer","first_name":"Brigitte","full_name":"Langer, Brigitte"},{"full_name":"Hauschild, Robert","last_name":"Hauschild","first_name":"Robert","orcid":"0000-0001-9843-3522","id":"4E01D6B4-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Parapatics","first_name":"Katja","full_name":"Parapatics, Katja"},{"first_name":"Young","last_name":"Hong","full_name":"Hong, Young"},{"first_name":"Keiryn","last_name":"Bennett","full_name":"Bennett, Keiryn"},{"full_name":"Kain, Renate","first_name":"Renate","last_name":"Kain"},{"full_name":"Detmar, Michael","first_name":"Michael","last_name":"Detmar"},{"full_name":"Sixt, Michael K","id":"41E9FBEA-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-6620-9179","first_name":"Michael K","last_name":"Sixt"},{"first_name":"David","last_name":"Jackson","full_name":"Jackson, David"},{"full_name":"Kerjaschki, Dontscho","first_name":"Dontscho","last_name":"Kerjaschki"}],"publisher":"Rockefeller University Press","department":[{"_id":"MiSi"},{"_id":"Bio"}],"publication_status":"published","pmid":1,"year":"2018","acknowledgement":"M. Brown was supported by the Cell Communication in Health and Disease Graduate Study Program of the Austrian Science Fund and Medizinische Universität Wien, M. Sixt by the European Research Council (ERC GA 281556) and an Austrian Science Fund START award, K.L. Bennett by the Austrian Academy of Sciences, D.G. Jackson and L.A. Johnson by Unit Funding (MC_UU_12010/2) and project grants from the Medical Research Council (G1100134 and MR/L008610/1), and M. Detmar by the Schweizerischer Nationalfonds zur Förderung der Wissenschaftlichen Forschung and Advanced European Research Council grant LYVICAM. K. Vaahtomeri was supported by an Academy of Finland postdoctoral research grant (287853). This project has received funding from the European Union’s Horizon 2020 research and innovation program under grant agreement No. 668036 (RELENT).","license":"https://creativecommons.org/licenses/by/4.0/","ec_funded":1,"publist_id":"7627","file_date_updated":"2020-07-14T12:45:45Z","language":[{"iso":"eng"}],"doi":"10.1083/jcb.201612051","project":[{"call_identifier":"FWF","name":"Cytoskeletal force generation and transduction of leukocytes (FWF)","grant_number":"Y 564-B12","_id":"25A8E5EA-B435-11E9-9278-68D0E5697425"},{"name":"Cytoskeletal force generation and force transduction of migrating leukocytes (EU)","call_identifier":"FP7","grant_number":"281556","_id":"25A603A2-B435-11E9-9278-68D0E5697425"}],"quality_controlled":"1","isi":1,"oa":1,"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"external_id":{"isi":["000438077800026"],"pmid":["29650776"]},"month":"04","file":[{"checksum":"9c7eba51a35c62da8c13f98120b64df4","date_created":"2018-12-17T12:50:07Z","date_updated":"2020-07-14T12:45:45Z","file_id":"5704","relation":"main_file","creator":"dernst","content_type":"application/pdf","file_size":2252043,"access_level":"open_access","file_name":"2018_JournalCellBiology_Brown.pdf"}],"oa_version":"Published Version","intvolume":" 217","status":"public","ddc":["570"],"title":"Lymphatic exosomes promote dendritic cell migration along guidance cues","_id":"275","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","issue":"6","abstract":[{"text":"Lymphatic endothelial cells (LECs) release extracellular chemokines to guide the migration of dendritic cells. In this study, we report that LECs also release basolateral exosome-rich endothelial vesicles (EEVs) that are secreted in greater numbers in the presence of inflammatory cytokines and accumulate in the perivascular stroma of small lymphatic vessels in human chronic inflammatory diseases. Proteomic analyses of EEV fractions identified > 1,700 cargo proteins and revealed a dominant motility-promoting protein signature. In vitro and ex vivo EEV fractions augmented cellular protrusion formation in a CX3CL1/fractalkine-dependent fashion and enhanced the directional migratory response of human dendritic cells along guidance cues. We conclude that perilymphatic LEC exosomes enhance exploratory behavior and thus promote directional migration of CX3CR1-expressing cells in complex tissue environments.","lang":"eng"}],"type":"journal_article","date_published":"2018-04-12T00:00:00Z","page":"2205 - 2221","citation":{"chicago":"Brown, Markus, Louise Johnson, Dario Leone, Peter Májek, Kari Vaahtomeri, Daniel Senfter, Nora Bukosza, et al. “Lymphatic Exosomes Promote Dendritic Cell Migration along Guidance Cues.” Journal of Cell Biology. Rockefeller University Press, 2018. https://doi.org/10.1083/jcb.201612051.","short":"M. Brown, L. Johnson, D. Leone, P. Májek, K. Vaahtomeri, D. Senfter, N. Bukosza, H. Schachner, G. Asfour, B. Langer, R. Hauschild, K. Parapatics, Y. Hong, K. Bennett, R. Kain, M. Detmar, M.K. Sixt, D. Jackson, D. Kerjaschki, Journal of Cell Biology 217 (2018) 2205–2221.","mla":"Brown, Markus, et al. “Lymphatic Exosomes Promote Dendritic Cell Migration along Guidance Cues.” Journal of Cell Biology, vol. 217, no. 6, Rockefeller University Press, 2018, pp. 2205–21, doi:10.1083/jcb.201612051.","apa":"Brown, M., Johnson, L., Leone, D., Májek, P., Vaahtomeri, K., Senfter, D., … Kerjaschki, D. (2018). Lymphatic exosomes promote dendritic cell migration along guidance cues. Journal of Cell Biology. Rockefeller University Press. https://doi.org/10.1083/jcb.201612051","ieee":"M. Brown et al., “Lymphatic exosomes promote dendritic cell migration along guidance cues,” Journal of Cell Biology, vol. 217, no. 6. Rockefeller University Press, pp. 2205–2221, 2018.","ista":"Brown M, Johnson L, Leone D, Májek P, Vaahtomeri K, Senfter D, Bukosza N, Schachner H, Asfour G, Langer B, Hauschild R, Parapatics K, Hong Y, Bennett K, Kain R, Detmar M, Sixt MK, Jackson D, Kerjaschki D. 2018. Lymphatic exosomes promote dendritic cell migration along guidance cues. Journal of Cell Biology. 217(6), 2205–2221.","ama":"Brown M, Johnson L, Leone D, et al. Lymphatic exosomes promote dendritic cell migration along guidance cues. Journal of Cell Biology. 2018;217(6):2205-2221. doi:10.1083/jcb.201612051"},"publication":"Journal of Cell Biology","has_accepted_license":"1","article_processing_charge":"No","day":"12","scopus_import":"1"}]