×

Found 277 Documents (Results 1–100)

100
MathJax

Iterative bounded synthesis for efficient cycle detection in parametric timed automata. (English) Zbl 1467.68078

Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12651, 311-329 (2021).
MSC:  68Q45 68R10 68W05
PDF BibTeX XML Cite
Full Text: DOI

Checking qualitative liveness properties of replicated systems with stochastic scheduling. (English) Zbl 1478.68147

Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12225, 372-397 (2020).
PDF BibTeX XML Cite
Full Text: DOI arXiv

An axiomatic approach to reversible computation. (English) Zbl 07250951

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, 442-461 (2020).
MSC:  68Nxx 68Qxx
PDF BibTeX XML Cite
Full Text: DOI

Heterogeneous kernel based convolutional neural network for face liveness detection. (English) Zbl 07240058

Pan, Linqiang (ed.) et al., Bio-inspired computing: theories and applications. 14th international conference, BIC-TA 2019, Zhengzhou, China, November 22–25, 2019. Revised selected papers. Part II. Singapore: Springer. Commun. Comput. Inf. Sci. 1160, 381-392 (2020).
MSC:  68Q07
PDF BibTeX XML Cite
Full Text: DOI

Is speed-independent mutual exclusion implementable? (invited talk). (English) Zbl 07378547

Schewe, Sven (ed.) et al., 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 118, Article 3, 1 p. (2018).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI

On the security properties of e-voting bulletin boards. (English) Zbl 06957570

Catalano, Dario (ed.) et al., Security and cryptography for networks. 11th international conference, SCN 2018, Amalfi, Italy, September 5–7, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11035, 505-523 (2018).
MSC:  68P25 94A60
PDF BibTeX XML Cite
Full Text: DOI Link

On liveness and deadlockability in subclasses of weighted Petri nets. (English) Zbl 1393.68119

van der Aalst, Wil (ed.) et al., Application and theory of Petri nets and concurrency. 38th international conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-57860-6/pbk; 978-3-319-57861-3/ebook). Lecture Notes in Computer Science 10258, 267-287 (2017).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI HAL

Fencing off Go: liveness and safety for channel-based programming. (English) Zbl 1380.68298

Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 748-761 (2017).
MSC:  68Q85 68N15 68N30
PDF BibTeX XML Cite
Full Text: DOI arXiv

A layered architecture for erasure-coded consistent distributed storage. (English) Zbl 1380.68054

Proceedings of the 2017 ACM symposium on principles of distributed computing, PODC ’17, Washington, DC, USA, July 25–27, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4992-5). 63-72 (2017).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Place bisimulation and liveness for open Petri nets. (English) Zbl 1393.68113

Fränzle, Martin (ed.) et al., Dependable software engineering: theories, tools, and applications. Second international symposium, SETTA 2016, Beijing, China, November 9–11, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-47676-6/pbk; 978-3-319-47677-3/ebook). Lecture Notes in Computer Science 9984, 1-17 (2016).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI

Why liveness for timed automata is hard, and what we can do about it. (English) Zbl 1391.68071

Lal, Akash (ed.) et al., 36th IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2016), Chennai, India, December 13–15, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-027-9). LIPIcs – Leibniz International Proceedings in Informatics 65, Article 48, 14 p. (2016).
MSC:  68Q45 68Q25 68Q60
PDF BibTeX XML Cite
Full Text: DOI

Ensuring average recovery with adversarial scheduler. (English) Zbl 1380.68115

Anceaume, Emmanuelle (ed.) et al., 19th international conference on principles of distributed systems, OPODIS 2015, Rennes, France, December 14–17, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-98-9). LIPIcs – Leibniz International Proceedings in Informatics 46, Article 23, 18 p. (2016).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI

On relative and probabilistic finite counterability. (English) Zbl 1373.68288

Kreutzer, Stephan (ed.), 24th EACSL annual conference and 29th workshop on computer science logic, CSL’15, Berlin, Germany, September 7–10, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-90-3). LIPIcs – Leibniz International Proceedings in Informatics 41, 175-192 (2015).
MSC:  68Q60 68Q45
PDF BibTeX XML Cite
Full Text: DOI

Safety-liveness exclusion in distributed computing. (English) Zbl 1333.68049

Proceedings of the 2015 ACM symposium on principles of distributed computing, PODC ’15, Donostia-San Sebastián, Spain, July 21–23, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3617-8). 227-236 (2015).
MSC:  68M14 68Q10
PDF BibTeX XML Cite
Full Text: DOI Link

Liveness properties in CafeOBJ – a case study for meta-level specifications. (English) Zbl 1457.68066

Proietti, Maurizio (ed.) et al., Logic-based program synthesis and transformation. 24th international symposium, LOPSTR 2014, Canterbury, UK, September 9–11, 2014. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 8981, 182-198 (2015).
MSC:  68N30 68Q65
PDF BibTeX XML Cite
Full Text: DOI

On the reversibility of live equal-conflict Petri nets. (English) Zbl 1364.68287

Devillers, Raymond (ed.) et al., Application and theory of Petri nets and concurrency. 36th international conference, PETRI NETS 2015, Brussels, Belgium, June 21–26, 2015, Proceedings. Cham: Springer (ISBN 978-3-319-19487-5/pbk; 978-3-319-19488-2/ebook). Lecture Notes in Computer Science 9115, 234-253 (2015).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI Link

Anchored LTL separation. (English) Zbl 1394.03034

Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 74, 9 p. (2014).
MSC:  03B44 03D05
PDF BibTeX XML Cite
Full Text: DOI

Probably safe or live. (English) Zbl 1394.68231

Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 55, 10 p. (2014).
PDF BibTeX XML Cite
Full Text: DOI arXiv Link

Abstract interpretation from Büchi automata. (English) Zbl 1401.68162

Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 51, 10 p. (2014).
PDF BibTeX XML Cite
Full Text: DOI Link

Fair reactive programming. (English) Zbl 1284.68127

Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’14, San Diego, CA, USA, January 22–24, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2544-8). 361-372 (2014).
MSC:  68N18 03B70
PDF BibTeX XML Cite
Full Text: DOI Link

Quantitative reasoning for proving lock-freedom. (English) Zbl 1366.68171

Proceedings of the 2013 28th annual ACM/IEEE symposium on logic in computer science, LICS 2013, Tulane University, New Orleans, LA, USA, June 25–28, 2013. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-5020-6). 124-133 (2013).
PDF BibTeX XML Cite
Full Text: DOI

Functional reactive programming with liveness guarantees. (English) Zbl 1323.68125

Proceedings of the 18th ACM SIGPLAN international conference on functional programming, ICFP ’13, Boston, MA, USA, September 25–27, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2326-0). ACM SIGPLAN Notices 48, No. 9, 233-244 (2013).
MSC:  68N18
PDF BibTeX XML Cite
Full Text: DOI

Lyapunov abstractions for inevitability of hybrid systems. (English) Zbl 1361.68145

Proceedings of the 15th ACM international conference on hybrid systems: computation and control, HSCC 2012, Beijing, China, April 17–19, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1220-2). 115-123 (2012).
PDF BibTeX XML Cite
Full Text: DOI

On the liveness of transactional memory. (English) Zbl 1301.68089

Proceedings of the 2012 ACM symposium on principles of distributed computing, PODC ’12, Funchal, Portugal, July 16–18, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1450-3). 9-18 (2012).
MSC:  68N19
PDF BibTeX XML Cite
Full Text: DOI Link

Dynamically-driven timed automaton abstractions for proving liveness of continuous systems. (English) Zbl 1375.68072

Jurdziński, Marcin (ed.) et al., Formal modeling and analysis of timed systems. 10th international conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33364-4/pbk). Lecture Notes in Computer Science 7595, 59-74 (2012).
MSC:  68Q45 37B10
PDF BibTeX XML Cite
Full Text: DOI

Fooling a liveness-detecting capacitive fingerprint scanner. (English) Zbl 1300.94104

Naccache, David (ed.), Cryptography and security: From theory to applications. Essays dedicated to Jean-Jacques Quisquater on the occasion of his 65th birthday. Berlin: Springer (ISBN 978-3-642-28367-3/pbk). Lecture Notes in Computer Science 6805, 484-490 (2012).
MSC:  94A62 68P25
PDF BibTeX XML Cite
Full Text: DOI

Verifying deadlock-freedom of communication fabrics. (English) Zbl 1317.68115

Jhala, Ranjit (ed.) et al., Verification, model checking, and abstract interpretation. 12th international conference, VMCAI 2011, Austin, TX, USA, January 23–25, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-18274-7/pbk). Lecture Notes in Computer Science 6538, 214-231 (2011).
MSC:  68Q60
PDF BibTeX XML Cite
Full Text: DOI Link

On asymmetric progress conditions. (English) Zbl 1315.68029

Proceedings of the 29th annual ACM SIGACT-SIGOPS symposium on principles of distributed computing, PODC ’10, Zurich, Switzerland, July 25–28, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-888-9). 55-64 (2010).
MSC:  68M15 68M14 68W15
PDF BibTeX XML Cite
Full Text: DOI Link

Modeling and simulation of a team game with coloured Petri nets. (English) Zbl 1231.91043

Mastorakis, N. (ed.) et al., Latest trends on computers. 2 Volumes. Papers based on the presentations at the 14th WSEAS international conference on computers (Part of the 14th WSEAS CSCC multiconference), Corfu Island, Greece, July 23–25, 2010. Athens: World Scientific and Engineering Academy and Society (WSEAS) (ISBN 978-960-474-206-6/CD-ROM; 978-960-474-201-1). 516-520 (2010).
MSC:  91A43
PDF BibTeX XML Cite

The modeling of flow of IT equipment to a unit of services IT by coloured Petri net. (English) Zbl 1231.05258

Kallel, Ali (ed.) et al., Mathematical methods, computational techniques, intelligent systems. 12th WSEAS international conference (MAMECTIS ’10), Kantaoui, Sousse, Tunia, May 3–6, 2010. Athens: World Scientific and Engineering Academy and Society (WSEAS) (ISBN 978-960-474-191-5/CD-ROM; 978-960-474-188-5/hbk). Electrical and Computer Engineering Series. A Series of Reference Books and Textbooks, 172-175 (2010).
MSC:  05C90
PDF BibTeX XML Cite

New algorithms for deciding the siphon-trap property. (English) Zbl 1285.68108

Lilius, Johan (ed.) et al., Applications and theory of Petri nets. 31st international conference, PETRI NETS 2010, Braga, Portugal, June 21–25, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13674-0/pbk). Lecture Notes in Computer Science 6128, 267-286 (2010).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI

Verifying liveness for asynchronous programs. (English) Zbl 1315.68064

Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’09, Savannah, GA, USA, January 18–24, 2009. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-379-2). 102-113 (2009).
MSC:  68N19 68N30 68Q85
PDF BibTeX XML Cite
Full Text: DOI Link

Proving that non-blocking algorithms don’t block. (English) Zbl 1315.68093

Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’09, Savannah, GA, USA, January 18–24, 2009. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-379-2). 16-28 (2009).
PDF BibTeX XML Cite
Full Text: DOI

Liveness reasoning with Isabelle/HOL. (English) Zbl 1252.68198

Berghofer, Stefan (ed.) et al., Theorem proving in higher order logics. 22nd international conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03358-2/pbk). Lecture Notes in Computer Science 5674, 485-499 (2009).
MSC:  68Q60 68Q85 68Q87 68T15
PDF BibTeX XML Cite
Full Text: DOI

Local safety and local liveness for distributed systems. (English) Zbl 1193.68174

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). 107-127 (2009).
MSC:  68Q85 03B44
PDF BibTeX XML Cite

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

all top 3

Software