[{"quality_controlled":"1","page":"4093-4127","publisher":"Institute of Electrical and Electronics Engineers","article_type":"original","scopus_import":"1","_id":"14751","issue":"7","author":[{"id":"2ce5da42-b2ea-11eb-bba5-9f264e9d002c","full_name":"Zhang, Yihan","orcid":"0000-0002-6465-6258","last_name":"Zhang","first_name":"Yihan"}],"department":[{"_id":"MaMo"}],"article_processing_charge":"No","date_created":"2024-01-08T13:04:54Z","publication_status":"published","intvolume":"        69","title":"Zero-error communication over adversarial MACs","acknowledgement":"The author would like to thank Amitalok J. Budkuley and Sidharth Jaggi for many helpful discussions at the early stage of this work. He would also like to thank Nir Ailon, Qi Cao, and Chandra Nair for discussions on a related problem regarding zero-error binary adder MACs.\r\nThe work of Yihan Zhang was supported by the European Union’s Horizon 2020 Research and Innovation Programme under Grant 682203-ERC-[Inf-Speed-Tradeoff]","volume":69,"citation":{"ama":"Zhang Y. Zero-error communication over adversarial MACs. <i>IEEE Transactions on Information Theory</i>. 2023;69(7):4093-4127. doi:<a href=\"https://doi.org/10.1109/tit.2023.3257239\">10.1109/tit.2023.3257239</a>","apa":"Zhang, Y. (2023). Zero-error communication over adversarial MACs. <i>IEEE Transactions on Information Theory</i>. Institute of Electrical and Electronics Engineers. <a href=\"https://doi.org/10.1109/tit.2023.3257239\">https://doi.org/10.1109/tit.2023.3257239</a>","chicago":"Zhang, Yihan. “Zero-Error Communication over Adversarial MACs.” <i>IEEE Transactions on Information Theory</i>. Institute of Electrical and Electronics Engineers, 2023. <a href=\"https://doi.org/10.1109/tit.2023.3257239\">https://doi.org/10.1109/tit.2023.3257239</a>.","ieee":"Y. Zhang, “Zero-error communication over adversarial MACs,” <i>IEEE Transactions on Information Theory</i>, vol. 69, no. 7. Institute of Electrical and Electronics Engineers, pp. 4093–4127, 2023.","short":"Y. Zhang, IEEE Transactions on Information Theory 69 (2023) 4093–4127.","mla":"Zhang, Yihan. “Zero-Error Communication over Adversarial MACs.” <i>IEEE Transactions on Information Theory</i>, vol. 69, no. 7, Institute of Electrical and Electronics Engineers, 2023, pp. 4093–127, doi:<a href=\"https://doi.org/10.1109/tit.2023.3257239\">10.1109/tit.2023.3257239</a>.","ista":"Zhang Y. 2023. Zero-error communication over adversarial MACs. IEEE Transactions on Information Theory. 69(7), 4093–4127."},"year":"2023","date_updated":"2024-01-09T08:45:24Z","external_id":{"arxiv":["2101.12426"]},"day":"01","doi":"10.1109/tit.2023.3257239","arxiv":1,"abstract":[{"lang":"eng","text":"We consider zero-error communication over a two-transmitter deterministic adversarial multiple access channel (MAC) governed by an adversary who has access to the transmissions of both senders (hence called omniscient ) and aims to maliciously corrupt the communication. None of the encoders, jammer and decoder is allowed to randomize using private or public randomness. This enforces a combinatorial nature of the problem. Our model covers a large family of channels studied in the literature, including all deterministic discrete memoryless noisy or noiseless MACs. In this work, given an arbitrary two-transmitter deterministic omniscient adversarial MAC, we characterize when the capacity region: 1) has nonempty interior (in particular, is two-dimensional); 2) consists of two line segments (in particular, has empty interior); 3) consists of one line segment (in particular, is one-dimensional); 4) or only contains (0,0) (in particular, is zero-dimensional). This extends a recent result by Wang et al. (201 9) from the point-to-point setting to the multiple access setting. Indeed, our converse arguments build upon their generalized Plotkin bound and involve delicate case analysis. One of the technical challenges is to take care of both “joint confusability” and “marginal confusability”. In particular, the treatment of marginal confusability does not follow from the point-to-point results by Wang et al. Our achievability results follow from random coding with expurgation."}],"keyword":["Computer Science Applications","Information Systems"],"language":[{"iso":"eng"}],"publication":"IEEE Transactions on Information Theory","oa_version":"Preprint","month":"07","main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.2101.12426"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","status":"public","type":"journal_article","date_published":"2023-07-01T00:00:00Z","publication_identifier":{"issn":["0018-9448"],"eissn":["1557-9654"]},"oa":1},{"oa":1,"publication_identifier":{"issn":["0001-5903"],"eissn":["1432-0525"]},"type":"journal_article","date_published":"2022-10-01T00:00:00Z","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"status":"public","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","file":[{"creator":"cchlebak","file_id":"10603","relation":"main_file","success":1,"access_level":"open_access","file_name":"2021_ActaInfor_Křetínský.pdf","content_type":"application/pdf","date_updated":"2022-01-07T07:50:31Z","file_size":1066082,"checksum":"bf1c195b6aaf59e8530cf9e3a9d731f7","date_created":"2022-01-07T07:50:31Z"}],"month":"10","project":[{"_id":"B67AFEDC-15C9-11EA-A837-991A96BB2854","name":"IST Austria Open Access Fund"}],"oa_version":"Published Version","has_accepted_license":"1","publication":"Acta Informatica","keyword":["computer networks and communications","information systems","software"],"language":[{"iso":"eng"}],"abstract":[{"text":"Transforming ω-automata into parity automata is traditionally done using appearance records. We present an efficient variant of this idea, tailored to Rabin automata, and several optimizations applicable to all appearance records. We compare the methods experimentally and show that our method produces significantly smaller automata than previous approaches.","lang":"eng"}],"day":"01","doi":"10.1007/s00236-021-00412-y","external_id":{"isi":["000735765500001"]},"isi":1,"citation":{"ieee":"J. Kretinsky, T. Meggendorfer, C. Waldmann, and M. Weininger, “Index appearance record with preorders,” <i>Acta Informatica</i>, vol. 59. Springer Nature, pp. 585–618, 2022.","chicago":"Kretinsky, Jan, Tobias Meggendorfer, Clara Waldmann, and Maximilian Weininger. “Index Appearance Record with Preorders.” <i>Acta Informatica</i>. Springer Nature, 2022. <a href=\"https://doi.org/10.1007/s00236-021-00412-y\">https://doi.org/10.1007/s00236-021-00412-y</a>.","ama":"Kretinsky J, Meggendorfer T, Waldmann C, Weininger M. Index appearance record with preorders. <i>Acta Informatica</i>. 2022;59:585-618. doi:<a href=\"https://doi.org/10.1007/s00236-021-00412-y\">10.1007/s00236-021-00412-y</a>","apa":"Kretinsky, J., Meggendorfer, T., Waldmann, C., &#38; Weininger, M. (2022). Index appearance record with preorders. <i>Acta Informatica</i>. Springer Nature. <a href=\"https://doi.org/10.1007/s00236-021-00412-y\">https://doi.org/10.1007/s00236-021-00412-y</a>","ista":"Kretinsky J, Meggendorfer T, Waldmann C, Weininger M. 2022. Index appearance record with preorders. Acta Informatica. 59, 585–618.","mla":"Kretinsky, Jan, et al. “Index Appearance Record with Preorders.” <i>Acta Informatica</i>, vol. 59, Springer Nature, 2022, pp. 585–618, doi:<a href=\"https://doi.org/10.1007/s00236-021-00412-y\">10.1007/s00236-021-00412-y</a>.","short":"J. Kretinsky, T. Meggendorfer, C. Waldmann, M. Weininger, Acta Informatica 59 (2022) 585–618."},"year":"2022","date_updated":"2023-08-02T13:49:28Z","ddc":["000"],"volume":59,"acknowledgement":"This work is partially funded by the German Research Foundation (DFG) projects Verified Model Checkers (No. 317422601) and Statistical Unbounded Verification (No. 383882557), and the Alexander von Humboldt Foundation with funds from the German Federal Ministry of Education and Research. It is an extended version of [21], including all proofs together with further explanations and examples. Moreover, we provide a new, more efficient construction based on (total) preorders, unifying previous optimizations. Experiments are performed with a new, performant implementation, comparing our approach to the current state of the art.","intvolume":"        59","title":"Index appearance record with preorders","date_created":"2022-01-06T12:37:27Z","department":[{"_id":"KrCh"}],"article_processing_charge":"Yes (via OA deal)","publication_status":"published","author":[{"orcid":"0000-0002-8122-2881","full_name":"Kretinsky, Jan","first_name":"Jan","last_name":"Kretinsky","id":"44CEF464-F248-11E8-B48F-1D18A9856A87"},{"id":"b21b0c15-30a2-11eb-80dc-f13ca25802e1","full_name":"Meggendorfer, Tobias","orcid":"0000-0002-1712-2165","last_name":"Meggendorfer","first_name":"Tobias"},{"last_name":"Waldmann","first_name":"Clara","full_name":"Waldmann, Clara"},{"full_name":"Weininger, Maximilian","last_name":"Weininger","first_name":"Maximilian"}],"scopus_import":"1","_id":"10602","article_type":"original","publisher":"Springer Nature","file_date_updated":"2022-01-07T07:50:31Z","quality_controlled":"1","page":"585-618"},{"publication":"Journal of Physics: Complexity","has_accepted_license":"1","oa_version":"Published Version","month":"10","article_number":"04LT02","language":[{"iso":"eng"}],"keyword":["Artificial Intelligence","Computer Networks and Communications","Computer Science Applications","Information Systems"],"tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"date_published":"2022-10-25T00:00:00Z","type":"journal_article","publication_identifier":{"issn":["2632-072X"]},"oa":1,"file":[{"relation":"main_file","success":1,"access_level":"open_access","creator":"dernst","file_id":"12350","file_size":1006106,"checksum":"35c5c5cb0eb17ea1b5184755daab9fc9","date_created":"2023-01-24T07:24:37Z","content_type":"application/pdf","file_name":"2022_JourPhysics_Boerner.pdf","date_updated":"2023-01-24T07:24:37Z"}],"status":"public","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","_id":"12134","scopus_import":"1","author":[{"last_name":"Börner","first_name":"Georg","full_name":"Börner, Georg"},{"full_name":"Schröder, Malte","first_name":"Malte","last_name":"Schröder"},{"id":"40315C30-F248-11E8-B48F-1D18A9856A87","last_name":"Scarselli","first_name":"Davide","full_name":"Scarselli, Davide","orcid":"0000-0001-5227-4271"},{"orcid":"0000-0003-0423-5010","full_name":"Budanur, Nazmi B","first_name":"Nazmi B","last_name":"Budanur","id":"3EA1010E-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Hof","first_name":"Björn","full_name":"Hof, Björn","orcid":"0000-0003-2057-2754","id":"3A374330-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Timme, Marc","last_name":"Timme","first_name":"Marc"}],"issue":"4","publication_status":"published","department":[{"_id":"BjHo"}],"date_created":"2023-01-12T12:03:43Z","article_processing_charge":"No","title":"Explosive transitions in epidemic dynamics","intvolume":"         3","quality_controlled":"1","file_date_updated":"2023-01-24T07:24:37Z","publisher":"IOP Publishing","article_type":"original","date_updated":"2023-02-13T09:15:13Z","year":"2022","citation":{"chicago":"Börner, Georg, Malte Schröder, Davide Scarselli, Nazmi B Budanur, Björn Hof, and Marc Timme. “Explosive Transitions in Epidemic Dynamics.” <i>Journal of Physics: Complexity</i>. IOP Publishing, 2022. <a href=\"https://doi.org/10.1088/2632-072x/ac99cd\">https://doi.org/10.1088/2632-072x/ac99cd</a>.","ieee":"G. Börner, M. Schröder, D. Scarselli, N. B. Budanur, B. Hof, and M. Timme, “Explosive transitions in epidemic dynamics,” <i>Journal of Physics: Complexity</i>, vol. 3, no. 4. IOP Publishing, 2022.","ama":"Börner G, Schröder M, Scarselli D, Budanur NB, Hof B, Timme M. Explosive transitions in epidemic dynamics. <i>Journal of Physics: Complexity</i>. 2022;3(4). doi:<a href=\"https://doi.org/10.1088/2632-072x/ac99cd\">10.1088/2632-072x/ac99cd</a>","apa":"Börner, G., Schröder, M., Scarselli, D., Budanur, N. B., Hof, B., &#38; Timme, M. (2022). Explosive transitions in epidemic dynamics. <i>Journal of Physics: Complexity</i>. IOP Publishing. <a href=\"https://doi.org/10.1088/2632-072x/ac99cd\">https://doi.org/10.1088/2632-072x/ac99cd</a>","ista":"Börner G, Schröder M, Scarselli D, Budanur NB, Hof B, Timme M. 2022. Explosive transitions in epidemic dynamics. Journal of Physics: Complexity. 3(4), 04LT02.","mla":"Börner, Georg, et al. “Explosive Transitions in Epidemic Dynamics.” <i>Journal of Physics: Complexity</i>, vol. 3, no. 4, 04LT02, IOP Publishing, 2022, doi:<a href=\"https://doi.org/10.1088/2632-072x/ac99cd\">10.1088/2632-072x/ac99cd</a>.","short":"G. Börner, M. Schröder, D. Scarselli, N.B. Budanur, B. Hof, M. Timme, Journal of Physics: Complexity 3 (2022)."},"doi":"10.1088/2632-072x/ac99cd","day":"25","abstract":[{"text":"Standard epidemic models exhibit one continuous, second order phase transition to macroscopic outbreaks. However, interventions to control outbreaks may fundamentally alter epidemic dynamics. Here we reveal how such interventions modify the type of phase transition. In particular, we uncover three distinct types of explosive phase transitions for epidemic dynamics with capacity-limited interventions. Depending on the capacity limit, interventions may (i) leave the standard second order phase transition unchanged but exponentially suppress the probability of large outbreaks, (ii) induce a first-order discontinuous transition to macroscopic outbreaks, or (iii) cause a secondary explosive yet continuous third-order transition. These insights highlight inherent limitations in predicting and containing epidemic outbreaks. More generally our study offers a cornerstone example of a third-order explosive phase transition in complex systems.","lang":"eng"}],"acknowledgement":"We acknowledge support from the Volkswagen Foundation under Grant No. 99720 and the German Federal Ministry for Education and Research (BMBF) under Grant No. 16ICR01. This research was supported by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) under Germany’s Excellence Strategy—EXC-2068—390729961—Cluster of Excellence Physics of Life of TU Dresden.","volume":3,"ddc":["530"]},{"publication_identifier":{"eissn":["1744-4292"]},"oa":1,"tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"date_published":"2022-09-01T00:00:00Z","type":"journal_article","file":[{"date_created":"2023-01-30T09:49:55Z","checksum":"8b1d8f5ea20c8408acf466435fb6ae01","file_size":1098812,"date_updated":"2023-01-30T09:49:55Z","file_name":"2022_MolecularSystemsBio_Angermayr.pdf","content_type":"application/pdf","access_level":"open_access","success":1,"relation":"main_file","file_id":"12446","creator":"dernst"}],"status":"public","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","acknowledged_ssus":[{"_id":"M-Shop"}],"oa_version":"Published Version","month":"09","article_number":"e10490","publication":"Molecular Systems Biology","has_accepted_license":"1","language":[{"iso":"eng"}],"keyword":["Applied Mathematics","Computational Theory and Mathematics","General Agricultural and Biological Sciences","General Immunology and Microbiology","General Biochemistry","Genetics and Molecular Biology","Information Systems"],"doi":"10.15252/msb.202110490","day":"01","abstract":[{"lang":"eng","text":"Dose–response relationships are a general concept for quantitatively describing biological systems across multiple scales, from the molecular to the whole-cell level. A clinically relevant example is the bacterial growth response to antibiotics, which is routinely characterized by dose–response curves. The shape of the dose–response curve varies drastically between antibiotics and plays a key role in treatment, drug interactions, and resistance evolution. However, the mechanisms shaping the dose–response curve remain largely unclear. Here, we show in Escherichia coli that the distinctively shallow dose–response curve of the antibiotic trimethoprim is caused by a negative growth-mediated feedback loop: Trimethoprim slows growth, which in turn weakens the effect of this antibiotic. At the molecular level, this feedback is caused by the upregulation of the drug target dihydrofolate reductase (FolA/DHFR). We show that this upregulation is not a specific response to trimethoprim but follows a universal trend line that depends primarily on the growth rate, irrespective of its cause. Rewiring the feedback loop alters the dose–response curve in a predictable manner, which we corroborate using a mathematical model of cellular resource allocation and growth. Our results indicate that growth-mediated feedback loops may shape drug responses more generally and could be exploited to design evolutionary traps that enable selection against drug resistance."}],"date_updated":"2023-08-04T09:51:49Z","year":"2022","citation":{"ista":"Angermayr A, Pang TY, Chevereau G, Mitosch K, Lercher MJ, Bollenbach MT. 2022. Growth‐mediated negative feedback shapes quantitative antibiotic response. Molecular Systems Biology. 18(9), e10490.","short":"A. Angermayr, T.Y. Pang, G. Chevereau, K. Mitosch, M.J. Lercher, M.T. Bollenbach, Molecular Systems Biology 18 (2022).","mla":"Angermayr, Andreas, et al. “Growth‐mediated Negative Feedback Shapes Quantitative Antibiotic Response.” <i>Molecular Systems Biology</i>, vol. 18, no. 9, e10490, Embo Press, 2022, doi:<a href=\"https://doi.org/10.15252/msb.202110490\">10.15252/msb.202110490</a>.","ieee":"A. Angermayr, T. Y. Pang, G. Chevereau, K. Mitosch, M. J. Lercher, and M. T. Bollenbach, “Growth‐mediated negative feedback shapes quantitative antibiotic response,” <i>Molecular Systems Biology</i>, vol. 18, no. 9. Embo Press, 2022.","chicago":"Angermayr, Andreas, Tin Yau Pang, Guillaume Chevereau, Karin Mitosch, Martin J Lercher, and Mark Tobias Bollenbach. “Growth‐mediated Negative Feedback Shapes Quantitative Antibiotic Response.” <i>Molecular Systems Biology</i>. Embo Press, 2022. <a href=\"https://doi.org/10.15252/msb.202110490\">https://doi.org/10.15252/msb.202110490</a>.","apa":"Angermayr, A., Pang, T. Y., Chevereau, G., Mitosch, K., Lercher, M. J., &#38; Bollenbach, M. T. (2022). Growth‐mediated negative feedback shapes quantitative antibiotic response. <i>Molecular Systems Biology</i>. Embo Press. <a href=\"https://doi.org/10.15252/msb.202110490\">https://doi.org/10.15252/msb.202110490</a>","ama":"Angermayr A, Pang TY, Chevereau G, Mitosch K, Lercher MJ, Bollenbach MT. Growth‐mediated negative feedback shapes quantitative antibiotic response. <i>Molecular Systems Biology</i>. 2022;18(9). doi:<a href=\"https://doi.org/10.15252/msb.202110490\">10.15252/msb.202110490</a>"},"isi":1,"external_id":{"isi":["000856482800001"]},"acknowledgement":"This work was in part supported by Human Frontier Science Program GrantRGP0042/2013, Marie Curie Career Integration Grant303507, AustrianScience Fund (FWF) Grant P27201-B22, and German Research Foundation(DFG) Collaborative Research Center (SFB)1310to TB. SAA was supportedby the European Union’s Horizon2020Research and Innovation Programunder the Marie Skłodowska-Curie Grant agreement No707352. We wouldlike to thank the Bollenbach group for regular fruitful discussions. We areparticularly thankful for the technical assistance of Booshini Fernando andfor discussions of the theoretical aspects with Gerrit Ansmann. We areindebted to Bor Kavˇciˇc for invaluable advice, help with setting up theluciferase-based growth monitoring system, and for sharing plasmids. Weacknowledge the IST Austria Miba Machine Shop for their support inbuilding a housing for the stacker of the plate reader, which enabled thehigh-throughput luciferase-based experiments. We are grateful to RosalindAllen, Bor Kavˇciˇc and Dor Russ for feedback on the manuscript. Open Accessfunding enabled and organized by Projekt DEAL.","volume":18,"ddc":["570"],"publication_status":"published","article_processing_charge":"No","department":[{"_id":"ToBo"}],"date_created":"2023-01-16T09:58:34Z","title":"Growth‐mediated negative feedback shapes quantitative antibiotic response","intvolume":"        18","_id":"12261","scopus_import":"1","author":[{"orcid":"0000-0001-8619-2223","full_name":"Angermayr, Andreas","first_name":"Andreas","last_name":"Angermayr","id":"4677C796-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Pang","first_name":"Tin Yau","full_name":"Pang, Tin Yau"},{"full_name":"Chevereau, Guillaume","last_name":"Chevereau","first_name":"Guillaume"},{"full_name":"Mitosch, Karin","first_name":"Karin","last_name":"Mitosch","id":"39B66846-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Martin J","last_name":"Lercher","full_name":"Lercher, Martin J"},{"full_name":"Bollenbach, Mark Tobias","orcid":"0000-0003-4398-476X","last_name":"Bollenbach","first_name":"Mark Tobias","id":"3E6DB97A-F248-11E8-B48F-1D18A9856A87"}],"issue":"9","publisher":"Embo Press","article_type":"original","quality_controlled":"1","file_date_updated":"2023-01-30T09:49:55Z"},{"volume":22,"date_updated":"2023-09-08T11:52:02Z","year":"2020","citation":{"ista":"Nickovic D, Lebeltel O, Maler O, Ferrere T, Ulus D. 2020. AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal logic. International Journal on Software Tools for Technology Transfer. 22(6), 741–758.","short":"D. Nickovic, O. Lebeltel, O. Maler, T. Ferrere, D. Ulus, International Journal on Software Tools for Technology Transfer 22 (2020) 741–758.","mla":"Nickovic, Dejan, et al. “AMT 2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic.” <i>International Journal on Software Tools for Technology Transfer</i>, vol. 22, no. 6, Springer Nature, 2020, pp. 741–58, doi:<a href=\"https://doi.org/10.1007/s10009-020-00582-z\">10.1007/s10009-020-00582-z</a>.","ieee":"D. Nickovic, O. Lebeltel, O. Maler, T. Ferrere, and D. Ulus, “AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal logic,” <i>International Journal on Software Tools for Technology Transfer</i>, vol. 22, no. 6. Springer Nature, pp. 741–758, 2020.","chicago":"Nickovic, Dejan, Olivier Lebeltel, Oded Maler, Thomas Ferrere, and Dogan Ulus. “AMT 2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic.” <i>International Journal on Software Tools for Technology Transfer</i>. Springer Nature, 2020. <a href=\"https://doi.org/10.1007/s10009-020-00582-z\">https://doi.org/10.1007/s10009-020-00582-z</a>.","apa":"Nickovic, D., Lebeltel, O., Maler, O., Ferrere, T., &#38; Ulus, D. (2020). AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal logic. <i>International Journal on Software Tools for Technology Transfer</i>. Springer Nature. <a href=\"https://doi.org/10.1007/s10009-020-00582-z\">https://doi.org/10.1007/s10009-020-00582-z</a>","ama":"Nickovic D, Lebeltel O, Maler O, Ferrere T, Ulus D. AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal logic. <i>International Journal on Software Tools for Technology Transfer</i>. 2020;22(6):741-758. doi:<a href=\"https://doi.org/10.1007/s10009-020-00582-z\">10.1007/s10009-020-00582-z</a>"},"isi":1,"external_id":{"isi":["000555398600001"]},"doi":"10.1007/s10009-020-00582-z","day":"03","abstract":[{"text":"We introduce in this paper AMT2.0, a tool for qualitative and quantitative analysis of hybrid continuous and Boolean signals that combine numerical values and discrete events. The evaluation of the signals is based on rich temporal specifications expressed in extended signal temporal logic, which integrates timed regular expressions within signal temporal logic. The tool features qualitative monitoring (property satisfaction checking), trace diagnostics for explaining and justifying property violations and specification-driven measurement of quantitative features of the signal. We demonstrate the tool functionality on several running examples and case studies, and evaluate its performance.","lang":"eng"}],"page":"741-758","quality_controlled":"1","publisher":"Springer Nature","article_type":"original","_id":"10861","scopus_import":"1","author":[{"full_name":"Nickovic, Dejan","last_name":"Nickovic","first_name":"Dejan","id":"41BCEE5C-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Lebeltel, Olivier","last_name":"Lebeltel","first_name":"Olivier"},{"first_name":"Oded","last_name":"Maler","full_name":"Maler, Oded"},{"id":"40960E6E-F248-11E8-B48F-1D18A9856A87","last_name":"Ferrere","first_name":"Thomas","full_name":"Ferrere, Thomas","orcid":"0000-0001-5199-3143"},{"full_name":"Ulus, Dogan","last_name":"Ulus","first_name":"Dogan"}],"issue":"6","publication_status":"published","article_processing_charge":"No","department":[{"_id":"ToHe"}],"date_created":"2022-03-18T10:10:53Z","title":"AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal logic","intvolume":"        22","status":"public","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","related_material":{"record":[{"id":"299","relation":"earlier_version","status":"public"}]},"date_published":"2020-08-03T00:00:00Z","type":"journal_article","publication_identifier":{"issn":["1433-2779"],"eissn":["1433-2787"]},"language":[{"iso":"eng"}],"keyword":["Information Systems","Software"],"publication":"International Journal on Software Tools for Technology Transfer","oa_version":"None","month":"08"}]