[{"date_published":"2018-05-28T00:00:00Z","page":"365 - 375","publication":"Nature Plants","citation":{"mla":"Gao, Zhen, et al. “KIRA1 and ORESARA1 Terminate Flower Receptivity by Promoting Cell Death in the Stigma of Arabidopsis.” Nature Plants, vol. 4, no. 6, Nature Publishing Group, 2018, pp. 365–75, doi:10.1038/s41477-018-0160-7.","short":"Z. Gao, A. Daneva, Y. Salanenka, M. Van Durme, M. Huysmans, Z. Lin, F. De Winter, S. Vanneste, M. Karimi, J. Van De Velde, K. Vandepoele, D. Van De Walle, K. Dewettinck, B. Lambrecht, M. Nowack, Nature Plants 4 (2018) 365–375.","chicago":"Gao, Zhen, Anna Daneva, Yuliya Salanenka, Matthias Van Durme, Marlies Huysmans, Zongcheng Lin, Freya De Winter, et al. “KIRA1 and ORESARA1 Terminate Flower Receptivity by Promoting Cell Death in the Stigma of Arabidopsis.” Nature Plants. Nature Publishing Group, 2018. https://doi.org/10.1038/s41477-018-0160-7.","ama":"Gao Z, Daneva A, Salanenka Y, et al. KIRA1 and ORESARA1 terminate flower receptivity by promoting cell death in the stigma of Arabidopsis. Nature Plants. 2018;4(6):365-375. doi:10.1038/s41477-018-0160-7","ista":"Gao Z, Daneva A, Salanenka Y, Van Durme M, Huysmans M, Lin Z, De Winter F, Vanneste S, Karimi M, Van De Velde J, Vandepoele K, Van De Walle D, Dewettinck K, Lambrecht B, Nowack M. 2018. KIRA1 and ORESARA1 terminate flower receptivity by promoting cell death in the stigma of Arabidopsis. Nature Plants. 4(6), 365–375.","apa":"Gao, Z., Daneva, A., Salanenka, Y., Van Durme, M., Huysmans, M., Lin, Z., … Nowack, M. (2018). KIRA1 and ORESARA1 terminate flower receptivity by promoting cell death in the stigma of Arabidopsis. Nature Plants. Nature Publishing Group. https://doi.org/10.1038/s41477-018-0160-7","ieee":"Z. Gao et al., “KIRA1 and ORESARA1 terminate flower receptivity by promoting cell death in the stigma of Arabidopsis,” Nature Plants, vol. 4, no. 6. Nature Publishing Group, pp. 365–375, 2018."},"day":"28","article_processing_charge":"No","scopus_import":"1","oa_version":"None","status":"public","title":"KIRA1 and ORESARA1 terminate flower receptivity by promoting cell death in the stigma of Arabidopsis","intvolume":" 4","_id":"280","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","abstract":[{"lang":"eng","text":"Flowers have a species-specific functional life span that determines the time window in which pollination, fertilization and seed set can occur. The stigma tissue plays a key role in flower receptivity by intercepting pollen and initiating pollen tube growth toward the ovary. In this article, we show that a developmentally controlled cell death programme terminates the functional life span of stigma cells in Arabidopsis. We identified the leaf senescence regulator ORESARA1 (also known as ANAC092) and the previously uncharacterized KIRA1 (also known as ANAC074) as partially redundant transcription factors that modulate stigma longevity by controlling the expression of programmed cell death-associated genes. KIRA1 expression is sufficient to induce cell death and terminate floral receptivity, whereas lack of both KIRA1 and ORESARA1 substantially increases stigma life span. Surprisingly, the extension of stigma longevity is accompanied by only a moderate extension of flower receptivity, suggesting that additional processes participate in the control of the flower's receptive life span."}],"issue":"6","type":"journal_article","language":[{"iso":"eng"}],"doi":"10.1038/s41477-018-0160-7","isi":1,"quality_controlled":"1","external_id":{"isi":["000435571000017"]},"month":"05","date_created":"2018-12-11T11:45:35Z","date_updated":"2023-09-13T08:24:17Z","volume":4,"author":[{"full_name":"Gao, Zhen","first_name":"Zhen","last_name":"Gao"},{"full_name":"Daneva, Anna","last_name":"Daneva","first_name":"Anna"},{"full_name":"Salanenka, Yuliya","first_name":"Yuliya","last_name":"Salanenka","id":"46DAAE7E-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Van Durme","first_name":"Matthias","full_name":"Van Durme, Matthias"},{"last_name":"Huysmans","first_name":"Marlies","full_name":"Huysmans, Marlies"},{"last_name":"Lin","first_name":"Zongcheng","full_name":"Lin, Zongcheng"},{"last_name":"De Winter","first_name":"Freya","full_name":"De Winter, Freya"},{"full_name":"Vanneste, Steffen","first_name":"Steffen","last_name":"Vanneste"},{"first_name":"Mansour","last_name":"Karimi","full_name":"Karimi, Mansour"},{"full_name":"Van De Velde, Jan","first_name":"Jan","last_name":"Van De Velde"},{"first_name":"Klaas","last_name":"Vandepoele","full_name":"Vandepoele, Klaas"},{"last_name":"Van De Walle","first_name":"Davy","full_name":"Van De Walle, Davy"},{"full_name":"Dewettinck, Koen","last_name":"Dewettinck","first_name":"Koen"},{"last_name":"Lambrecht","first_name":"Bart","full_name":"Lambrecht, Bart"},{"full_name":"Nowack, Moritz","last_name":"Nowack","first_name":"Moritz"}],"publication_status":"published","department":[{"_id":"JiFr"}],"publisher":"Nature Publishing Group","acknowledgement":"We gratefully acknowledge funding from the Chinese Scholarship Council (CSC; project number 201206910025 to Z.G.), the Fonds Wetenschappelijk Onderzoek (FWO; project number G005112N to A.D.; fellowship number 12I7417N to Z.L.), the Belgian Federal Science Policy Office (BELSPO; to Y.S.), the Agency for Innovation by Science and Technology of Belgium (IWT; fellowship number 121110 to M.V.D.), the Hercules foundation (grant AUGE-09-029 to K.D.), and the ERC StG PROCELLDEATH (project number 639234 to M.K.N.).","year":"2018","publist_id":"7619"},{"month":"02","acknowledged_ssus":[{"_id":"Bio"}],"language":[{"iso":"eng"}],"doi":"10.1016/j.jbiotec.2018.01.008","isi":1,"quality_controlled":"1","external_id":{"isi":["000425715100006"]},"publist_id":"7317","date_updated":"2023-09-13T08:24:51Z","date_created":"2018-12-11T11:46:50Z","volume":268,"author":[{"last_name":"Tomasek","first_name":"Kathrin","orcid":"0000-0003-3768-877X","id":"3AEC8556-F248-11E8-B48F-1D18A9856A87","full_name":"Tomasek, Kathrin"},{"full_name":"Bergmiller, Tobias","first_name":"Tobias","last_name":"Bergmiller","id":"2C471CFA-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-5396-4346"},{"orcid":"0000-0001-6220-2052","id":"47F8433E-F248-11E8-B48F-1D18A9856A87","last_name":"Guet","first_name":"Calin C","full_name":"Guet, Calin C"}],"publication_status":"published","department":[{"_id":"CaGu"}],"publisher":"Elsevier","year":"2018","acknowledgement":"We thank R Chait and M Lagator for sharing Bacillus subtilis CR_Y1 and pZS*_2R-cIPtet-Venus-Prm, respectively. We are grateful to T Pilizota and all members of the Guet lab for critically reading the manuscript. We also thank the Bioimaging facility at IST Austria for assistance using the FACSAria III system.\r\n\r\n","day":"20","article_processing_charge":"No","scopus_import":"1","date_published":"2018-02-20T00:00:00Z","page":"40 - 52","publication":"Journal of Biotechnology","citation":{"ama":"Tomasek K, Bergmiller T, Guet CC. Lack of cations in flow cytometry buffers affect fluorescence signals by reducing membrane stability and viability of Escherichia coli strains. Journal of Biotechnology. 2018;268:40-52. doi:10.1016/j.jbiotec.2018.01.008","apa":"Tomasek, K., Bergmiller, T., & Guet, C. C. (2018). Lack of cations in flow cytometry buffers affect fluorescence signals by reducing membrane stability and viability of Escherichia coli strains. Journal of Biotechnology. Elsevier. https://doi.org/10.1016/j.jbiotec.2018.01.008","ieee":"K. Tomasek, T. Bergmiller, and C. C. Guet, “Lack of cations in flow cytometry buffers affect fluorescence signals by reducing membrane stability and viability of Escherichia coli strains,” Journal of Biotechnology, vol. 268. Elsevier, pp. 40–52, 2018.","ista":"Tomasek K, Bergmiller T, Guet CC. 2018. Lack of cations in flow cytometry buffers affect fluorescence signals by reducing membrane stability and viability of Escherichia coli strains. Journal of Biotechnology. 268, 40–52.","short":"K. Tomasek, T. Bergmiller, C.C. Guet, Journal of Biotechnology 268 (2018) 40–52.","mla":"Tomasek, Kathrin, et al. “Lack of Cations in Flow Cytometry Buffers Affect Fluorescence Signals by Reducing Membrane Stability and Viability of Escherichia Coli Strains.” Journal of Biotechnology, vol. 268, Elsevier, 2018, pp. 40–52, doi:10.1016/j.jbiotec.2018.01.008.","chicago":"Tomasek, Kathrin, Tobias Bergmiller, and Calin C Guet. “Lack of Cations in Flow Cytometry Buffers Affect Fluorescence Signals by Reducing Membrane Stability and Viability of Escherichia Coli Strains.” Journal of Biotechnology. Elsevier, 2018. https://doi.org/10.1016/j.jbiotec.2018.01.008."},"abstract":[{"lang":"eng","text":"Buffers are essential for diluting bacterial cultures for flow cytometry analysis in order to study bacterial physiology and gene expression parameters based on fluorescence signals. Using a variety of constitutively expressed fluorescent proteins in Escherichia coli K-12 strain MG1655, we found strong artifactual changes in fluorescence levels after dilution into the commonly used flow cytometry buffer phosphate-buffered saline (PBS) and two other buffer solutions, Tris-HCl and M9 salts. These changes appeared very rapidly after dilution, and were linked to increased membrane permeability and loss in cell viability. We observed buffer-related effects in several different E. coli strains, K-12, C and W, but not E. coli B, which can be partially explained by differences in lipopolysaccharide (LPS) and outer membrane composition. Supplementing the buffers with divalent cations responsible for outer membrane stability, Mg2+ and Ca2+, preserved fluorescence signals, membrane integrity and viability of E. coli. Thus, stabilizing the bacterial outer membrane is essential for precise and unbiased measurements of fluorescence parameters using flow cytometry."}],"type":"journal_article","oa_version":"None","status":"public","title":"Lack of cations in flow cytometry buffers affect fluorescence signals by reducing membrane stability and viability of Escherichia coli strains","intvolume":" 268","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","_id":"503"},{"type":"journal_article","issue":"8","abstract":[{"text":"In experimental cultures, when bacteria are mixed with lytic (virulent) bacteriophage, bacterial cells resistant to the phage commonly emerge and become the dominant population of bacteria. Following the ascent of resistant mutants, the densities of bacteria in these simple communities become limited by resources rather than the phage. Despite the evolution of resistant hosts, upon which the phage cannot replicate, the lytic phage population is most commonly maintained in an apparently stable state with the resistant bacteria. Several mechanisms have been put forward to account for this result. Here we report the results of population dynamic/evolution experiments with a virulent mutant of phage Lambda, λVIR, and Escherichia coli in serial transfer cultures. We show that, following the ascent of λVIR-resistant bacteria, λVIRis maintained in the majority of cases in maltose-limited minimal media and in all cases in nutrient-rich broth. Using mathematical models and experiments, we show that the dominant mechanism responsible for maintenance of λVIRin these resource-limited populations dominated by resistant E. coli is a high rate of either phenotypic or genetic transition from resistance to susceptibility—a hitherto undemonstrated mechanism we term "leaky resistance." We discuss the implications of leaky resistance to our understanding of the conditions for the maintenance of phage in populations of bacteria—their “existence conditions.”.","lang":"eng"}],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","_id":"82","intvolume":" 16","status":"public","title":"Leaky resistance and the conditions for the existence of lytic bacteriophage","ddc":["570"],"file":[{"creator":"dernst","content_type":"application/pdf","file_size":4007095,"file_name":"2018_Plos_Chaudhry.pdf","access_level":"open_access","date_created":"2018-12-17T12:55:31Z","date_updated":"2020-07-14T12:48:10Z","checksum":"527076f78265cd4ea192cd1569851587","file_id":"5706","relation":"main_file"}],"oa_version":"Published Version","scopus_import":"1","article_processing_charge":"Yes","has_accepted_license":"1","day":"16","citation":{"chicago":"Chaudhry, Waqas, Maros Pleska, Nilang Shah, Howard Weiss, Ingrid Mccall, Justin Meyer, Animesh Gupta, Calin C Guet, and Bruce Levin. “Leaky Resistance and the Conditions for the Existence of Lytic Bacteriophage.” PLoS Biology. Public Library of Science, 2018. https://doi.org/10.1371/journal.pbio.2005971.","short":"W. Chaudhry, M. Pleska, N. Shah, H. Weiss, I. Mccall, J. Meyer, A. Gupta, C.C. Guet, B. Levin, PLoS Biology 16 (2018).","mla":"Chaudhry, Waqas, et al. “Leaky Resistance and the Conditions for the Existence of Lytic Bacteriophage.” PLoS Biology, vol. 16, no. 8, 2005971, Public Library of Science, 2018, doi:10.1371/journal.pbio.2005971.","ieee":"W. Chaudhry et al., “Leaky resistance and the conditions for the existence of lytic bacteriophage,” PLoS Biology, vol. 16, no. 8. Public Library of Science, 2018.","apa":"Chaudhry, W., Pleska, M., Shah, N., Weiss, H., Mccall, I., Meyer, J., … Levin, B. (2018). Leaky resistance and the conditions for the existence of lytic bacteriophage. PLoS Biology. Public Library of Science. https://doi.org/10.1371/journal.pbio.2005971","ista":"Chaudhry W, Pleska M, Shah N, Weiss H, Mccall I, Meyer J, Gupta A, Guet CC, Levin B. 2018. Leaky resistance and the conditions for the existence of lytic bacteriophage. PLoS Biology. 16(8), 2005971.","ama":"Chaudhry W, Pleska M, Shah N, et al. Leaky resistance and the conditions for the existence of lytic bacteriophage. PLoS Biology. 2018;16(8). doi:10.1371/journal.pbio.2005971"},"publication":"PLoS Biology","date_published":"2018-08-16T00:00:00Z","article_number":"2005971","publist_id":"7972","file_date_updated":"2020-07-14T12:48:10Z","year":"2018","department":[{"_id":"CaGu"}],"publisher":"Public Library of Science","publication_status":"published","related_material":{"record":[{"id":"9810","status":"public","relation":"research_data"}]},"author":[{"first_name":"Waqas","last_name":"Chaudhry","full_name":"Chaudhry, Waqas"},{"full_name":"Pleska, Maros","id":"4569785E-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-7460-7479","first_name":"Maros","last_name":"Pleska"},{"first_name":"Nilang","last_name":"Shah","full_name":"Shah, Nilang"},{"full_name":"Weiss, Howard","first_name":"Howard","last_name":"Weiss"},{"full_name":"Mccall, Ingrid","first_name":"Ingrid","last_name":"Mccall"},{"last_name":"Meyer","first_name":"Justin","full_name":"Meyer, Justin"},{"last_name":"Gupta","first_name":"Animesh","full_name":"Gupta, Animesh"},{"first_name":"Calin C","last_name":"Guet","id":"47F8433E-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-6220-2052","full_name":"Guet, Calin C"},{"full_name":"Levin, Bruce","last_name":"Levin","first_name":"Bruce"}],"volume":16,"date_created":"2018-12-11T11:44:32Z","date_updated":"2023-09-13T08:45:41Z","month":"08","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":["000443383300024"]},"oa":1,"isi":1,"quality_controlled":"1","doi":"10.1371/journal.pbio.2005971","language":[{"iso":"eng"}]},{"author":[{"last_name":"Umetani","first_name":"Nobuyuki","full_name":"Umetani, Nobuyuki"},{"orcid":"0000-0001-6511-9385","id":"49876194-F248-11E8-B48F-1D18A9856A87","last_name":"Bickel","first_name":"Bernd","full_name":"Bickel, Bernd"}],"related_material":{"link":[{"description":"News on IST Homepage","relation":"press_release","url":"https://ist.ac.at/en/news/new-interactive-machine-learning-tool-makes-car-designs-more-aerodynamic/"}]},"date_created":"2018-12-11T11:44:06Z","date_updated":"2023-09-13T08:46:15Z","volume":37,"year":"2018","publication_status":"published","publisher":"ACM","department":[{"_id":"BeBi"}],"file_date_updated":"2020-07-14T12:46:22Z","publist_id":"8053","ec_funded":1,"article_number":"89","doi":"10.1145/3197517.3201325","language":[{"iso":"eng"}],"external_id":{"isi":["000448185000050"]},"oa":1,"quality_controlled":"1","isi":1,"project":[{"name":"MATERIALIZABLE: Intelligent fabrication-oriented Computational Design and Modeling","call_identifier":"H2020","grant_number":"715767","_id":"24F9549A-B435-11E9-9278-68D0E5697425"}],"month":"08","pubrep_id":"1049","file":[{"relation":"main_file","file_id":"5216","checksum":"7a2243668f215821bc6aecad0320079a","date_updated":"2020-07-14T12:46:22Z","date_created":"2018-12-12T10:16:28Z","access_level":"open_access","file_name":"IST-2018-1049-v1+1_2018_sigg_Learning3DAerodynamics.pdf","content_type":"application/pdf","file_size":22803163,"creator":"system"}],"oa_version":"Submitted Version","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","_id":"4","title":"Learning three-dimensional flow for interactive aerodynamic design","status":"public","ddc":["003","004"],"intvolume":" 37","abstract":[{"text":"We present a data-driven technique to instantly predict how fluid flows around various three-dimensional objects. Such simulation is useful for computational fabrication and engineering, but is usually computationally expensive since it requires solving the Navier-Stokes equation for many time steps. To accelerate the process, we propose a machine learning framework which predicts aerodynamic forces and velocity and pressure fields given a threedimensional shape input. Handling detailed free-form three-dimensional shapes in a data-driven framework is challenging because machine learning approaches usually require a consistent parametrization of input and output. We present a novel PolyCube maps-based parametrization that can be computed for three-dimensional shapes at interactive rates. This allows us to efficiently learn the nonlinear response of the flow using a Gaussian process regression. We demonstrate the effectiveness of our approach for the interactive design and optimization of a car body.","lang":"eng"}],"issue":"4","type":"journal_article","date_published":"2018-08-04T00:00:00Z","publication":"ACM Trans. Graph.","citation":{"short":"N. Umetani, B. Bickel, ACM Trans. Graph. 37 (2018).","mla":"Umetani, Nobuyuki, and Bernd Bickel. “Learning Three-Dimensional Flow for Interactive Aerodynamic Design.” ACM Trans. Graph., vol. 37, no. 4, 89, ACM, 2018, doi:10.1145/3197517.3201325.","chicago":"Umetani, Nobuyuki, and Bernd Bickel. “Learning Three-Dimensional Flow for Interactive Aerodynamic Design.” ACM Trans. Graph. ACM, 2018. https://doi.org/10.1145/3197517.3201325.","ama":"Umetani N, Bickel B. Learning three-dimensional flow for interactive aerodynamic design. ACM Trans Graph. 2018;37(4). doi:10.1145/3197517.3201325","apa":"Umetani, N., & Bickel, B. (2018). Learning three-dimensional flow for interactive aerodynamic design. ACM Trans. Graph. ACM. https://doi.org/10.1145/3197517.3201325","ieee":"N. Umetani and B. Bickel, “Learning three-dimensional flow for interactive aerodynamic design,” ACM Trans. Graph., vol. 37, no. 4. ACM, 2018.","ista":"Umetani N, Bickel B. 2018. Learning three-dimensional flow for interactive aerodynamic design. ACM Trans. Graph. 37(4), 89."},"day":"04","article_processing_charge":"No","has_accepted_license":"1","scopus_import":"1"},{"alternative_title":["HSCC Proceedings"],"type":"conference","abstract":[{"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.","lang":"eng"}],"title":"Localizing faults in simulink/stateflow models with STL","status":"public","_id":"183","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","oa_version":"None","scopus_import":"1","day":"11","article_processing_charge":"No","page":"197 - 206","citation":{"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.","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."},"date_published":"2018-04-11T00:00:00Z","publist_id":"7738","publication_status":"published","department":[{"_id":"ToHe"}],"publisher":"Association for Computing Machinery, Inc","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.","date_created":"2018-12-11T11:45:04Z","date_updated":"2023-09-13T08:48:46Z","author":[{"full_name":"Bartocci, Ezio","last_name":"Bartocci","first_name":"Ezio"},{"id":"40960E6E-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-5199-3143","first_name":"Thomas","last_name":"Ferrere","full_name":"Ferrere, Thomas"},{"first_name":"Niveditha","last_name":"Manjunath","full_name":"Manjunath, Niveditha"},{"full_name":"Nickovic, Dejan","first_name":"Dejan","last_name":"Nickovic"}],"month":"04","quality_controlled":"1","isi":1,"project":[{"call_identifier":"FWF","name":"Rigorous Systems Engineering","_id":"25832EC2-B435-11E9-9278-68D0E5697425","grant_number":"S 11407_N23"}],"external_id":{"isi":["000474781600022"]},"language":[{"iso":"eng"}],"conference":{"name":"HSCC: Hybrid Systems: Computation and Control","end_date":"2018-04-13","location":"Porto, Portugal","start_date":"2018-04-11"},"doi":"10.1145/3178126.3178131"}]