default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID13th ICFEM 2011: Durham, UK
- Shengchao Qin
, Zongyan Qiu:
Formal Methods and Software Engineering - 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings. Lecture Notes in Computer Science 6991, Springer 2011, ISBN 978-3-642-24558-9
Invited Talks
- Yongxin Zhao, Jifeng He:
Towards a Signal Calculus for Event-Based Synchronous Languages. 1-13 - Peter W. O'Hearn:
Reasoning about Programs Using a Scientific Method. 14 - Shaz Qadeer:
Poirot - A Concurrency Sleuth. 15
Formal Models
- Narges Khakpour, Marjan Sirjani, Ursula Goltz:
Context-Based Behavioral Equivalence of Components in Self-Adaptive Systems. 16-32 - Islam Abdelhalim, Steve A. Schneider, Helen Treharne:
Towards a Practical Approach to Check UML/fUML Models Consistency Using CSP. 33-48 - Frank Zeyda, Ana Cavalcanti, Andy J. Wellings:
The Safety-Critical Java Mission Model: A Formal Account. 49-65 - Andreas Bollin:
Is There Evolution Before Birth? Deterioration Effects of Formal Z Specifications. 66-81 - Dapeng Mo, Xiaobing Wang, Zhenhua Duan:
Asynchronous Communication in MSVL. 82-97
Model Checking and Probability
- Tian Huat Tan, Yang Liu, Jun Sun, Jin Song Dong:
Verification of Orchestration Systems Using Compositional Partial Order Reduction. 98-114 - Hehua Zhang, Yu Jiang, William N. N. Hung, Xiaoyu Song, Ming Gu:
Domain-Driven Probabilistic Analysis of Programmable Logic Controllers. 115-130 - João G. Martins, André Platzer, João Leite:
Statistical Model Checking for Distributed Probabilistic-Control Hybrid Automata with Smart Grid Applications. 131-146 - Jun Sun, Yang Liu, Songzheng Song, Jin Song Dong, Xiaohong Li:
PRTS: An Approach for Model Checking Probabilistic Real-Time Hierarchical Systems. 147-162
Specification and Development
- Fauziah binti Zainuddin, Shaoying Liu:
Integrating Prototyping into the SOFL Three-Step Modeling Approach. 163-178 - Kenneth Lausdahl, Peter Gorm Larsen, Nick Battle:
A Deterministic Interpreter Simulating a Distributed Real Time System Using VDM. 179-194 - Rainer Gmehlich, Katrin Grau, Stefan Hallerstede, Michael Leuschel, Felix Lösch, Daniel Plagge:
On Fitting a Formal Method into Practice. 195-210 - Roozbeh Farahbod, Vladimir Avram, Uwe Glässer, Adel Guitouni:
A Formal Engineering Approach to High-Level Design of Situation Analysis Decision Support Systems. 211-226
Security
- David J. Power, Mark Slaymaker, Andrew Simpson:
Conformance Checking of Dynamic Access Control Policies. 227-242 - Masoud Koleini, Mark Ryan:
A Knowledge-Based Verification Method for Dynamic Access Control Policies. 243-258 - Nafees Qamar, Yves Ledru, Akram Idani:
Validation of Security-Design Models Using Z. 259-274
Formal Verification
- Ewen Maclean, Andrew Ireland:
Mutation in Linked Data Structures. 275-290 - Pontus Boström:
Contract-Based Verification of Simulink Models. 291-306 - Miroslav N. Velev, Ping Gao:
Exploiting Abstraction for Efficient Formal Verification of DSPs with Arrays of Reconfigurable Functional Units. 307-322 - Joabe Jesus, Alexandre Mota, Augusto Sampaio, Luiz Grijo:
Architectural Verification of Control Systems Using CSP. 323-339 - Junaid Haroon Siddiqui, Sarfraz Khurshid:
Symbolic Execution of Alloy Models. 340-355
Cyber Physical Systems
- David W. Renshaw, Sarah M. Loos, André Platzer:
Distributed Theorem Proving for Distributed Hybrid Systems. 356-371 - Manchun Zheng, Jun Sun, Yang Liu, Jin Song Dong, Yu Gu:
Towards a Model Checker for NesC and Wireless Sensor Networks. 372-387 - Maissa Elleuch, Osman Hasan, Sofiène Tahar, Mohamed Abid:
Formal Analysis of a Scheduling Algorithm for Wireless Sensor Networks. 388-403 - Martin Hilscher, Sven Linker, Ernst-Rüdiger Olderog, Anders P. Ravn:
An Abstract Model for Proving Safety of Multi-lane Traffic Manoeuvres. 404-419
Event-B
- Alexei Iliasov, Linas Laibinis, Elena Troubitsyna, Alexander B. Romanovsky:
Formal Derivation of a Distributed Program in Event B. 420-436 - Wen Su, Jean-Raymond Abrial, Runlei Huang, Huibiao Zhu:
From Requirements to Development: Methodology and Example. 437-455 - Thai Son Hoang, Jean-Raymond Abrial:
Reasoning about Liveness Properties in Event-B. 456-471
Verification, Analysis and Testing
- Anh Cuong Nguyen, Siau-Cheng Khoo:
Extracting Significant Specifications from Mining through Mutation Testing. 472-488 - Holger Gast:
Developer-Oriented Correctness Proofs - A Case Study of Cheney's Algorithm. 489-504 - Giulia Costantini, Pietro Ferrara, Agostino Cortesi:
Static Analysis of String Values. 505-521 - Jonathan Nicholson:
A Theory of Classes from the Theoretical Foundations of LePUS3. 522-536 - Zhenchang Xing, Jun Sun, Yang Liu, Jin Song Dong:
Differencing Labeled Transition Systems. 537-552
Refinement
- Jeremy W. Bryans:
Developing a Consensus Algorithm Using Stepwise Refinement. 553-568 - Stefan Hallerstede, Colin F. Snook:
Refining Nodes and Edges of State Machines. 569-584 - Fangfang Yuan, Stephen Wright, Kerstin Eder, David May:
Managing Complexity through Abstraction: A Refinement-Based Approach to Formalize Instruction Set Architectures. 585-600 - Maximiliano Cristiá, Diego A. Hollmann, Pablo Albertengo, Claudia S. Frydman, Pablo Rodríguez Monetti:
A Language for Test Case Refinement in the Test Template Framework. 601-616
Theorem Proving and Rewriting
- Walter Guttmann, Georg Struth, Tjark Weber:
Automating Algebraic Methods in Isabelle. 617-632 - Matthias Schmalz:
Term Rewriting in Logics of Partial Functions. 633-650 - Kyungmin Bae, Peter Csaba Ölveczky, Abdullah Al-Nayeem, José Meseguer:
Synchronous AADL and Its Formal Analysis in Real-Time Maude. 651-667
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-11-08 20:18 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:
