×

Found 385 Documents (Results 1–100)

Towards efficient adjustment of effect rows. (English) Zbl 1528.68065

Swierstra, Wouter (ed.) et al., Trends in functional programming. 23rd international symposium, TFP 2022, virtual event, March 17–18, 2022. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 13401, 169-191 (2023).
MSC:  68N18 68N20
PDFBibTeX XMLCite
Full Text: DOI

Temporal robustness of stochastic signals. (English) Zbl 07807718

Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 10, 11 p. (2022).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Verifying switched system stability with logic. (English) Zbl 07807710

Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 2, 11 p. (2022).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Generic construction of trace-and-revoke inner product functional encryption. (English) Zbl 1523.68027

Atluri, Vijayalakshmi (ed.) et al., Computer security – ESORICS 2022. 27th European symposium on research in computer security, Copenhagen, Denmark, September 26–30, 2022. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 13554, 259-282 (2022).
MSC:  68P25 94A60
PDFBibTeX XMLCite
Full Text: DOI

A graph based semantics for logical functional diagrams in power plant controllers. (English) Zbl 07630639

Varzinczak, Ivan (ed.), Foundations of information and knowledge systems. 12th international symposium, FoIKS 2022, Helsinki, Finland, June 20–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13388, 55-74 (2022).
PDFBibTeX XMLCite
Full Text: DOI

On sampling representatives of relational schemas with a functional dependency. (English) Zbl 07630636

Varzinczak, Ivan (ed.), Foundations of information and knowledge systems. 12th international symposium, FoIKS 2022, Helsinki, Finland, June 20–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13388, 1-19 (2022).
PDFBibTeX XMLCite
Full Text: DOI

Filtering over networks with random communication. (English) Zbl 07807707

Proceedings of the 24th ACM international conference on hybrid systems: computation and control, HSCC 2021, part of CPS-IoT week, Nashville, TN, USA, May 19–21, 2021. New York, NY: Association for Computing Machinery (ACM). Paper No. 34, 2 p. (2021).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Learning Lyapunov functions for hybrid systems. (English) Zbl 07807686

Proceedings of the 24th ACM international conference on hybrid systems: computation and control, HSCC 2021, part of CPS-IoT week, Nashville, TN, USA, May 19–21, 2021. New York, NY: Association for Computing Machinery (ACM). Paper No. 13, 11 p. (2021).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Leakage-resilient inner-product functional encryption in the bounded-retrieval model. (English) Zbl 1511.68114

Meng, Weizhi (ed.) et al., Information and communications security. 22nd international conference, ICICS 2020, Copenhagen, Denmark, August 24–26, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12282, 565-587 (2020).
MSC:  68P25 94A60
PDFBibTeX XMLCite
Full Text: DOI

Relational differential dynamic logic. (English) Zbl 1507.68189

Biere, Armin (ed.) et al., Tools and algorithms for the construction and analysis of systems. 26th international conference, TACAS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12078, 191-208 (2020).
PDFBibTeX XMLCite
Full Text: DOI arXiv

A proof assistant based formalisation of a subset of sequential core Erlang. (English) Zbl 1475.68059

Byrski, Aleksander (ed.) et al., Trends in functional programming. 21st international symposium, TFP 2020, Krakow, Poland, February 13–14, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12222, 139-158 (2020).
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

Does sample-time emulation preserve exponential stability? (English) Zbl 07300860

Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 19, 8 p. (2020).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Mixed interpolatory and inference non-intrusive reduced order modeling with application to pollutants dispersion. arXiv:2012.07126

Preprint, arXiv:2012.07126 [math.DS] (2020).
BibTeX Cite
Full Text: arXiv

Functional law of the iterated logarithm for multiclass queues with preemptive priority service discipline: the underloaded and critically loaded cases. (English) Zbl 07229577

Li, Quan-Lin (ed.) et al., Stochastic models in reliability, network security and system safety. Essays dedicated to Professor Jinhua Cao on the occasion of his 80th birthday. Singapore: Springer. Commun. Comput. Inf. Sci. 1102, 344-360 (2019).
MSC:  68Mxx
PDFBibTeX XMLCite
Full Text: DOI

Functional law of the iterated logarithm for multiclass queues with preemptive priority service discipline: the overloaded case. (English) Zbl 07229576

Li, Quan-Lin (ed.) et al., Stochastic models in reliability, network security and system safety. Essays dedicated to Professor Jinhua Cao on the occasion of his 80th birthday. Singapore: Springer. Commun. Comput. Inf. Sci. 1102, 315-343 (2019).
MSC:  68Mxx
PDFBibTeX XMLCite
Full Text: DOI

Poster abstract: Relational differential dynamic logic. (English) Zbl 07120175

Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM). 284-285 (2019).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Poster abstract: Moore-machine filtering for timed and untimed pattern matching. (English) Zbl 07120169

Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM). 272-273 (2019).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Demo abstract: Sherlock – a tool for verification of neural network feedback systems. (English) Zbl 07120164

Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM). 262-263 (2019).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Reachability analysis for neural feedback systems using regressive polynomial rule inference. (English) Zbl 07120151

Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM). 157-168 (2019).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

A general framework for relational parametricity. (English) Zbl 1497.68126

Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 869-878 (2018).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Safety verification of nonlinear hybrid systems based on invariant clusters. (English) Zbl 1369.93185

Proceedings of the 20th ACM international conference on hybrid systems: computation and control, HSCC 2017, Pittsburgh, PA, USA, April 18–20, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4590-3). 163-172 (2017).
MSC:  93B40 93C30 68Q60 93C10
PDFBibTeX XMLCite
Full Text: DOI

Disjoint intersection types. (English) Zbl 1361.68046

Garrigue, Jacques (ed.) et al., Proceedings of the 21st ACM SIGPLAN international conference on functional programming, ICFP ’16, Nara, Japan, September 18–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4219-3). 364-377 (2016).
MSC:  68N18
PDFBibTeX XMLCite
Full Text: DOI

Executable relational specifications of polymorphic type systems using Prolog. (English) Zbl 1475.68052

Kiselyov, Oleg (ed.) et al., Functional and logic programming. 13th international symposium, FLOPS 2016, Kochi, Japan, March 4–6, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9613, 109-125 (2016).
MSC:  68N17 68N18
PDFBibTeX XMLCite
Full Text: DOI

Objects and subtyping in the \(\lambda\)-\(\Pi\)-calculus modulo. (English) Zbl 1367.68049

Herbelin, Hugo (ed.) et al., 20th international conference on types for proofs and programs, TYPES’14, Paris, France, May 12–15, 2014. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-88-0). LIPIcs – Leibniz International Proceedings in Informatics 39, 47-71 (2015).
PDFBibTeX XMLCite
Full Text: DOI

Logical relations for coherence of effect subtyping. (English) Zbl 1367.68059

Altenkirch, Thorsten (ed.), 13th international conference on typed lambda calculi and applications, TLCA’15, Warsaw, Poland, July 1–3, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-87-3). LIPIcs – Leibniz International Proceedings in Informatics 38, 107-122 (2015).
MSC:  68N30 03B40 68N18 68Q55 68T15
PDFBibTeX XMLCite
Full Text: DOI

Certified symbolic management of financial multi-party contracts. (English) Zbl 1360.68356

Proceedings of the 20th ACM SIGPLAN international conference on functional programming, ICFP ’15, Vancouver, Canada, September 1–3, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3669-7). 315-327 (2015).
MSC:  68N30 68N18 68Q55 91B40 91G99
PDFBibTeX XMLCite
Full Text: DOI

1ML – core and modules united (F-ing first-class modules). (English) Zbl 1360.68338

Proceedings of the 20th ACM SIGPLAN international conference on functional programming, ICFP ’15, Vancouver, Canada, September 1–3, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3669-7). 35-47 (2015).
PDFBibTeX XMLCite
Full Text: DOI

Numerically-aided deductive safety proof for a powertrain control system. (English) Zbl 1351.68150

Bogomolov, Sergiy (ed.) et al., Selected papers based on the presentations at the 7th and 8th international workshops on numerical software verification (NSV), Vienna, Austria, July 17–18, 2014 and April 13, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 317, 19-25 (2015).
MSC:  68Q60 68T15 93C30
PDFBibTeX XMLCite
Full Text: DOI

System F with coercion constraints. (English) Zbl 1394.03025

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. 34, 10 p. (2014).
MSC:  03B40 68N18
PDFBibTeX XMLCite
Full Text: DOI HAL

Model reduction of switched affine systems: a method based on balanced truncation and randomized optimization. (English) Zbl 1362.93028

Proceedings of the 17th ACM international conference on hybrid systems: computation and control, HSCC 2014, Berlin, Germany, April 15–17, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2732-9). 113-122 (2014).
PDFBibTeX XMLCite
Full Text: DOI

Functional programming for dynamic and large data with self-adjusting computation. (English) Zbl 1345.68042

Proceedings of the 19th ACM SIGPLAN international conference on functional programming, ICFP ’14, Gothenburg, Sweden, September 1–3, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2873-9). 227-240 (2014).
MSC:  68N18 05C85 68N19
PDFBibTeX XMLCite
Full Text: DOI

Automatic memory management based on program transformation using ownership. (English) Zbl 1453.68030

Garrigue, Jacques (ed.), Programming languages and systems. 12th Asian symposium, APLAS 2014, Singapore, Singapore, November 17–19, 2014, Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8858, 58-77 (2014).
MSC:  68N15 68N18
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software