×

Found 21 Documents (Results 1–21)

Synthesis in presence of dynamic links. (English) Zbl 07455739

Raskin, Jean-Francois (ed.) et al., Proceedings of the 11th international symposium on games, automata, logics, and formal verification, GandALF 2020, Brussels, Belgium, September 21–22, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 326, 33-49 (2020).
MSC:  68Q45 68Q60 91A80
PDFBibTeX XMLCite
Full Text: arXiv Link

Parameterized synthesis for fragments of first-order logic over data words. (English) Zbl 07250934

Goubault-Larrecq, Jean (ed.) et al., Foundations of software science and computation structures. 23rd international conference, FOSSACS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12077, 97-118 (2020).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Round-bounded control of parameterized systems. (English) Zbl 1517.68257

Lahiri, Shuvendu K. (ed.) et al., Automated technology for verification and analysis. 16th international symposium, ATVA 2018, Los Angeles, CA, USA, October 7–10, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11138, 370-386 (2018).
MSC:  68Q85 68Q60 91A80
PDFBibTeX XMLCite
Full Text: DOI

Real-time synthesis is hard! (English) Zbl 1433.68210

Fränzle, Martin (ed.) et al., Formal modeling and analysis of timed systems. 14th international conference, FORMATS 2016, Quebec, QC, Canada, August 24–26, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9884, 105-120 (2016).
MSC:  68Q60 03B70
PDFBibTeX XMLCite
Full Text: DOI arXiv

Concurrent games on VASS with inhibition. (English) Zbl 1364.68275

Koutny, Maciej (ed.) et al., CONCUR 2012 – concurrency theory. 23rd international conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4–7, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32939-5/pbk). Lecture Notes in Computer Science 7454, 39-52 (2012).
MSC:  68Q85 91A80
PDFBibTeX XMLCite
Full Text: DOI

Event clock automata: from theory to practice. (English) Zbl 1348.68102

Fahrenberg, Uli (ed.) et al., Formal modeling and analysis of timed systems. 9th international conference, FORMATS 2011, Aalborg, Denmark, September 21–23, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24309-7/pbk). Lecture Notes in Computer Science 6919, 209-224 (2011).
MSC:  68Q45
PDFBibTeX XMLCite
Full Text: DOI arXiv

Safraless procedures for timed specifications. (English) Zbl 1290.68070

Chatterjee, Krishnendu (ed.) et al., Formal modeling and analysis of timed systems. 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8–10, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15296-2/pbk). Lecture Notes in Computer Science 6246, 2-22 (2010).
MSC:  68Q45 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Natural specifications yield decidability for distributed synthesis of asynchronous systems. (English) Zbl 1206.68210

Nielsen, Mogens (ed.) et al., SOFSEM 2009: Theory and practice of computer science. 35th conference on current trends in theory and practice of computer science, Špindlerův Mlýn, Czech Republic, January 24–30, 2009. Proceedings. Berlin: Springer (ISBN 978-3-540-95890-1/pbk). Lecture Notes in Computer Science 5404, 141-152 (2009).
MSC:  68Q85 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Distributed synthesis for well-connected architectures. (English) Zbl 1177.68146

Arun-Kumar, S. (ed.) et al., FSTTCS 2006: Foundations of software technology and theoretical computer science. 26th international conference, Kolkata, India, December 13–15, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-49994-7/pbk). Lecture Notes in Computer Science 4337, 321-332 (2006).
MSC:  68Q60 68Q85
PDFBibTeX XMLCite
Full Text: DOI HAL

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

Software