Abstract is missing.
- RV-TheToP: Runtime Verification from Theory to the Industry Practice (Track Introduction)Ezio Bartocci, Yliès Falcone. 3-8 [doi]
- Opportunities and Challenges in Monitoring Cyber-Physical Systems SecurityBorzoo Bonakdarpour, Jyotirmoy V. Deshmukh, Miroslav Pajic. 9-18 [doi]
- Migrating Monitors + ABE: A Suitable Combination for Secure IoT?Gordon J. Pace, Pablo Picazo-Sanchez, Gerardo Schneider. 19-24 [doi]
- Capturing Inter-process Communication for Runtime Verification on AndroidAlex Villazón, Haiyang Sun, Walter Binder. 25-31 [doi]
- Considering Academia-Industry Projects Meta-characteristics in Runtime Verification DesignChristian Colombo, Gordon J. Pace. 32-41 [doi]
- Flexible Monitor Deployment for Runtime Verification of Large Scale SoftwareTeng Zhang, Gregory Eakman, Insup Lee, Oleg Sokolsky. 42-50 [doi]
- Increasing the Reusability of Enforcers with Lifecycle EventsOliviero Riganelli, Daniela Micucci, Leonardo Mariani. 51-57 [doi]
- BDDs on the RunKlaus Havelund, Doron Peled. 58-69 [doi]
- Verifying Real-World Software with Contracts for ConcurrencyJoão M. Lourenço. 70-73 [doi]
- Formal Methods in Industrial Practice - Bridging the Gap (Track Summary)Michael Felderer, Dilian Gurov, Marieke Huisman, Björn Lisper, Rupert Schlick. 77-81 [doi]
- Model-Based Testing for Avionic Systems Proven Benefits and Further ChallengesJan Peleska 0001, Jörg Brauer, Wen-ling Huang. 82-103 [doi]
- Test Case Generation with PathCrawler/LTest: How to Automate an Industrial Testing ProcessSébastien Bardin, Nikolai Kosmatov, Bruno Marre, David Mentré, Nicky Williams. 104-120 [doi]
- Pitfalls in Applying Model Learning to Industrial Legacy SoftwareOmar al Duhaiby, Arjan J. Mooij, Hans van Wezep, Jan Friso Groote. 121-138 [doi]
- Formal Verification in Automotive Industry: Enablers and ObstaclesMattias Nyberg, Dilian Gurov, Christian Lidström, Andreas Rasmusson, Jonas Westman. 139-158 [doi]
- Scalability of Deductive Verification Depends on Method Call TreatmentAlexander Knüppel, Thomas Thüm, Carsten Pardylla, Ina Schaefer. 159-175 [doi]
- Java Automated Deductive Verification in Practice: Lessons from Industrial Proof-Based ProjectsDavid R. Cok. 176-193 [doi]
- Security Filters for IoT Domain IsolationDominique Bolignano, Florence Plateau. 194-211 [doi]
- 20 Years of UPPAAL Enabled Industrial Model-Based Validation and BeyondKim G. Larsen, Florian Lorber, Brian Nielsen. 212-229 [doi]
- Verification of Operating System Monolithic Kernels Without ExtensionsEvgeny Novikov, Ilja S. Zakharov. 230-248 [doi]
- A Proposal of an Example and Experiments Repository to Foster Industrial Adoption of Formal MethodsRupert Schlick, Michael Felderer, István Majzik, Roberto Nardone, Alexander Raschke, Colin F. Snook, Valeria Vittorini. 249-272 [doi]
- Reliable Smart Contracts: State-of-the-Art, Applications, Challenges and Future DirectionsCésar Sánchez, Gerardo Schneider, Martin Leucker. 275-279 [doi]
- Smart Contracts and Opportunities for Formal MethodsAndrew Miller, Zhicheng Cai, Somesh Jha. 280-299 [doi]
- Contracts over Smart Contracts: Recovering from Violations DynamicallyChristian Colombo, Joshua Ellul, Gordon J. Pace. 300-315 [doi]
- Security Analysis of Smart Contracts in DatalogPetar Tsankov. 316-322 [doi]
- Temporal Properties of Smart ContractsIlya Sergey, Amrit Kumar 0001, Aquinas Hobor. 323-338 [doi]
- Temporal Aspects of Smart Contracts for Financial DerivativesChristopher D. Clack, Gabriel Vanca. 339-355 [doi]
- Marlowe: Financial Contracts on BlockchainPablo Lamela Seijas, Simon J. Thompson. 356-375 [doi]
- SMT-Based Verification of Solidity Smart ContractsLeonardo Alt, Christian Reitwießner. 376-388 [doi]
- Blockchains as Kripke Models: An Analysis of Atomic Cross-Chain SwapYoichi Hirai. 389-404 [doi]
- A Language-Independent Approach to Smart Contract VerificationXiaohong Chen, Daejun Park 0001, Grigore Rosu. 405-413 [doi]
- Towards Adding Variety to SimplicityNachiappan Valliappan, Solène Mirliaz, Elisabet Lobo Vesga, Alejandro Russo. 414-431 [doi]
- Fun with Bitcoin Smart ContractsMassimo Bartoletti, Tiziana Cimoli, Roberto Zunino. 432-449 [doi]
- Computing Exact Worst-Case Gas Consumption for Smart ContractsMatteo Marescotti, Martin Blicha, Antti E. J. Hyvärinen, Sepideh Asadi, Natasha Sharygina. 450-465 [doi]
- Digital Transformation Trends: Industry 4.0, Automation, and AI - Industrial Track at ISoLA 2018Axel Hessenkämper, Falk Howar, Andreas Rausch. 469-471 [doi]
- A Methodology for Combinatory Process Synthesis: Process Variability in Clinical PathwaysTristan Schäfer, Frederik Möller, Anja Burmann, Yevgen Pikus, Norbert Weißenberg, Marcus Hintze, Jakob Rehof. 472-486 [doi]
- Automatic Composition of Rough Solution Possibilities in the Target Planning of Factory Planning Projects by Means of Combinatory LogicJan Winkels, Julian Graefenstein, Tristan Schäfer, David Scholz, Jakob Rehof, Michael Henke. 487-503 [doi]
- GOLD: Global Organization aLignment and Decision - Towards the Hierarchical Integration of Heterogeneous Business ModelsBarbara Steffen, Steve Boßelmann. 504-527 [doi]