| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Kenneth Lausdahl, Peter Gorm Larsen, Nick Battle |
A Deterministic Interpreter Simulating a Distributed Real Time System Using VDM.  |
ICFEM  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Anh Cuong Nguyen, Siau-Cheng Khoo |
Extracting Significant Specifications from Mining through Mutation Testing. |
ICFEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Joabe Jesus, Alexandre Mota, Augusto Sampaio, Luiz Grijo |
Architectural Verification of Control Systems Using CSP. |
ICFEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jun Sun 0001, Yang Liu 0003, Songzheng Song, Jin Song Dong, Xiaohong Li |
PRTS: An Approach for Model Checking Probabilistic Real-Time Hierarchical Systems. |
ICFEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Zeyda, Ana Cavalcanti, Andy J. Wellings |
The Safety-Critical Java Mission Model: A Formal Account. |
ICFEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Walter Guttmann, Georg Struth, Tjark Weber |
Automating Algebraic Methods in Isabelle. |
ICFEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Narges Khakpour, Marjan Sirjani, Ursula Goltz |
Context-Based Behavioral Equivalence of Components in Self-Adaptive Systems. |
ICFEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tian Huat Tan, Yang Liu 0003, Jun Sun 0001, Jin Song Dong |
Verification of Orchestration Systems Using Compositional Partial Order Reduction. |
ICFEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Roozbeh Farahbod, Vladimir Avram, Uwe Glässer, Adel Guitouni |
A Formal Engineering Approach to High-Level Design of Situation Analysis Decision Support Systems. |
ICFEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Maximiliano Cristiá, Diego Hollmann, Pablo Albertengo, Claudia S. Frydman, Pablo Rodríguez Monetti |
A Language for Test Case Refinement in the Test Template Framework. |
ICFEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fangfang Yuan, Stephen Wright, Kerstin Eder, David May |
Managing Complexity through Abstraction: A Refinement-Based Approach to Formalize Instruction Set Architectures. |
ICFEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yongxin Zhao, Jifeng He |
Towards a Signal Calculus for Event-Based Synchronous Languages. |
ICFEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Manchun Zheng, Jun Sun 0001, Yang Liu, Jin Song Dong, Yu Gu 0001 |
Towards a Model Checker for NesC and Wireless Sensor Networks. |
ICFEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Nicholson |
A Theory of Classes from the Theoretical Foundations of LePUS3. |
ICFEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | João Martins, André Platzer, João Leite |
Statistical Model Checking for Distributed Probabilistic-Control Hybrid Automata with Smart Grid Applications. |
ICFEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhenchang Xing, Jun Sun 0001, Yang Liu, Jin Song Dong |
Differencing Labeled Transition Systems. |
ICFEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | David J. Power, Mark Slaymaker, Andrew Simpson |
Conformance Checking of Dynamic Access Control Policies. |
ICFEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | David W. Renshaw, Sarah M. Loos, André Platzer |
Distributed Theorem Proving for Distributed Hybrid Systems. |
ICFEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shengchao Qin, Zongyan Qiu (eds.) |
Formal Methods and Software Engineering - 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings |
ICFEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Masoud Koleini, Mark Ryan |
A Knowledge-Based Verification Method for Dynamic Access Control Policies. |
ICFEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ewen Maclean, Andrew Ireland |
Mutation in Linked Data Structures. |
ICFEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pontus Boström |
Contract-Based Verification of Simulink Models. |
ICFEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter W. O'Hearn |
Reasoning about Programs Using a Scientific Method. |
ICFEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Miroslav N. Velev, Ping Gao 0002 |
Exploiting Abstraction for Efficient Formal Verification of DSPs with Arrays of Reconfigurable Functional Units. |
ICFEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Schmalz |
Term Rewriting in Logics of Partial Functions. |
ICFEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thai Son Hoang, Jean-Raymond Abrial |
Reasoning about Liveness Properties in Event-B. |
ICFEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Maissa Elleuch, Osman Hasan, Sofiène Tahar, Mohamed Abid |
Formal Analysis of a Scheduling Algorithm for Wireless Sensor Networks. |
ICFEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shaz Qadeer |
Poirot - A Concurrency Sleuth. |
ICFEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wen Su, Jean-Raymond Abrial, Runlei Huang, Huibiao Zhu |
From Requirements to Development: Methodology and Example. |
ICFEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Bollin |
Is There Evolution Before Birth? Deterioration Effects of Formal Z Specifications. |
ICFEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy W. Bryans |
Developing a Consensus Algorithm Using Stepwise Refinement. |
ICFEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fauziah binti Zainuddin, Shaoying Liu |
Integrating Prototyping into the SOFL Three-Step Modeling Approach. |
ICFEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Hilscher, Sven Linker, Ernst-Rüdiger Olderog, Anders P. Ravn |
An Abstract Model for Proving Safety of Multi-lane Traffic Manoeuvres. |
ICFEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Islam Abdelhalim, Steve Schneider, Helen Treharne |
Towards a Practical Approach to Check UML/fUML Models Consistency Using CSP. |
ICFEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Gast |
Developer-Oriented Correctness Proofs - A Case Study of Cheney's Algorithm. |
ICFEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Hallerstede, Colin F. Snook |
Refining Nodes and Edges of State Machines. |
ICFEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rainer Gmehlich, Katrin Grau, Stefan Hallerstede, Michael Leuschel, Felix Lösch, Daniel Plagge |
On Fitting a Formal Method into Practice. |
ICFEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Giulia Costantini, Pietro Ferrara, Agostino Cortesi |
Static Analysis of String Values. |
ICFEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexei Iliasov, Linas Laibinis, Elena Troubitsyna, Alexander Romanovsky |
Formal Derivation of a Distributed Program in Event B. |
ICFEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nafees Qamar, Yves Ledru, Akram Idani |
Validation of Security-Design Models Using Z. |
ICFEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hehua Zhang, Yu Jiang, William N. N. Hung, Xiaoyu Song, Ming Gu |
Domain-Driven Probabilistic Analysis of Programmable Logic Controllers. |
ICFEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Junaid Haroon Siddiqui, Sarfraz Khurshid |
Symbolic Execution of Alloy Models. |
ICFEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dapeng Mo, Xiaobing Wang, Zhenhua Duan |
Asynchronous Communication in MSVL. |
ICFEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kyungmin Bae, Peter Csaba Ölveczky, Abdullah Al-Nayeem, José Meseguer |
Synchronous AADL and Its Formal Analysis in Real-Time Maude. |
ICFEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Min Zhang, Kazuhiro Ogata, Masaki Nakamura |
Specification Translation of State Machines from Equational Theories into Rewrite Theories. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Youssef Hanna, David Samuelson, Samik Basu, Hridesh Rajan |
Automating Cut-off for Multi-parameterized Systems. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew B. Dwyer |
Exploiting Partial Success in Applying Automated Formal Methods. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Antti Siirtola |
Automated Multiparameterised Verification by Cut-Offs. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Iman Poernomo, Jeffrey Terrell |
Correct-by-Construction Model Transformations from Partially Ordered Specifications in Coq. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ken Madlener, Sjaak Smetsers, Marko C. J. D. van Eekelen |
A Formal Verification Study on the Rotterdam Storm Surge Barrier. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jun Sun 0001, Songzheng Song, Yang Liu 0003 |
Model Checking Hierarchical Probabilistic Systems. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lei Zhou, Jing Ping, Hao Xiao, Zheng Wang, Geguang Pu, Zuohua Ding |
Automatically Testing Web Services Choreography with Assertions. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Vogelsang, Ansgar Fehnker, Ralf Huuck, Wolfgang Reif |
Software Metrics in Static Program Analysis. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kokichi Futatsugi |
Fostering Proof Scores in CafeOBJ. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rüdiger Ehlers, Michael Gerke 0002, Hans-Jörg Peter |
Making the Right Cut in Model Checking Data-Intensive Timed Systems. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Wang Yi |
Multicore Embedded Systems: The Timing Problem and Possible Solutions. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Eriksson, Ralph-Johan Back |
Applying PVS Background Theories and Proof Strategies in Invariant Based Programming. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hai H. Wang, Danica Damljanovic, Jing Sun 0002 |
Enhanced Semantic Access to Formal Software Models. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin Song Dong, Huibiao Zhu (eds.) |
Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Miroslav N. Velev, Ping Gao 0002 |
Method for Formal Verification of Soft-Error Tolerance Mechanisms in Pipelined Microprocessors. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andi Bejleri |
Practical Parameterised Session Types. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Zijiang Yang, Karem A. Sakallah |
Trace-Driven Verification of Multithreaded Programs. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Scott West, Sebastian Nanz, Bertrand Meyer |
A Modular Scheme for Deadlock Prevention in an Object-Oriented Programming Model. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Imene Ben Hafaiedh, Susanne Graf, Sophie Quinton |
Reasoning about Safety and Progress Using Contracts. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Prabhu Shankar Kaliappan, Hartmut König, Sebastian Schmerl |
Model-Driven Protocol Design Based on Component Oriented Modeling. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xi Wang, Shaoying Liu, Huaikou Miao |
A Pattern System to Support Refining Informal Ideas into Formal Expressions. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan Chin |
Loop Invariant Synthesis in a Combined Domain. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jun Sun 0001, Yang Liu 0003, Bin Cheng |
Model Checking a Model Checker: A Code Contract Combined Approach. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Shengchao Qin, Chenguang Luo, Guanhua He, Florin Craciun, Wei-Ngan Chin |
Verifying Heap-Manipulating Programs with Unknown Procedure Calls. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Billington, Guy Edward Gallasch |
Closed Form Approximations for Steady State Probabilities of a Controlled Fork-Join Network. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugen-Ioan Goriac, Dorel Lucanu, Grigore Rosu |
Automating Coinduction with Case Analysis. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | José Meseguer, Peter Csaba Ölveczky |
Formalization and Correctness of the PALS Architectural Pattern for Distributed Real-Time Systems. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Cong Tian, Zhenhua Duan |
Alternating Interval Based Temporal Logics. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kazuhiro Ogata, Kokichi Futatsugi |
A Combination of Forward and Backward Reachability Analysis Methods. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Islam Abdelhalim, James Sharp, Steve A. Schneider, Helen Treharne |
Formal Verification of Tokeneer Behaviours Modelled in fUML Using CSP. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Isabella Mastroeni, Durica Nikolic |
Abstract Program Slicing: From Theory towards an Implementation. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alejandro Sánchez, César Sánchez |
Decision Procedures for the Temporal Verification of Concurrent Lists. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Fazle Rabbi, Hao Wang, Wendy MacCaull |
Compensable WorkFlow Nets. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa |
Dynamic Resource Reallocation between Deployment Components. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessio Lomuscio, Ben Strulo, Nigel G. Walker, Peng Wu 0002 |
Assume-Guarantee Reasoning with Local Specifications. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xin Li, H. James Hoover, Piotr Rudnicki |
API Conformance Verification for Java Programs. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Nils Timm, Heike Wehrheim |
On Symmetries and Spotlights - Verifying Parameterised Systems. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Ezekiel, Alessio Lomuscio |
A Methodology for Automatic Diagnosability Analysis. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Natallia Kokash, Behnaz Changizi, Farhad Arbab |
A Semantic Model for Service Composition with Coordination Time Delays. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Augusto Ribeiro, Peter Gorm Larsen |
Proof Obligation Generation and Discharging for Recursive Definitions in VDM. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hong Zhu, Ian Bayley |
Laws of Pattern Composition. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Zuohua Ding, Hui Shen, Jing Liu |
Applying Ordinary Differential Equations to the Performance Analysis of Service Composition. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Frappier, Benoît Fraikin, Romain Chossart, Raphaël Chane-Yack-Fa, Mohammed Ouenzar |
Comparison of Model Checking Tools for Information Systems. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhenhua Duan, Cong Tian |
An Improved Decision Procedure for Propositional Projection Temporal Logic. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Denis Hatebur, Maritta Heisel |
Making Pattern- and Model-Based Software Development More Rigorous. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Suriadi Suriadi, Chun Ouyang, Jason Smith, Ernest Foo |
Modeling and Verification of Privacy Enhancing Protocols. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Svetoslav R. Ganov, Chip Killmar, Sarfraz Khurshid, Dewayne E. Perry |
Event Listener Analysis and Symbolic Execution for Testing GUI Applications. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
symbolic execution, GUI testing, test input generation |
| 1 | David Hardin, T. Douglas Hiratzka, D. Randolph Johnson, Lucas Wagner, Michael W. Whalen |
Development of Security Software: A High Assurance Methodology. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiri Barnat, Lubos Brim, Petr Rockai |
A Time-Optimal On-the-Fly Parallel Algorithm for Model Checking of Weak LTL Properties. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank S. de Boer, Immo Grabe, Mohammad Mahdi Jaghoori, Andries Stam, Wang Yi |
Modeling and Analysis of Thread-Pools in an Industrial Communication Platform. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Xian Zhang |
Verifying Stateful Timed CSP Using Implicit Clocks and Zone Abstraction. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mihai Codescu, Bruno Langenstein, Christian Maeder, Till Mossakowski |
The VSE Refinement Method in Hets. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | André Platzer, Jan-David Quesel |
European Train Control System: A Case Study in Formal Verification. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
formal verification of hybrid systems, train control, parameter constraint identification, theorem proving, disturbances |
| 1 | Wei Ke, Zhiming Liu, Shuling Wang, Liang Zhao |
A Graph-Based Operational Semantics of OO Programs. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
state graphs, operational semantics, object graphs, OO programs |
| 1 | Bernhard K. Aichernig, Harald Brandl, Willibald Krenn |
Qualitative Action Systems. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")