default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDISoLA 2018: Limassol, Cyprus
- Tiziana Margaria, Bernhard Steffen:
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV. Lecture Notes in Computer Science 11247, Springer 2018, ISBN 978-3-030-03426-9
Runtime Verification from the Theory to the Industry Practice
- Ezio Bartocci
, Yliès Falcone:
RV-TheToP: Runtime Verification from Theory to the Industry Practice (Track Introduction). 3-8 - Borzoo Bonakdarpour, Jyotirmoy V. Deshmukh, Miroslav Pajic:
Opportunities and Challenges in Monitoring Cyber-Physical Systems Security. 9-18 - Gordon J. Pace, Pablo Picazo-Sanchez, Gerardo Schneider:
Migrating Monitors + ABE: A Suitable Combination for Secure IoT? 19-24 - Alex Villazón, Haiyang Sun, Walter Binder:
Capturing Inter-process Communication for Runtime Verification on Android. 25-31 - Christian Colombo, Gordon J. Pace:
Considering Academia-Industry Projects Meta-characteristics in Runtime Verification Design. 32-41 - Teng Zhang, Gregory Eakman, Insup Lee, Oleg Sokolsky:
Flexible Monitor Deployment for Runtime Verification of Large Scale Software. 42-50 - Oliviero Riganelli, Daniela Micucci, Leonardo Mariani:
Increasing the Reusability of Enforcers with Lifecycle Events. 51-57 - Klaus Havelund, Doron Peled:
BDDs on the Run. 58-69 - João M. Lourenço:
Verifying Real-World Software with Contracts for Concurrency. 70-73
Formal Methods in Industrial Practice - Bridging the Gap
- Michael Felderer, Dilian Gurov, Marieke Huisman, Björn Lisper, Rupert Schlick:
Formal Methods in Industrial Practice - Bridging the Gap (Track Summary). 77-81 - Jan Peleska, Jörg Brauer, Wen-ling Huang:
Model-Based Testing for Avionic Systems Proven Benefits and Further Challenges. 82-103 - Sébastien Bardin, Nikolai Kosmatov, Bruno Marre, David Mentré, Nicky Williams:
Test Case Generation with PathCrawler/LTest: How to Automate an Industrial Testing Process. 104-120 - Omar al Duhaiby, Arjan J. Mooij, Hans van Wezep, Jan Friso Groote:
Pitfalls in Applying Model Learning to Industrial Legacy Software. 121-138 - Mattias Nyberg, Dilian Gurov, Christian Lidström, Andreas Rasmusson, Jonas Westman:
Formal Verification in Automotive Industry: Enablers and Obstacles. 139-158 - Alexander Knüppel, Thomas Thüm, Carsten Pardylla, Ina Schaefer:
Scalability of Deductive Verification Depends on Method Call Treatment. 159-175 - David R. Cok:
Java Automated Deductive Verification in Practice: Lessons from Industrial Proof-Based Projects. 176-193 - Dominique Bolignano, Florence Plateau:
Security Filters for IoT Domain Isolation. 194-211 - Kim G. Larsen, Florian Lorber, Brian Nielsen:
20 Years of UPPAAL Enabled Industrial Model-Based Validation and Beyond. 212-229 - Evgeny Novikov, Ilja S. Zakharov:
Verification of Operating System Monolithic Kernels Without Extensions. 230-248 - Rupert Schlick, Michael Felderer, István Majzik, Roberto Nardone, Alexander Raschke, Colin F. Snook, Valeria Vittorini:
A Proposal of an Example and Experiments Repository to Foster Industrial Adoption of Formal Methods. 249-272
Reliable Smart Contracts: State-of-the-art, Applications, Challenges and Future Directions
- César Sánchez, Gerardo Schneider, Martin Leucker:
Reliable Smart Contracts: State-of-the-Art, Applications, Challenges and Future Directions. 275-279 - Andrew Miller, Zhicheng Cai, Somesh Jha:
Smart Contracts and Opportunities for Formal Methods. 280-299 - Christian Colombo, Joshua Ellul, Gordon J. Pace:
Contracts over Smart Contracts: Recovering from Violations Dynamically. 300-315 - Petar Tsankov:
Security Analysis of Smart Contracts in Datalog. 316-322 - Ilya Sergey, Amrit Kumar, Aquinas Hobor:
Temporal Properties of Smart Contracts. 323-338 - Christopher D. Clack, Gabriel Vanca:
Temporal Aspects of Smart Contracts for Financial Derivatives. 339-355 - Pablo Lamela Seijas, Simon J. Thompson:
Marlowe: Financial Contracts on Blockchain. 356-375 - Leonardo Alt, Christian Reitwießner:
SMT-Based Verification of Solidity Smart Contracts. 376-388 - Yoichi Hirai:
Blockchains as Kripke Models: An Analysis of Atomic Cross-Chain Swap. 389-404 - Xiaohong Chen, Daejun Park, Grigore Rosu:
A Language-Independent Approach to Smart Contract Verification. 405-413 - Nachiappan Valliappan, Solène Mirliaz, Elisabet Lobo Vesga, Alejandro Russo:
Towards Adding Variety to Simplicity. 414-431 - Massimo Bartoletti, Tiziana Cimoli, Roberto Zunino:
Fun with Bitcoin Smart Contracts. 432-449 - Matteo Marescotti, Martin Blicha, Antti E. J. Hyvärinen, Sepideh Asadi, Natasha Sharygina:
Computing Exact Worst-Case Gas Consumption for Smart Contracts. 450-465
Industrial Day
- Axel Hessenkämper, Falk Howar, Andreas Rausch:
Digital Transformation Trends: Industry 4.0, Automation, and AI - Industrial Track at ISoLA 2018. 469-471 - Tristan Schäfer, Frederik Möller, Anja Burmann, Yevgen Pikus, Norbert Weißenberg, Marcus Hintze, Jakob Rehof:
A Methodology for Combinatory Process Synthesis: Process Variability in Clinical Pathways. 472-486 - Jan Winkels, Julian Graefenstein, Tristan Schäfer, David Scholz, Jakob Rehof, Michael Henke:
Automatic Composition of Rough Solution Possibilities in the Target Planning of Factory Planning Projects by Means of Combinatory Logic. 487-503 - Barbara Steffen, Steve Boßelmann:
GOLD: Global Organization aLignment and Decision - Towards the Hierarchical Integration of Heterogeneous Business Models. 504-527
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-12 20:47 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
