| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Shang-Wei Lin 0001, Yang Liu 0003, Pao-Ann Hsiung, Jun Sun 0001, Jin Song Dong |
Automatic Generation of Provably Correct Embedded Systems.  |
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 | Ling Shi, Yang Liu 0003, 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 | 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 | Xiaoxiao Yang, Yu Zhang, Ming Fu, Xinyu Feng 0001 |
A Concurrent Temporal Programming Model with Atomic Blocks. |
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 | Darren D. Cofer |
Formal Methods in the Aerospace Industry: Follow the Money. |
ICFEM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Edmond Gjondrekaj, Michele Loreti, Rosario Pugliese, Francesco Tiezzi 0001, Carlo Pinciroli, Manuele Brambilla, Mauro Birattari, Marco Dorigo |
Towards a Formal Verification Methodology for Collective Robotic Systems. |
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 0003, Jin Song Dong |
Symbolic Model-Checking of Stateful Timed CSP Using BDD and Digitization. |
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 | Tarek Mhamdi, Osman Hasan, Sofiène Tahar |
Quantitative Analysis of Information Flow Using Theorem Proving. |
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 | Zongyan Qiu, Ali Hong, Yijing Liu |
Modular Verification of OO Programs with Interfaces. |
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 | 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 | 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 | Ting Wang 0004, Songzheng Song, Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Xinyu Wang 0001, Shanping Li |
More Anti-chain Based Refinement Checking. |
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 | Chunyan Mu |
Quantitative Program Dependence Graphs. |
ICFEM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Lluch-Lafuente, José Meseguer 0001, Andrea Vandin |
State Space c-Reductions of Concurrent Systems in Rewriting Logic. |
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 | 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 | Tanmoy Sarkar, Samik Basu 0001, Johnny S. Wong |
ConSMutate: SQL Mutants for Guiding Concolic Testing of Database Applications. |
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 | Maximilian Junker, Ralf Huuck, Ansgar Fehnker, Alexander Knapp |
SMT-Based False Positive Elimination in Static Program Analysis. |
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 | Meng Han, Zhenhua Duan, Xiaobing Wang |
Time Constraints with Temporal Logic Programming. |
ICFEM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Schmalz |
Term Rewriting in Logics of Partial Functions. |
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 | Jun Sun 0001, Yang Liu 0003, Songzheng Song, Jin Song Dong, Xiaohong Li 0001 |
PRTS: An Approach for Model Checking Probabilistic Real-Time Hierarchical Systems. |
ICFEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy W. Bryans |
Developing a Consensus Algorithm Using Stepwise Refinement. |
ICFEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pontus Boström |
Contract-Based Verification of Simulink Models. |
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 | Joabe Jesus, Alexandre Mota 0001, Augusto Sampaio, Luiz Grijo |
Architectural Verification of Control Systems Using CSP. |
ICFEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shaz Qadeer |
Poirot - A Concurrency Sleuth. |
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 | Holger Gast |
Developer-Oriented Correctness Proofs - A Case Study of Cheney's Algorithm. |
ICFEM |
2011 |
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 | Nafees Qamar, Yves Ledru, Akram Idani |
Validation of Security-Design Models Using Z. |
ICFEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Giulia Costantini, Pietro Ferrara 0001, Agostino Cortesi |
Static Analysis of String Values. |
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 | Yongxin Zhao, Jifeng He 0001 |
Towards a Signal Calculus for Event-Based Synchronous Languages. |
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 | Jonathan Nicholson |
A Theory of Classes from the Theoretical Foundations of LePUS3. |
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 | Walter Guttmann, Georg Struth, Tjark Weber |
Automating Algebraic Methods in Isabelle. |
ICFEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Junaid Haroon Siddiqui, Sarfraz Khurshid |
Symbolic Execution of Alloy Models. |
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 | Masoud Koleini, Mark Ryan 0001 |
A Knowledge-Based Verification Method for Dynamic Access Control Policies. |
ICFEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Zeyda, Ana Cavalcanti 0001, Andy J. Wellings |
The Safety-Critical Java Mission Model: A Formal Account. |
ICFEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ewen Maclean, Andrew Ireland |
Mutation in Linked Data Structures. |
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 | Manchun Zheng, Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Yu Gu 0001 |
Towards a Model Checker for NesC and Wireless Sensor Networks. |
ICFEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dapeng Mo, Xiaobing Wang, Zhenhua Duan |
Asynchronous Communication in MSVL. |
ICFEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hehua Zhang, Yu Jiang 0001, William N. N. Hung, Xiaoyu Song, Ming Gu 0001 |
Domain-Driven Probabilistic Analysis of Programmable Logic Controllers. |
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 | Fangfang Yuan, Stephen Wright, Kerstin Eder, David May 0001 |
Managing Complexity through Abstraction: A Refinement-Based Approach to Formalize Instruction Set Architectures. |
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 | 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 A. Schneider, Helen Treharne |
Towards a Practical Approach to Check UML/fUML Models Consistency Using CSP. |
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 | Kyungmin Bae, Peter Csaba Ölveczky, Abdullah Al-Nayeem, José Meseguer 0001 |
Synchronous AADL and Its Formal Analysis in Real-Time Maude. |
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 | Wen Su, Jean-Raymond Abrial, Runlei Huang, Huibiao Zhu |
From Requirements to Development: Methodology and Example. |
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 | Alexei Iliasov, Linas Laibinis, Elena Troubitsyna, Alexander B. Romanovsky |
Formal Derivation of a Distributed Program in Event B. |
ICFEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhenchang Xing, Jun Sun 0001, Yang Liu 0003, Jin Song Dong |
Differencing Labeled Transition 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 | David J. Power, Mark Slaymaker, Andrew Simpson |
Conformance Checking of Dynamic Access Control Policies. |
ICFEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | João G. Martins, André Platzer, João Leite 0001 |
Statistical Model Checking for Distributed Probabilistic-Control Hybrid Automata with Smart Grid Applications. |
ICFEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
ICFEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Cong Tian, Zhenhua Duan |
Alternating Interval Based Temporal Logics. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kazuhiro Ogata 0001, Kokichi Futatsugi |
A Combination of Forward and Backward Reachability Analysis Methods. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Youssef Hanna, David Samuelson, Samik Basu 0001, Hridesh Rajan |
Automating Cut-off for Multi-parameterized Systems. |
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 | Min Zhang 0002, Kazuhiro Ogata 0001, Masaki Nakamura 0001 |
Specification Translation of State Machines from Equational Theories into Rewrite Theories. |
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 | 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 | Nils Timm, Heike Wehrheim |
On Symmetries and Spotlights - Verifying Parameterised Systems. |
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 | Denis Hatebur, Maritta Heisel |
Making Pattern- and Model-Based Software Development More Rigorous. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Ezekiel, Alessio Lomuscio |
A Methodology for Automatic Diagnosability Analysis. |
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 | Augusto Ribeiro, Peter Gorm Larsen |
Proof Obligation Generation and Discharging for Recursive Definitions in VDM. |
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 | Xin Li, H. James Hoover, Piotr Rudnicki |
API Conformance Verification for Java Programs. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hong Zhu 0002, Ian Bayley |
Laws of Pattern Composition. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xi Wang 0017, Shaoying Liu, Huaikou Miao |
A Pattern System to Support Refining Informal Ideas into Formal Expressions. |
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 | Antti Siirtola |
Automated Multiparameterised Verification by Cut-Offs. |
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 | Hai H. Wang, Danica Damljanovic, Jing Sun 0002 |
Enhanced Semantic Access to Formal Software Models. |
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 | Natallia Kokash, Behnaz Changizi, Farhad Arbab |
A Semantic Model for Service Composition with Coordination Time Delays. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Zuohua Ding, Hui Shen, Jing Liu 0012 |
Applying Ordinary Differential Equations to the Performance Analysis of Service Composition. |
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 | 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 | José Meseguer 0001, Peter Csaba Ölveczky |
Formalization and Correctness of the PALS Architectural Pattern for Distributed Real-Time Systems. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license