| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Toshiaki Aoki, Kenji Taguchi 0001 (eds.) |
Formal Methods and Software Engineering - 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings  |
ICFEM  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Olaf Blech, Yliès Falcone, Klaus Becker |
Towards Certified Runtime Verification. |
ICFEM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Kazuhiro Ogata, Phan Thi Thanh Huyen |
Specification and Model Checking of the Chandy and Lamport Distributed Snapshot Algorithm in Rewriting Logic. |
ICFEM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Granville Barnett, Shengchao Qin |
A Composable Mixed Mode Concurrency Control Semantics for Transactional Programs. |
ICFEM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Truong Khanh Nguyen, Jun Sun 0001, Yang Liu, Jin Song Dong |
Symbolic Model-Checking of Stateful Timed CSP Using BDD and Digitization. |
ICFEM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ling Shi, Yang Liu, Jun Sun 0001, Jin Song Dong, Gustavo Carvalho |
An Analytical and Experimental Comparison of CSP Extensions and Tools. |
ICFEM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Zongyan Qiu, Ali Hong, Yijing Liu |
Modular Verification of OO Programs with Interfaces. |
ICFEM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert E. Shostak |
Applying Term Rewriting to Speech Recognition of Numbers. |
ICFEM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Meng Han, Zhenhua Duan, Xiaobing Wang |
Time Constraints with Temporal Logic Programming. |
ICFEM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Nils Timm, Heike Wehrheim, Mike Czech |
Heuristic-Guided Abstraction Refinement for Concurrent Systems. |
ICFEM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | François Bobot, Jean-Christophe Filliâtre |
Separation Predicates: A Taste of Separation Logic in First-Order Logic. |
ICFEM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaoxiao Yang, Yu Zhang, Ming Fu, Xinyu Feng |
A Concurrent Temporal Programming Model with Atomic Blocks. |
ICFEM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Duy-Khanh Le, Wei-Ngan Chin, Yong Meng Teo |
Variable Permissions for Concurrency Verification. |
ICFEM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoshinori Neya, Noriaki Yoshiura |
Stepwise Satisfiability Checking Procedure for Reactive System Specifications by Tableau Method and Proof System. |
ICFEM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Tanmoy Sarkar, Samik Basu, Johnny S. Wong |
ConSMutate: SQL Mutants for Guiding Concolic Testing of Database Applications. |
ICFEM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Tokoro |
Toward Practical Application of Formal Methods in Software Lifecycle Processes. |
ICFEM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ting Wang, Songzheng Song, Jun Sun 0001, Yang Liu, Jin Song Dong, Xinyu Wang, Shanping Li |
More Anti-chain Based Refinement Checking. |
ICFEM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Lluch-Lafuente, José Meseguer, Andrea Vandin |
State Space c-Reductions of Concurrent Systems in Rewriting Logic. |
ICFEM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Shang-Wei Lin, Yang Liu, Pao-Ann Hsiung, Jun Sun 0001, Jin Song Dong |
Automatic Generation of Provably Correct Embedded Systems. |
ICFEM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mahsa Varshosaz, Ramtin Khosravi |
Modeling and Verification of Probabilistic Actor Systems Using pRebeca. |
ICFEM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Takashi Tomita, Shin Hiura, Shigeki Hagihara, Naoki Yonezaki |
A Temporal Logic with Mean-Payoff Constraints. |
ICFEM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabian Büttner, Marina Egea, Jordi Cabot, Martin Gogolla |
Verification of ATL Transformations Using Transformation Models and Model Finders. |
ICFEM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mengjun Li |
A Practical Loop Invariant Generation Approach Based on Random Testing, Constraint Solving and Verification. |
ICFEM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Edmond Gjondrekaj, Michele Loreti, Rosario Pugliese, Francesco Tiezzi, Carlo Pinciroli, Manuele Brambilla, Mauro Birattari, Marco Dorigo |
Towards a Formal Verification Methodology for Collective Robotic Systems. |
ICFEM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | William L. Harrison, Adam M. Procter, Gerard Allwein |
The Confinement Problem in the Presence of Faults. |
ICFEM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa |
Modeling Resource-Aware Virtualized Applications for the Cloud in Real-Time ABS. |
ICFEM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Wonisch, Heike Wehrheim |
Predicate Analysis with Block-Abstraction Memoization. |
ICFEM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Yohan Boichut, Benoît Boyer, Thomas Genet, Axel Legay |
Equational Abstraction Refinement for Certified Tree Regular Model Checking. |
ICFEM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Chunyan Mu |
Quantitative Program Dependence Graphs. |
ICFEM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Darren D. Cofer |
Formal Methods in the Aerospace Industry: Follow the Money. |
ICFEM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Tarek Mhamdi, Osman Hasan, Sofiène Tahar |
Quantitative Analysis of Information Flow Using Theorem Proving. |
ICFEM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Scott West, Sebastian Nanz, Bertrand Meyer |
Demonic Testing of Concurrent Programs. |
ICFEM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Maximilian Junker, Ralf Huuck, Ansgar Fehnker, Alexander Knapp |
SMT-Based False Positive Elimination in Static Program Analysis. |
ICFEM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Wen Su, Jean-Raymond Abrial, Huibiao Zhu |
Complementary Methodologies for Developing Hybrid Systems with Event-B. |
ICFEM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Svetoslav R. Ganov, Sarfraz Khurshid, Dewayne E. Perry |
Annotations for Alloy: Automated Incremental Analysis Using Domain Specific Solvers. |
ICFEM |
2012 |
DBLP DOI BibTeX RDF |
|
| 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 0002, 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 0001 |
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 |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")