Software Formal Methods topics for presentation

Presentation topics related to Software Formal Methods

1. A survey on service composition approaches: From industrial standards to formal methods
2. An entry point for formal methods: Specification and analysis of event logs
3. BP: Formal proofs, the fine print and side effects
4. Formal specification generator for KAOS: model transformation approach to generate formal specifications from KAOS requirements models
5. Introducing formal methods to existing processes
6. Formal analysis and design for engineering security (FADES)
7. The role of formal methods in developing a distributed railway interlocking system
8. Formal software analysis emerging trends in software model checking
9. Integrating formal methods tools into undergraduate computer science curriculum
10. Lessons from the application of formal methods to the design of a storm surge barrier control system
11. Integrated Formal Methods: Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings.
12. Formal methods in a system-of-systems development
13. From “formal methods” to system modeling
14. Software model checking: The VeriSoft approach
15. Integrated Formal Methods
16. Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25 …
17. Formal models for informal GUI designs
18. Use of semi-formal and formal methods in requirement engineering of ILMS
19. Why Formal Methods Are Considered for Safety Critical Systems?
20. Formal Methods for Data-Centric Web Services: From Model to Implementation
21. Formal methods for test sequence generation
22. Developing quality software systems using the SOFL formal engineering method
23. Formal Methods
24. Triumphs and challenges for the industrial application of model-oriented formal methods
25. Formal Validation of HCI User Tasks.
26. Middleware reconfiguration relying on formal methods
27. An experience in the formal verification of industrial software
28. Combining UCMs and formal methods for representing and checking the validity of scenarios as user requirements
29. Formal methods and analysis in software product line engineering: of FMSPLE workshop series
30. Perfect developer: a tool for object-oriented formal specification and refinement
31. Formal methods in the Robin project: Specification and verification of the Nova microhypervisor
32. Formal methods for privacy
33. Learning-based software testing: a tutorial
34. Rigorous design of robot software: A formal component-based approach
35. Formal Methods in Practice: Analysis and Application of Formal Modeling to Information Systems
36. Triumphs and Challenges for Model-Oriented Formal Methods: The VDM++ Experience

37. The guide to the software engineering body of knowledge
38. Fault tree and formal methods in system safety analysis
39. Formal methods and extreme programming
40. Formal Methods For Verification Based Software Inspection
41. Formal verification of industrial critical software
42. Automating context description for software formal verification
43. On the concept of variable roles and its use in software analysis
44. Formal methods for modeling biological regulatory networks
45. Teaching formal methods in computer science undergraduates
46. Using design patterns in formal methods: An Event-B approach
47. The use of formal methods of verification and validation in npp design
48. Practical application of formal methods for specification and analysis of software architecture
49. Integrating semi-formal and formal software specification techniques
50. Modelling High Integrity Transport Systems by Formal Methods
51. Using mCRL2 for the analysis of software product lines
52. Formal methods in manufacturing
53. Seamless model driven systems engineering based on formal models
54. Exploring Applications of Formal Methods in the INSPEX Project
55. Measuring class coupling and cohesion: a formal metamodel approach
56. Software architecture: a roadmap
57. A hazard analysis method for systematic identification of safety requirements for user interface software in medical devices
58. Comparing detection methods for software requirements inspections: A replicated experiment
59. A review of object-oriented approaches in formal methods
60. Benefits of applying formal methods to industrial control software
61. Code generation from formal models for automatic RTOS portability
62. Model checking of software for microcontrollers
63. Abstraction of formal specifications from program code
64. Adaptable model-driven engineering for formal methods integration with agile techniques for design of software systems
65. Why, how and what should be taught about Formal Methods?
66. Formal Methods–Mathematics, Theory, Recipes or what?
67. Formal modeling and analysis of software architecture: Components, connectors, and events
68. Using Yourdon and Z: An approach to formal specification
69. Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial …
70. The case for formal methods in standards
71. Industrialising Formal Methods for Telecommunications
72. Assurance cases in model-driven development of the pacemaker software
73. Formal safety certification of aerospace software
74. Formal object oriented development of software systems using LOTOS
75. An introduction to model versioning
76. Formal methods
77. A novel approach based on formal methods for clone detection
78. Toward an assessment of software development risk
79. Causal policy maps of managers: Formal methods for elicitation and analysis
80. Control of cyber-physical-systems with logic specifications: A formal methods approach
81. A framework for modelling variable microservices as software product lines
82. Improving the trustworthiness of medical device software with formal verification methods
83. Introduction to formal methods and experiences from the lacos and orsted projects
84. Formal approaches to systems analysis using UML: An overview
85. EventB2Java: A code generator for Event-B
86. A blockchain based proposal for protecting healthcare systems through formal methods
87. The future of industrial formal methods
88. Experience report on designing and developing control components using formal methods
89. Formal Methods: Foundations and Applications
90. Applying formal verification to the AAMP5 microprocessor: A case study in the industrial use of formal methods
91. Methods and tools for the formal verification of software; an analysis and comparison
92. Properties of a formal method for prediction of emergent behaviors in swarm-based systems
93. Beyond 2014: Formal Methods for Attack Tree–based Security Modeling
94. A formal approach to reusing more general components
95. Establishing formal regulatory requirements for safety-critical software certification
96. Formal methods in practice
97. Case study: Applying formal methods to the traffic alert and collision avoidance system (TCAS) II
98. Opening address: The state of use of formal methods
99. Specifying and verifying sensor networks: An experiment of formal methods
100. Formal specification of software design metrics
101. Formal methods in CafeOBJ
102. Formal methods: an introduction to and overview of the use of formal methods within HCI
103. Challenges in formal methods for testing and verification of cloud computing systems
104. Formal methods & service specification
105. Using formal methods to reduce risks
106. Confessions of a formal methodist
107. Experiences with alloy in undergraduate formal methods
108. Qualification of a model checker for avionics software verification
109. Software engineering: a practitioner’s approach
110. Formal methods and their applications to safety-critical systems of railways
111. Final results of incorporating an operational formal method into a software engineering curriculum
112. VDM++ as a basis of scalable agile formal software development
113. Inhibiting factors, market structure and the industrial uptake of formal methods
114. Reverse‐engineering cobol via formal methods
115. Verification of a leader election protocol: Formal methods applied to IEEE 1394
116. A Comparative Analysis of Formal languages Based upon Various Parameters
117. High level system design and analysis using abstract state machines
118. Designing verifiable and reusable data access layer using formal methods and design patterns
119. Toward practical applications of software synthesis
120. Distributed cooperative formal methods tools
121. Using formal methods for verification and validation in railway
122. Formal methods for the analysis of wireless network protocols
123. Challenges in the successful transfer of formal methods technology into industrial applications
124. Formal, model-oriented software development methods: from VDM to ProCoS & from RAISE to LaCoS
125. An integrated formal methods tool-chain and its application to verifying a file system model
126. Combining simulation and formal methods for system-level performance analysis
127. Strongest postcondition semantics as the formal basis for reverse engineering
128. Position Paper: Formal Methods in Agile Development
129. An experience report on requirements reliability engineering using formal methods
130. Industrial applications of formal methods to model, design and analyze computer systems
131. Software Engineering and Formal Methods
132. From requirements to design: Formalizing the key steps
133. A formal approach to software design: The Clepsydra methodology
134. Ten commandments ten years on: An assessment of formal methods usage
135. Experimentation in software engineering
136. The role of formal methods in component-based software engineering
137. Requirements analysis of air traffic control system using formal methods
138. A formal methods approach to pattern recognition and synthesis in reaction diffusion networks
139. Discovering models of software processes from event-based data
140. … and Software: The Importance of the Buyer’s Warranty and the Developer’s Liability in Promoting the Use of Systematic Quality Assurance and Formal Methods
141. ASCENS: engineering autonomic service-component ensembles
142. Teaching a formal method in a software engineering course
143. A hindsight on formal methods and prospects of semantic computing in software engineering
144. Test generation and recognition with formal methods
145. Use of formal methods in the development of safety critical control software
146. Qualification of formal methods tools (Dagstuhl seminar 15182)
147. From English to formal specifications
148. Formal methods for open source components certification
149. Formal methods for web services
150. Formal verification of control software
151. Formal methods diffusion: Past lessons and future prospects
152. Formal software engineering for computational modelling
153. Domains of application for formal methods
154. Formal ensemble engineering
155. A formal methods approach to semiotic engineering
156. Formal methods for control of traffic flow: Automated control synthesis from finite-state transition models
157. The impact of alan turing: Formal methods and beyond
158. Structured methodology+ object-oriented methodology+ formal methods: Methodology of SOFL
159. Using formal specification language in industrial software development
160. Practice-oriented courses in formal methods using VDM++
161. Correctness by construction: Integrating formality into a commercial development process
162. Immaturity and Potential of Formal Methods: A Personal View.
163. The role of HCI in CASE tools supporting formal methods


Prof.Fazal Rehman Shamil (Available for Professional Discussions)
1. Message on Facebook page for discussions,
2. Video lectures on Youtube
3. Email is only for Advertisement/business enquiries.