Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Lei Zhou 0007, Jing Ping, Hao Xiao, Zheng Wang 0005, Geguang Pu, Zuohua Ding |
Automatically Testing Web Services Choreography with Assertions. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Andi Bejleri |
Practical Parameterised Session Types. |
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 | Eugen-Ioan Goriac, Dorel Lucanu, Grigore Rosu |
Automating Coinduction with Case Analysis. |
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 | 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 | Kokichi Futatsugi |
Fostering Proof Scores in CafeOBJ. |
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 | Andreas Vogelsang, Ansgar Fehnker, Ralf Huuck, Wolfgang Reif |
Software Metrics in Static Program Analysis. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Alejandro Sánchez, César Sánchez 0001 |
Decision Procedures for the Temporal Verification of Concurrent Lists. |
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 | Iman Poernomo, Jeffrey Terrell |
Correct-by-Construction Model Transformations from Partially Ordered Specifications in Coq. |
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 | Zijiang Yang 0006, Karem A. Sakallah |
Trace-Driven Verification of Multithreaded Programs. |
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 | Fazle Rabbi 0001, Hao Wang 0003, Wendy MacCaull |
Compensable WorkFlow Nets. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Scott West, Sebastian Nanz, Bertrand Meyer 0001 |
A Modular Scheme for Deadlock Prevention in an Object-Oriented Programming Model. |
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 | 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 | 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 | Yang Liu 0003, Jun Sun 0001, Jin Song Dong |
Scalable Multi-core Model Checking Fairness Enhanced Systems. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Péter Bokor, Marco Serafini, Neeraj Suri, Helmut Veith |
Role-Based Symmetry Reduction of Fault-Tolerant Distributed Protocols with Language Support. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Manfred Broy |
Seamless Model Driven Systems Engineering Based on Formal Models. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
Formal methods, models based development |
1 | Bernhard K. Aichernig, Harald Brandl, Willibald Krenn |
Qualitative Action Systems. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Paul Taverne, Cornelis Pronk |
RAFFS: Model Checking a Robust Abstract Flash File Store. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Augusto Sampaio, Sidney C. Nogueira, Alexandre Mota 0001 |
Compositional Verification of Input-Output Conformance via CSP Refinement Checking. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Barthe, Benjamin Grégoire, Sylvain Heraud, César Kunz, Anne Pacalet |
Implementing a Direct Method for Certificate Translation. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Samik Basu 0001, Arka P. Ghosh, Ru He |
Approximate Model Checking of PCTL Involving Unbounded Path Properties. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Wenhui Zhang |
Bounded Semantics of CTL and SAT-Based Verification. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Antti Siirtola, Juha Kortelainen |
Algorithmic Verification with Multiple and Nested Parameters. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
parameterised verification, process algebra, refinement checking |
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 | Paulo J. Matos, Bernd Fischer 0002, João Marques-Silva 0001 |
A Lazy Unbounded Model Checker for Event-B. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | David S. Hardin, T. Douglas Hiratzka, D. Randolph Johnson, Lucas G. Wagner, Michael W. Whalen |
Development of Security Software: A High Assurance Methodology. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Suriadi Suriadi, Chun Ouyang 0001, Jason Smith 0001, Ernest Foo |
Modeling and Verification of Privacy Enhancing Protocols. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Kyungmin Bae, Peter Csaba Ölveczky, Thomas Huining Feng, Stavros Tripakis |
Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Maximiliano Cristiá, Pablo Rodríguez Monetti |
Implementing and Applying the Stocks-Carrington Framework for Model-Based Testing. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Wei Ke 0001, Zhiming Liu 0001, Shuling Wang, Liang Zhao 0022 |
A Graph-Based Operational Semantics of OO Programs. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
state graphs, operational semantics, object graphs, OO programs |
1 | Xihui Chen, Ton van Deursen, Jun Pang 0001 |
Improving Automatic Verification of Security Protocols with XOR. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Ruhroth, Heike Wehrheim |
Refinement-Preserving Co-evolution. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Dorel Lucanu, Grigore Rosu |
Circular Coinduction with Special Contexts. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Nathalie Bertrand 0001, Axel Legay, Sophie Pinchinat, Jean-Baptiste Raclet |
A Compositional Approach on Modal Specifications for Timed Systems. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Margus Veanes, Pavel Grigorenko, Peli de Halleux, Nikolai Tillmann |
Symbolic Query Exploration. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang Ahrendt, Maximilian Dylla |
A Verification System for Distributed Objects with Asynchronous Method Calls. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Junaid Haroon Siddiqui, Sarfraz Khurshid |
An Empirical Study of Structural Constraint Solving Techniques. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
model checking, SAT, symbolic execution, state space exploration, systematic testing, Empirical comparison, software testing tools |
1 | Karin K. Breitman, Ana Cavalcanti 0001 (eds.) |
Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Germán Regis, Nazareno Aguirre, T. S. E. Maibaum |
Specifying and Verifying Business Processes Using PPML. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Ferrante, Margherita Napoli, Mimmo Parente |
Graded-CTL: Satisfiability and Symbolic Model Checking. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Joakim Byg, Kenneth Yrke Jørgensen, Jirí Srba |
An Efficient Translation of Timed-Arc Petri Nets to Networks of Timed Automata. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Nassima Izerrouken, Marc Pantel, Xavier Thirioux |
Machine-Checked Sequencer for Critical Embedded Code Generator. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
block sequencing, software engineering, formal verification, automatic code generator, Coq proof assistant |
1 | Fernando Luís Dotti, Alexei Iliasov, Leila Ribeiro 0001, Alexander B. Romanovsky |
Modal Systems: Specification, Refinement and Realisation. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Jens Bendisposto, Michael Leuschel |
Proof Assisted Model Checking for B. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
Model Checking, Experiment, Theorem Proving, B-Method, Tool Integration |
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 | Renato Silva, Michael J. Butler |
Supporting Reuse of Event-B Developments through Generic Instantiation. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
generic instantiation, formal methods, reusability, event-B |
1 | Frank S. de Boer, Immo Grabe, Mohammad Mahdi Jaghoori, Andries Stam, Wang Yi 0001 |
Modeling and Analysis of Thread-Pools in an Industrial Communication Platform. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Anil Madhavapeddy |
Combining Static Model Checking with Dynamic Enforcement Using the Statecall Policy Language. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Mercedes G. Merayo, Iksoon Hwang, Manuel Núñez 0001, Ana R. Cavalli |
A Statistical Approach to Test Stochastic and Probabilistic Systems. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Xian Zhang 0007 |
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 | Kazuhiro Ogata 0001, Kokichi Futatsugi |
Formal Analysis of the Bakery Protocol with Consideration of Nonatomic Reads and Writes. |
ICFEM |
2008 |
DBLP DOI BibTeX RDF |
observational transition system (OTS), verification, mutual exclusion, invariant property, CafeOBJ |
1 | Zhenhua Duan, Cong Tian |
A Unified Model Checking Approach with Projection Temporal Logic. |
ICFEM |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jin Song Dong, Jing Sun 0002, Jun Sun 0001, Kenji Taguchi 0001, Xian Zhang 0007 |
Specifying and Verifying Sensor Networks: An Experiment of Formal Methods. |
ICFEM |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Chao Cai, Zongyan Qiu, Xiangpeng Zhao, Hongli Yang |
Correct Channel Passing by Construction. |
ICFEM |
2008 |
DBLP DOI BibTeX RDF |
Channel passing, Web Services, Formal Methods, Orchestration, Choreography |
1 | Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Hai H. Wang |
Specifying and Verifying Event-Based Fairness Enhanced Systems. |
ICFEM |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Staats, Mats Per Erik Heimdahl |
Partial Translation Verification for Untrusted Code-Generators. |
ICFEM |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Lijun Shan, Hong Zhu 0002 |
A Formal Descriptive Semantics of UML. |
ICFEM |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Björn Metzler 0001, Heike Wehrheim, Daniel Wonisch |
Decomposition for Compositional Verification. |
ICFEM |
2008 |
DBLP DOI BibTeX RDF |
|
1 | John Hatcliff |
Contract-Based Reasoning for Verification and Certification of Secure Information Flow Policies in Industrial Workflows. |
ICFEM |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Michael Leuschel, Marc Fontaine |
Probing the Depths of CSP-M: A New fdr-Compliant Validation Tool. |
ICFEM |
2008 |
DBLP DOI BibTeX RDF |
Integrated Formal Methods, Specification Language Design, Model Checking, Animation, Logic Programming, CSP, Tool Support, B-Method |
1 | Shaoying Liu, T. S. E. Maibaum, Keijiro Araki (eds.) |
Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings |
ICFEM |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Nazareno Aguirre, Marcelo F. Frias, Pablo Ponzio, Brian J. Cardiff, Juan P. Galeotti, Germán Regis |
Towards Abstraction for DynAlloy Specifications. |
ICFEM |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Farhad Mehta |
A Practical Approach to Partiality - A Proof Based Approach. |
ICFEM |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Dirk Seifert |
Conformance Testing Based on UML State Machines. |
ICFEM |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jeff Offutt |
Programmers Ain't Mathematicians, and Neither Are Testers. |
ICFEM |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Florin Craciun, Shengchao Qin, Wei-Ngan Chin |
A Formal Soundness Proof of Region-Based Memory Management for Object-Oriented Paradigm. |
ICFEM |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ajitha Rajan, Michael W. Whalen, Matt Staats, Mats Per Erik Heimdahl |
Requirements Coverage as an Adequacy Measure for Conformance Testing. |
ICFEM |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Lihua Duan, Jessica Chen |
An Approach to Testing with Embedded Context Using Model Checker. |
ICFEM |
2008 |
DBLP DOI BibTeX RDF |
context-based testing, finite state machines, conformance testing, test sequences, distinguishing sequences |
1 | Takuya Katayama |
How Can We Make Industry Adopt Formal Methods? |
ICFEM |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Kriangsak Damchoom, Michael J. Butler, Jean-Raymond Abrial |
Modelling and Proof of a Tree-Structured File System in Event-B and Rodin. |
ICFEM |
2008 |
DBLP DOI BibTeX RDF |
Rodin tool, Refinement, File system, Tree structure, Proof, Event-B |
1 | Marieke Huisman, Irem Aktug, Dilian Gurov |
Program Models for Compositional Verification. |
ICFEM |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Peter Y. H. Wong, Jeremy Gibbons |
A Process Semantics for BPMN. |
ICFEM |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Nick Moffat, Michael Goldsmith, Bill Roscoe |
A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking. |
ICFEM |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Carlo A. Furia, Matteo Pradella, Matteo Rossi |
Practical Automated Partial Verification of Multi-paradigm Real-Time Models. |
ICFEM |
2008 |
DBLP DOI BibTeX RDF |
timed automata, discretization, bounded model checking, Metric temporal logic, dense time |
1 | Juan Ignacio Perna, Jim Woodcock 0001 |
A Denotational Semantics for Handel-C Hardware Compilation. |
ICFEM |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Martin de Groot |
Integrating Formal Methods with System Management. |
ICFEM |
2007 |
DBLP DOI BibTeX RDF |
|
1 | T. S. E. Maibaum |
Challenges in Software Certification. |
ICFEM |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Cong Tian, Zhenhua Duan |
Model Checking Propositional Projection Temporal Logic Based on SPIN. |
ICFEM |
2007 |
DBLP DOI BibTeX RDF |
Propositional Projection Temporal Logic, Model Checking, Verification, Spin, Automaton |
1 | Benoît Fraikin, Marc Frappier |
Efficient Symbolic Execution of Large Quantifications in a Process Algebra. |
ICFEM |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Thuy Duong Vu, Chris R. Jesshope |
Formalizing SANE Virtual Processor in Thread Algebra. |
ICFEM |
2007 |
DBLP DOI BibTeX RDF |
SANE Virtual Processor, microthreading, thread algebra |
1 | Marcel Oliveira, Jim Woodcock 0001 |
Automatic Generation of Verified Concurrent Hardware. |
ICFEM |
2007 |
DBLP DOI BibTeX RDF |
FPGA, concurrency, refinement, CSP, tool support, program development, Handel-C, automatic compilation |
1 | Ana Cavalcanti 0001, Marie-Claude Gaudel |
Testing for Refinement in CSP. |
ICFEM |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jeremy W. Bryans, John S. Fitzgerald |
Formal Engineering of XACML Access Control Policies in VDM++. |
ICFEM |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Michael J. Butler, Michael G. Hinchey, María M. Larrondo-Petrie (eds.) |
Formal Methods and Software Engineering, 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007, Proceedings |
ICFEM |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Kuntal Das Barman, Debapriyay Mukhopadhyay |
Model Checking in Practice: Analysis of Generic Bootloader Using SPIN. |
ICFEM |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Shaoying Liu |
Integrating Specification-Based Review and Testing for Detecting Errors in Programs. |
ICFEM |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Arjan J. Mooij |
Calculating and Composing Progress Properties in Terms of the Leads-to Relation. |
ICFEM |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Guillermo Rodríguez-Navas, Julián Proenza, Hans Hansson |
Modeling and Verification of Master/Slave Clock Synchronization Using Hybrid Automata and Model-Checking. |
ICFEM |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jacques Julliand, Hassan Mountassir, Emilie Oudot |
VeSTA: A Tool to Verify the Correct Integration of a Component in a Composite Timed System. |
ICFEM |
2007 |
DBLP DOI BibTeX RDF |
?-simulation, integration of components, preservation of linear-time properties, timed systems |
1 | Jin Song Dong, Yuzhang Feng, Ho-fung Leung |
A Verification Framework for Agent Knowledge. |
ICFEM |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Wenhui Zhang |
Model Checking with SAT-Based Characterization of ACTL Formulas. |
ICFEM |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Lihua Duan, Jessica Chen |
Reducing Test Sequence Length Using Invertible Sequences. |
ICFEM |
2007 |
DBLP DOI BibTeX RDF |
UIO sequence, finite state machine, conformance testing, test sequence |