![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
13th 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
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.