| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Santiago Escobar 0001, Raúl López-Rueda, Julia Sapiña |
Symbolic Analysis by Using Folding Narrowing with Irreducibility and SMT Constraints.  |
FTSCS  |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Kyungmin Bae |
Bounded STL Model Checking for Hybrid Systems (Invited Talk). |
FTSCS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Gleirscher, Anne E. Haxthausen, Jan Peleska 0001 |
Probabilistic Risk Assessment of an Obstacle Detection System for GoA 4 Freight Trains. |
FTSCS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Aïssata Maiga, Cyrille Artho, Florian Gilcher, Yannick Moy |
Does Rust SPARK Joy? Safe Bindings from Rust to SPARK, Applied to the BBQueue Library. |
FTSCS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Cyrille Artho, Peter Csaba Ölveczky (eds.) |
Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2023, Cascais, Portugal, 22 October 2023 |
FTSCS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Caz Saaltink, Stefano M. Nicoletti, Matthias Volk 0001, Ernst Moritz Hahn, Mariëlle Stoelinga |
Solving Queries for Boolean Fault Tree Logic via Quantified SAT. |
FTSCS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaime Cuartas, David Cortés, Joan S. Betancourt, Jesús Aranda, José I. García, Andrés M. Valencia, James Ortiz |
Formal Verification of a Mechanical Ventilator using UPPAAL. |
FTSCS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Byeongjee Kang, Kyungmin Bae |
Symbolic Reachability Analysis of Distributed Systems using Narrowing and Heuristic Search. |
FTSCS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Sharar Ahmadi, Brijesh Dongol, Matt Griffin |
Proving Memory Access Violations in Isabelle/HOL. |
FTSCS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Samuel D. Pollard, Robert C. Armstrong, John Bender, Geoffrey C. Hulette, Raheel S. Mahmood, Karla Morris, Blake C. Rawlings, Jon M. Aytac |
Q: A Sound Verification Framework for Statecharts and Their Implementations. |
FTSCS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Étienne André, Shapagat Bolat, Engel Lefaucheux, Dylan Marinho |
strategFTO: Untimed Control for Timed Opacity. |
FTSCS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaeseo Lee, Sangki Kim, Kyungmin Bae |
Bounded Model Checking of PLC ST Programs using Rewriting Modulo SMT. |
FTSCS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Britten, Steve Reeves |
Modelling a Blockchain for Smart Contract Verification using DeepSEA. |
FTSCS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Beyer 0001 |
Cooperative Verification: Towards Reliable Safety-Critical Systems (Invited Talk). |
FTSCS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiawei Chen, José Luiz Vargas de Mendonça, Shayan Jalili, Bereket Ayele, Bereket Ngussie Bekele, Zhemin Qu, Pranjal Sharma, Tigist Shiferaw, Yicheng Zhang, Jean-Baptiste Jeannin |
Synchronous Programming and Refinement Types in Robotics: From Verification to Implementation. |
FTSCS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Cyrille Artho, Peter Csaba Ölveczky (eds.) |
Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2022, Auckland, New Zealand, 7 December 2022 |
FTSCS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaime Arias 0001, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, Fredrik Rømming |
Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata. |
FTSCS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Abdelghany, Sofiène Tahar |
Formal Probabilistic Risk Assessment of a Nuclear Power Plant. |
FTSCS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Osman Hasan, Frédéric Mallet (eds.) |
Formal Techniques for Safety-Critical Systems - 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers |
FTSCS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Neeraj Kumar Singh 0001, Yamine Aït Ameur, Dominique Méry, David Navarre, Philippe A. Palanque, Marc Pantel |
Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 661. |
FTSCS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Quang Thinh Trac, Mizuhito Ogawa |
Formal Semantics Extraction from MIPS Instruction Manual. |
FTSCS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Dorra Ben Khalifa, Matthieu Martel, Assalé Adjé |
POP: A Tuning Assistant for Mixed-Precision Floating-Point Computations. |
FTSCS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Shenghao Yuan, Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali, Tiexin Wang, Yong Zhou |
Automated Ada Code Generation from Synchronous Dataflow Programs on Multicore: Approach and Industrial Study. |
FTSCS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Cyrille Artho, Peter Csaba Ölveczky (eds.) |
Formal Techniques for Safety-Critical Systems - 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers |
FTSCS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodrigo Saar de Moraes, Simin Nadjm-Tehrani |
Verifying Resource Adequacy of Networked IMA Systems at Concept Level. |
FTSCS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Adnan Rashid, Umair Siddique, Sofiène Tahar |
Formal Verification of Cyber-Physical Systems Using Theorem Proving. |
FTSCS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Elisabetta De Maria, Thibaud L'Yvonnet, Sabine Moisan, Jean-Paul Rigault |
Probabilistic Activity Recognition for Serious Games with Applications in Medicine. |
FTSCS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Filippos Pantekis, Phillip James, Liam O'Reilly, Daniel Archambault, Faron Moller |
Visualising Railway Safety Verification. |
FTSCS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Emily Yu, Martina Seidl, Armin Biere |
A Framework for Model Checking Against CTLK Using Quantified Boolean Formulas. |
FTSCS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Nils Timm, Stefan Gruner |
Abstraction Refinement with Path Constraints for 3-Valued Bounded Model Checking. |
FTSCS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Liana Mikaelyan, Sascha Müller 0005, Andreas Gerndt, Thomas Noll 0001 |
Synthesizing and Optimizing FDIR Recovery Strategies from Fault Trees. |
FTSCS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Asad Ahmed, Osman Hasan, Falah Awwad |
Formal Stability Analysis of Control Systems. |
FTSCS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | John Törnblom, Simin Nadjm-Tehrani |
Formal Verification of Random Forests in Safety-Critical Applications. |
FTSCS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | William da Silva, Max Bureck, Ina Schieferdecker, Christian Hein |
Model Transformation with Triple Graph Grammars and Non-terminal Symbols. |
FTSCS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Qurat Ul Ain, Osman Hasan |
Formal Timing Analysis of Digital Circuits. |
FTSCS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Étienne André |
A Benchmark Library for Parametric Timed Model Checking. |
FTSCS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuanrui Zhang, Hengyang Wu, Yixiang Chen, Frédéric Mallet |
Embedding CCSL into Dynamic Logic: A Logical Approach for the Verification of CCSL Specifications. |
FTSCS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Karla Morris, Colin F. Snook, Thai Son Hoang, Robert C. Armstrong, Michael J. Butler |
Refinement of Statecharts with Run-to-Completion Semantics. |
FTSCS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Maryam Kamali, Sven Linker, Michael Fisher 0001 |
Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time. |
FTSCS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Cyrille Artho, Peter Csaba Ölveczky (eds.) |
Formal Techniques for Safety-Critical Systems - 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers |
FTSCS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Brijesh Dongol |
An Interval Logic for Stream-Processing Functions: A Convolution-Based Construction. |
FTSCS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Imran Hafeez Abbasi, Faiq Khalid Lodhi, Awais Mehmood Kamboh, Osman Hasan |
Formal Verification of Gate-Level Multiple Side Channel Parameters to Detect Hardware Trojans. |
FTSCS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro de Carvalho Gomes, Dilian Gurov, Marieke Huisman |
Specification and Verification of Synchronization with Condition Variables. |
FTSCS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Baptiste Parquier, Laurent Rioux, Rafik Henia, Romain Soulat, Olivier H. Roux, Didier Lime, Étienne André |
Applying Parametric Model-Checking Techniques for Reusing Real-Time Critical Systems. |
FTSCS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Shuichi Sato, Shogo Hattori, Hiroyuki Seki, Yutaka Inamori, Shoji Yuen |
Automating Time Series Safety Analysis for Automotive Control Systems in STPA Using Weighted Partial Max-SMT. |
FTSCS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Nils Timm, Stefan Gruner |
Parameterised Verification of Stabilisation Properties via Conditional Spotlight Abstraction. |
FTSCS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Cyrille Artho, Peter Csaba Ölveczky (eds.) |
Formal Techniques for Safety-Critical Systems - Fourth International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers |
FTSCS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Banach, Huibiao Zhu |
Shared-Variable Concurrency, Continuous Behaviour and Healthiness for Critical Cyberphysical Systems. |
FTSCS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Eduard Kamburjan, Reiner Hähnle |
Uniform Modeling of Railway Operations. |
FTSCS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Maissa Elleuch, Osman Hasan, Sofiène Tahar, Mohamed Abid |
Formal Probabilistic Analysis of a WSN-Based Monitoring Framework for IoT Applications. |
FTSCS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Étienne André |
What's Decidable About Parametric Timed Automata? |
FTSCS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Xi Wu 0005, Huibiao Zhu |
Probabilistic Analysis of a Calculus for Wireless Sensor Networks. |
FTSCS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus Becker 0001, Sebastian Voss |
A Formal Model and Analysis of Feature Degradation in Fault-Tolerant Systems. |
FTSCS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Majdi Ghadhab, Matthias Kuntz, Dmitrii Kuvaiskii, Christof Fetzer |
A Controller Safety Concept Based on Software-Implemented Fault Tolerance for Fail-Operational Automotive Applications. |
FTSCS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Gruner, Apurva Kumar, Tom Maibaum |
Towards a Body of Knowledge in Formal Methods for the Railway Domain: Identification of Settled Knowledge. |
FTSCS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Toshiaki Aoki, Kriangkrai Traichaiyaporn, Yuki Chiba, Masahiro Matsubara, Masataka Nishi, Fumio Narisawa |
Modeling Safety Requirements of ISO26262 Using Goal Trees and Patterns. |
FTSCS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Cyrille Artho, Peter Csaba Ölveczky (eds.) |
Formal Techniques for Safety-Critical Systems - Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers |
FTSCS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Nardone, Ugo Gentile, Massimo Benerecetti, Adriano Peron, Valeria Vittorini, Stefano Marrone 0001, Nicola Mazzocca |
Modeling Railway Control Systems in Promela. |
FTSCS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Hsin-Hung Lin, Yoichi Omori, Shigeru Kusakabe, Keijiro Araki |
Towards Verifying VDM Using SPIN. |
FTSCS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo González de Aledo, Pablo Sánchez Espeso, Ralf Huuck |
An Approach to Static-Dynamic Software Analysis. |
FTSCS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Min Zhang 0002, Frédéric Mallet |
An Executable Semantics of Clock Constraint Specification Language and Its Applications. |
FTSCS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Fahd Arshad, Hassan Mehmood, Fauzan Raza, Osman Hasan |
g-HOL: A Graphical User Interface for the HOL Proof Assistant. |
FTSCS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Axel Legay, Louis-Marie Traonouez |
Statistical Model Checking of Simulink Models with Plasma Lab. |
FTSCS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | José Meseguer 0001 |
Variant-Based Satisfiability in Initial Algebras. |
FTSCS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Jackson R. Mayo, Robert C. Armstrong, Geoffrey C. Hulette |
Leveraging Abstraction to Establish Out-of-Nominal Safety Properties. |
FTSCS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Phillip James, Andrew Lawrence, Markus Roggenbach, Monika Seisenberger |
Towards Safety Analysis of ERTMS/ETCS Level 2 in Real-Time Maude. |
FTSCS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Abdeldjalil Boudjadar, Juergen Dingel, Boris Madzar, Jin Hyun Kim |
Compositional Predictability Analysis of Mixed Critical Real Time Systems. |
FTSCS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Raluca Marinescu, Henrik Kaijser, Marius Mikucionis, Cristina Seceleanu, Henrik Lönn, Alexandre David |
Analyzing Industrial Architectural Models by Simulation and Model-Checking. |
FTSCS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Changil Choe, Univan Ahn, Song Han 0005 |
Checking Integral Real-Time Automata for Extended Linear Duration Invariants. |
FTSCS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Dieu-Huong Vu, Yuki Chiba, Kenro Yatake, Toshiaki Aoki |
Checking the Conformance of a Promela Design to its Formal Specification in Event-B. |
FTSCS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus Havelund, Rajeev Joshi |
Experience with Rule-Based Analysis of Spacecraft Logs. |
FTSCS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaco Jacobs, Andrew C. Simpson |
A Formal Model of SysML Blocks Using CSP for Assured Systems Engineering. |
FTSCS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Syed Ali Asadullah Bukhari, Faiq Khalid Lodhi, Osman Hasan, Muhammad Shafique 0001, Jörg Henkel |
Formal Verification of Distributed Task Migration for Thermal Management in On-Chip Multi-core Systems Using nuXmv. |
FTSCS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Georgiana Caltais |
Expression-Based Aliasing for OO-languages. |
FTSCS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Linh Vu Hong, Anne E. Haxthausen, Jan Peleska 0001 |
Formal Modeling and Verification of Interlocking Systems Featuring Sequential Release. |
FTSCS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Nardone, Ugo Gentile, Adriano Peron, Massimo Benerecetti, Valeria Vittorini, Stefano Marrone 0001, Renato De Guglielmo, Nicola Mazzocca, Luigi Velardi |
Dynamic State Machines for Formalizing Railway Control System Specifications. |
FTSCS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Cyrille Artho, Peter Csaba Ölveczky (eds.) |
Formal Techniques for Safety-Critical Systems - Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29-30, 2013. Revised Selected Papers |
FTSCS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Timon Kelter, Peter Marwedel |
Parallelism Analysis: Precise WCET Values for Complex Multi-Core Systems. |
FTSCS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominik Klein 0001 |
Key-Secrecy of PACE with OTS/CafeOBJ. |
FTSCS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Noll 0001 |
Safety, Dependability and Performance Analysis of Aerospace Systems. |
FTSCS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Haitao Zhang, Toshiaki Aoki, Yuki Chiba |
A Spin-Based Approach for Checking OSEK/VDX Applications. |
FTSCS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Amira Methni, Matthieu Lemerre, Belgacem Ben Hedia, Serge Haddad, Kamel Barkaoui |
Specifying and Verifying Concurrent C Programs with TLA+. |
FTSCS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Mallet, Grygoriy Zholtkevych |
Coalgebraic Semantic Model for the Clock Constraint Specification Language. |
FTSCS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Mamoun Filali, Meriem Ouederni, Jean-Baptiste Raclet |
A Normalized Form for FIFO Protocols Traces, Application to the Replay of Mode-based Protocols. |
FTSCS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Colin Pilbrow, Robi Malik |
Compositional Nonblocking Verification with Always Enabled Events and Selfloop-Only Events. |
FTSCS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Khaza Anuarul Hoque, Otmane Aït Mohamed, Yvon Savaria, Claude Thibeault |
Early Analysis of Soft Error Effects for Aerospace Applications Using Probabilistic Model Checking. |
FTSCS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | David J. Pearce 0001, Lindsay Groves |
Reflections on Verifying Software with Whiley. |
FTSCS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Ware, Robi Malik, Sahar Mohajerani, Martin Fabian |
Certainly Unsupervisable States. |
FTSCS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Kriangkrai Traichaiyaporn, Toshiaki Aoki |
Refinement Tree and Its Patterns: A Graphical Approach for Event-B Modeling. |
FTSCS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Cyrille Artho, Koji Hayamizu, Rudolf Ramler, Yoriyuki Yamagata |
With an Open Mind: How to Write Good Models. |
FTSCS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Chen-Wei Wang, Jonathan S. Ostroff, Simon Hudon |
Precise Documentation and Validation of Requirements. |
FTSCS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan S. Ostroff, Chen-Wei Wang, Simon Hudon, Yang Liu 0003, Jun Sun 0001 |
TTM/PAT: Specifying and Verifying Timed Transition Models. |
FTSCS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Zeynab Sabahi-Kaviani, Ramtin Khosravi, Marjan Sirjani, Peter Csaba Ölveczky, Ehsan Khamespanah |
Formal Semantics and Analysis of Timed Rebeca in Real-Time Maude. |
FTSCS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Simpson, Jaco Jacobs |
On the Cloud-Enabled Refinement Checking of Railway Signalling Interlockings. |
FTSCS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Gustavo Carvalho, Flávia de Almeida Barros, Florian Lapschies, Uwe Schulze, Jan Peleska 0001 |
Model-Based Testing from Controlled Natural Language Requirements. |
FTSCS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Johanna Nellen, Erika Ábrahám, Xin Chen 0002, Pieter Collins |
Counterexample Generation for Hybrid Automata. |
FTSCS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Yongjian Li, Jun Pang 0001 |
A Strand Space Approach to Provable Anonymity. |
FTSCS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Linna Pang, Chen-Wei Wang, Mark Lawford, Alan Wassyng |
Formalizing and Verifying Function Blocks Using Tabular Expressions and PVS. |
FTSCS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Jagadish Suryadevara, Gaetana Sapienza, Cristina Cerschi Seceleanu, Tiberiu Seceleanu, Stein Erik Ellevseth, Paul Pettersson |
Wind Turbine System: An Industrial Case Study in Formal Modeling and Verification. |
FTSCS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian J. Hayes |
Towards Structuring System Specifications with Time Bands Using Layers of Rely-Guarantee Conditions. |
FTSCS |
2013 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license