UB Paderborn / Katalog / Suche / in CDI

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

EthIR: A Framework for High-Level Analysis of Ethereum Bytecode

Automated Technology for Verification and Analysis, p.513-520

Volltextzugriff (PDF)

Formal Techniques for Distributed Objects, Components, and Systems: 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

1st ed. 2016, 2016

Volltextzugriff (PDF)

Integrated Formal Methods: 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings

1st edition, 2014

Volltextzugriff (PDF)

Preface for selected and extended papers from Principles and Practice of Declarative Programming (PPDP'15)

Science of computer programming, 2017-11, Vol.147, p.1-2

Albert, Elvira

2017

Volltextzugriff (PDF)

Proceedings 11th Interaction and Concurrency Experience: Constrained DPOR: Avoiding Redundancies in the Exploration of Concurrent Programs

Electronic proceedings in theoretical computer science, 2018-10, Vol.279, p.2-2

Albert, Elvira

2018

Volltextzugriff (PDF)

Resource Analysis of Distributed and Concurrent Programs: Invited Talk at the 8th Workshop on Developments in Implicit Computational complExity and 5th Workshop on FOundational and Practical Aspects of Resource Analysis

Electronic proceedings in theoretical computer science, 2017-04, Vol.248, p.1-1

Albert, Elvira

2017

Volltextzugriff (PDF)

Cost analysis of object-oriented bytecode programs

Theoretical computer science, 2012-01, Vol.413 (1), p.142-159

2012

Volltextzugriff (PDF)

Don’t run on fumes—Parametric gas bounds for smart contracts

The Journal of systems and software, 2021-06, Vol.176, p.110923, Article 110923

2021

Volltextzugriff (PDF)

Super-optimization of Smart Contracts

ACM transactions on software engineering and methodology, 2022-10, Vol.31 (4), p.1-29, Article 70

2022

Volltextzugriff (PDF)

Ransomware Steals Your Phone. Formal Methods Rescue It

Formal Techniques for Distributed Objects, Components, and Systems, 2016, Vol.9688, p.212-221

2016

Volltextzugriff (PDF)

Running on Fumes: Preventing Out-of-Gas Vulnerabilities in Ethereum Smart Contracts Using Static Resource Analysis

Verification and Evaluation of Computer and Communication Systems, 2019, p.63-78

2019

Volltextzugriff (PDF)

Relaxed Effective Callback Freedom: A Parametric Correctness Condition for Sequential Modules With Callbacks

IEEE transactions on dependable and secure computing, 2023-05, Vol.20 (3), p.2256-2273

2023

Volltextzugriff (PDF)

Closed-Form Upper Bounds in Static Cost Analysis

Journal of automated reasoning, 2011-02, Vol.46 (2), p.161-203

2011

Volltextzugriff (PDF)

Optimal dynamic partial order reduction with context-sensitive independence and observers

The Journal of systems and software, 2023-08, Vol.202, p.111730, Article 111730

2023

Volltextzugriff (PDF)

When COSTA Met KeY: Verified Cost Bounds

The Logic of Software. A Tasting Menu of Formal Methods, 2022, Vol.13360, p.19-37

2022

Volltextzugriff (PDF)

A Formal, Resource Consumption-Preserving Translation from Actors with Cooperative Scheduling to Haskell

Fundamenta informaticae, 2020-01, Vol.177 (3-4), p.203-234

2020

Volltextzugriff (PDF)

Logic-Based Program Synthesis and Transformation: 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers

Albert, Elvira

1, 2013

Volltextzugriff (PDF)

Resource Analysis driven by (Conditional) Termination Proofs

Theory and practice of logic programming, 2019-09, Vol.19 (5-6), p.722-739

2019

Volltextzugriff (PDF)

Taming callbacks for smart contract modularity

Proceedings of ACM on programming languages, 2020-11, Vol.4 (OOPSLA), p.1-30, Article 209

2020

Volltextzugriff (PDF)

Multiple Mutation Testing from FSM

Formal Techniques for Distributed Objects, Components, and Systems, 2016, Vol.9688, p.222-238

2016

Volltextzugriff (PDF)

Formal Techniques for Distributed Objects, Components, and Systems: 36th IFIP WG 6. 1 International Conference, FORTE 2016, Held As Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

1, 2016

Volltextzugriff (PDF)

Proving Properties of Co-logic Programs with Negation by Program Transformations

Logic-Based Program Synthesis and Transformation, p.213-227

Volltextzugriff (PDF)

Formal Techniques for Distributed Objects, Components, and Systems: 36th MP WG 6.1 International Conference, FORTE 2016 Held As Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016 Heraklion, Crete, Greece, June 6-9, 2016 Proceedings

1, 2016

Volltextzugriff (PDF)

Formal Techniques for Distributed Objects, Components, and Systems: 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6–9, 2016

2016

Volltextzugriff (PDF)

Formal Techniques for Distributed Objects, Components, and Systems: 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

2016

Volltextzugriff (PDF)

1 – 25 von 523

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(414)
Mit Volltextzugriff
(480)

Publikationsform

Sprache

1 weiteren anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Thema

Science & Technology
(315)
Technology
(171)
Computer Science
(155)
Life Sciences & Biomedicine
(126)
Computer Science, Theory & Methods
(106)
Computer Science, Software Engineering
(98)
Humans
(83)
Science & Technology - Other Topics
(58)
Male
(57)
Female
(54)
Logic
(44)
Middle Aged
(41)
Physical Sciences
(40)
Computer Programming / Software Development
(39)
Software Engineering
(30)
Chemistry
(27)
Computer Science, Information Systems
(26)
Aged
(24)
Risk Factors
(24)
Static Analysis
(23)

15 weitere anzeigen...

Weniger anzeigen...

Zeitschrift / Serie

5 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

Menü

Weitere Dienste

Einstellungen

EthIR: A Framework for High-Level Analysis of Ethereum Bytecode

Formal Techniques for Distributed Objects, Components, and Systems: 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

Integrated Formal Methods: 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings

Preface for selected and extended papers from Principles and Practice of Declarative Programming (PPDP'15)

Proceedings 11th Interaction and Concurrency Experience: Constrained DPOR: Avoiding Redundancies in the Exploration of Concurrent Programs

Resource Analysis of Distributed and Concurrent Programs: Invited Talk at the 8th Workshop on Developments in Implicit Computational complExity and 5th Workshop on FOundational and Practical Aspects of Resource Analysis

Cost analysis of object-oriented bytecode programs

Don’t run on fumes—Parametric gas bounds for smart contracts

Super-optimization of Smart Contracts

Ransomware Steals Your Phone. Formal Methods Rescue It

Running on Fumes: Preventing Out-of-Gas Vulnerabilities in Ethereum Smart Contracts Using Static Resource Analysis

Relaxed Effective Callback Freedom: A Parametric Correctness Condition for Sequential Modules With Callbacks

Closed-Form Upper Bounds in Static Cost Analysis

Optimal dynamic partial order reduction with context-sensitive independence and observers

When COSTA Met KeY: Verified Cost Bounds

A Formal, Resource Consumption-Preserving Translation from Actors with Cooperative Scheduling to Haskell

Logic-Based Program Synthesis and Transformation: 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers

Resource Analysis driven by (Conditional) Termination Proofs

Taming callbacks for smart contract modularity

Multiple Mutation Testing from FSM

Formal Techniques for Distributed Objects, Components, and Systems: 36th IFIP WG 6. 1 International Conference, FORTE 2016, Held As Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

Proving Properties of Co-logic Programs with Negation by Program Transformations

Formal Techniques for Distributed Objects, Components, and Systems: 36th MP WG 6.1 International Conference, FORTE 2016 Held As Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016 Heraklion, Crete, Greece, June 6-9, 2016 Proceedings

Formal Techniques for Distributed Objects, Components, and Systems: 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6–9, 2016

Formal Techniques for Distributed Objects, Components, and Systems: 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

Suchergebnisse filtern