Search results for "ICFEM"

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

Publications at "ICFEM"( http://dblp.L3S.de/Venues/ICFEM )