×

Found 32 Documents (Results 1–32)

Static race detection for periodic programs. (English) Zbl 1528.68086

Sergey, Ilya (ed.), Programming languages and systems. 31st European symposium on programming, ESOP 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13240, 290-316 (2022).
MSC:  68N30
PDFBibTeX XMLCite
Full Text: DOI

On the expressive equivalence of TPTL in the pointwise and continuous semantics. (English) Zbl 07799623

Bojańczyk, Mikołaj (ed.) et al., 41st IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2021, virtual conference, December 15–17, 2021. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 213, Article 45, 21 p. (2021).
MSC:  68N30 68Qxx
PDFBibTeX XMLCite
Full Text: DOI

Data races and static analysis for interrupt-driven kernels. (English) Zbl 1524.68063

Caires, Luís (ed.), Programming languages and systems. 28th European symposium on programming, ESOP 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11423, 697-723 (2019).
MSC:  68N19
PDFBibTeX XMLCite
Full Text: DOI

Thread-local semantics and its efficient sequential abstractions for race-free programs. (English) Zbl 1420.68114

Ranzato, Francesco (ed.), Static analysis. 24th international symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10422, 253-276 (2017).
MSC:  68Q55 68N30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Automated technology for verification and analysis. 15th international symposium, ATVA 2017, Pune, India, October 3–6, 2017. Proceedings. (English) Zbl 1372.68007

Lecture Notes in Computer Science 10482. Cham: Springer (ISBN 978-3-319-68166-5/pbk; 978-3-319-68167-2/ebook). xix, 482 p. (2017).
MSC:  68-06 68Q60 00B25
PDFBibTeX XMLCite
Full Text: DOI

Verification, model checking, and abstract interpretation. 16th international conference, VMCAI 2015, Mumbai, India, January 12–14, 2015. Proceedings. (English) Zbl 1303.68013

Lecture Notes in Computer Science 8931. Berlin: Springer (ISBN 978-3-662-46080-1/pbk). xviii, 467 p. (2015).
MSC:  68-06 68Q60 00B25
PDFBibTeX XMLCite
Full Text: DOI

Automata and logics over signals. (English) Zbl 1256.68099

D’Souza, Deepak (ed.) et al., Modern applications of automata theory. Dedicated to the memory of Professor Priti Shankar. Foreword by Reinhard Wilhelm. Hackensack, NJ: World Scientific; Bangalore: IISc Press (ISBN 978-981-4271-04-2/hbk; 978-981-4271-05-9/ebook). IISc Research Monographs Series 2, 555-582 (2012).
MSC:  68Q45 03D05 03B44
PDFBibTeX XMLCite
Full Text: DOI Link

IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2012). Selected papers based on the presentations at the 32nd conference, Hyderabad, India, December 15–17, 2012. (English) Zbl 1256.68007

LIPIcs – Leibniz International Proceedings in Informatics 18. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-47-7). xiv, 560 p., electronic. (2012).
MSC:  68-06 00B25
PDFBibTeX XMLCite
Full Text: Link Link

Modern applications of automata theory. Dedicated to the memory of Professor Priti Shankar. Foreword by Reinhard Wilhelm. (English) Zbl 1252.68031

IISc Research Monographs Series 2. Hackensack, NJ: World Scientific; Bangalore: IISc Press (ISBN 978-981-4271-04-2/hbk; 978-981-4271-05-9/ebook). xvi, 656 p. (2012).
PDFBibTeX XMLCite
Full Text: DOI

Dataflow analysis for datarace-free programs. (English) Zbl 1326.68074

Barthe, Gilles (ed.), Programming languages and systems. 20th European symposium on programming, ESOP 2011, held as part of the joint European conferences on theory and practice of software, ETAPS 2011, Saarbrücken, Germany, March 26 – April 3, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-19717-8/pbk). Lecture Notes in Computer Science 6602, 196-215 (2011).
MSC:  68N19 68N15
PDFBibTeX XMLCite
Full Text: DOI

Eliminating past operators in metric temporal logic. (English) Zbl 1177.03028

Lodaya, Kamal (ed.) et al., Perspectives in concurrency. A Festschrift for P. S. Thiagarajan. Hyderabad: Universities Press; Boca Raton, FL: CRC Press (ISBN 978-1-4398-0943-3/hbk). 86-106 (2009).
MSC:  03B44 03B25 68Q60
PDFBibTeX XMLCite

Conflict-tolerant features. (English) Zbl 1155.68432

Gupta, Aarti (ed.) et al., Computer aided verification. 20th international conference, CAV 2008, Princeton, NJ, USA, July 7–14, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-70543-7/pbk). Lecture Notes in Computer Science 5123, 227-239 (2008).
PDFBibTeX XMLCite
Full Text: DOI

Counter-free input-determined timed automata. (English) Zbl 1142.68039

Raskin, Jean-François (ed.) et al., Formal modeling and analysis of timed systems. 5th international conference, FORMATS 2007, Salzburg, Austria, October 3–5, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-75453-4/pbk). Lecture Notes in Computer Science 4763, 82-97 (2007).
MSC:  68Q45 03B44
PDFBibTeX XMLCite
Full Text: DOI

A decidable temporal logic of repeating values. (English) Zbl 1132.03337

Artemov, Sergei N. (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2007, New York, NY, USA, June 4–7, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-72732-3/pbk). Lecture Notes in Computer Science 4514, 180-194 (2007).
PDFBibTeX XMLCite
Full Text: DOI Link

On continuous timed automata with input-determined guards. (English) Zbl 1177.68136

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, 369-380 (2006).
PDFBibTeX XMLCite
Full Text: DOI

An automata based approach for verifying information flow properties. (English) Zbl 1272.68237

Degano, Pierpaolo (ed.) et al., Proceedings of the 2nd workshop on automated reasoning for security protocol analysis (ARSPA 2005), Lisbon, Portugal, July 16, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 135, No. 1, 39-58 (2005).
MSC:  68Q60 68Q45
PDFBibTeX XMLCite
Full Text: Link

Eventual timed automata. (English) Zbl 1172.68499

Ramanujam, R. (ed.) et al., FSTTCS 2005: Foundations of software technology and theoretical computer science. 25th international conference, Hyderabad, India, December 15–18, 2005. Proceedings. Berlin: Springer (ISBN 3-540-30495-9/pbk). Lecture Notes in Computer Science 3821, 322-334 (2005).
MSC:  68Q45 03B25 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Fault diagnosis using timed automata. (English) Zbl 1118.68374

Sassone, Vladimiro (ed.), Foundations of software science and computation structures. 8th international conference, FOSSACS 2005, held as part of the joint European conferences on theory and practice of software, ETAPS 2005, Edinburgh, UK, April 4–8, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25388-2/pbk). Lecture Notes in Computer Science 3441, 219-233 (2005).
PDFBibTeX XMLCite
Full Text: DOI

On timed automata with input-determined guards. (English) Zbl 1109.68503

Lakhnech, Yassine (ed.) et al., Formal techniques, modelling and analysis of timed and fault-tolerant systems. Joint international conferences on formal modelling and analysis of timed systems, FORMATS 2004, and formal techniques in real-time and fault-tolerant systems, FTRTFT 2004, Grenoble, France, September 22–24, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23167-6/pbk). Lecture Notes in Computer Science 3253, 68-83 (2004).
MSC:  68Q45 03D05
PDFBibTeX XMLCite
Full Text: DOI

Timed control with partial observability. (English) Zbl 1278.68160

Hunt, Warren A.jun. (ed.) et al., Computer aided verification. 15th international conference, CAV 2003, Boulder, CO, USA, July 8–12, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40524-0/pbk). Lect. Notes Comput. Sci. 2725, 180-192 (2003).
MSC:  68Q60 93B50
PDFBibTeX XMLCite
Full Text: DOI

Timed control synthesis for external specifications. (English) Zbl 1054.93502

Alt, Helmut (ed.) et al., STACS 2002. 19th annual symposium on theoretical aspects of computer science. Antibes - Juan les Pins, France, March 14–16, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43283-3). Lect. Notes Comput. Sci. 2285, 571-582 (2002).
MSC:  93B50 68Q45 68Q60
PDFBibTeX XMLCite
Full Text: Link

An automata-theoretic approach to constraint LTL. (English) Zbl 1027.03027

Agrawal, Manindra (ed.) et al., FST TCS 2002: Foundations of software technology and theoretical computer science. 22nd conference, Kanpur, India, December 12-14, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2556, 121-132 (2002).
PDFBibTeX XMLCite
Full Text: Link

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software