Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Joxan Jaffar |
A CLP Approach to Modelling Systems. |
ICFEM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Carsten Sinz, Wolfgang Küchlin |
Verifying the On-line Help System of SIEMENS Magnetic Resonance Tomographs. |
ICFEM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Amitabh Srivastava |
Engineering Quality Software. |
ICFEM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Edmund M. Clarke, Daniel Kroening |
Tutorial: Software Model Checking. |
ICFEM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Yanjun Wen, Ji Wang 0001, Zhi-Chang Qi |
Bridging Refinement of Interface Automata to Forward Simulation of I/O Automata. |
ICFEM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Aleksandar S. Dimovski, Ranko Lazic 0001 |
CSP Representation of Game Semantics for Second-Order Idealized Algol. |
ICFEM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun 0001, Wang Yi 0001 |
Timed Patterns: TCOZ to Timed Automata. |
ICFEM |
2004 |
DBLP DOI BibTeX RDF |
Modeling and specification formalisms |
1 | Alessandro Armando, Claudio Castellini, Jacopo Mantovani |
Software Model Checking Using Linear Constraints. |
ICFEM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Feng Chen 0006, Marcelo d'Amorim, Grigore Rosu |
A Formal Monitoring-Based Framework for Software Development and Analysis. |
ICFEM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Richard H. Carver, Yu Lei 0001 |
A General Model for Reachability Testing of Concurrent Programs. |
ICFEM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Ling Liu, Huaikou Miao |
A Specification-Based Approach to Testing Polymorphic Attributes. |
ICFEM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Nazareno Aguirre, Juan Bicarregui, Lucio Guzmán, T. S. E. Maibaum |
Implementing Dynamic Aggregations of Abstract Machines in the B Method. |
ICFEM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Mahadevan Subramaniam, Parvathi Chundi |
An Approach to Preserve Protocol Consistency and Executability Across Updates. |
ICFEM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Christophe Filliâtre, Claude Marché |
Multi-prover Verification of C Programs. |
ICFEM |
2004 |
DBLP DOI BibTeX RDF |
pointer programs, formal verification and proof, Hoare logic, C programming language |
1 | Marcel Oliveira, Ana Cavalcanti 0001 |
From Circus to JCSP. |
ICFEM |
2004 |
DBLP DOI BibTeX RDF |
concurrency, object-orientation, program development |
1 | Wei Zhang 0004, Haiyan Zhao, Hong Mei 0001 |
A Propositional Logic-Based Method for Verification of Feature Models. |
ICFEM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Fabrice Bouquet, Bruno Legeard, Mark Utting, Nicolas Vacelet |
Faster Analysis of Formal Specifications. |
ICFEM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Yifeng Chen, Zhiming Liu 0001 |
From Durational Specifications to TLA Designs of Timed Automata. |
ICFEM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | J Strother Moore |
On the Adoption of Formal Methods by Industry: The ACL2 Experience. |
ICFEM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Kai Baukus, Ron van der Meyden |
A Knowledge Based Analysis of Cache Coherence. |
ICFEM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Behzad Akbarpour, Sofiène Tahar |
Modeling System C Fixed-Point Arithmetic in HOL. |
ICFEM |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Jun Pang 0001, Bart Karstens, Wan J. Fokkink |
Analyzing the Redesign of a Distributed Lift System in UPPAAL. |
ICFEM |
2003 |
DBLP DOI BibTeX RDF |
|
1 | David von Oheimb, Volkmar Lotz |
Generic Interacting State Machines and Their Instantiation with Dynamic Features. |
ICFEM |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Behzad Bordbar, Kozo Okano |
Verification of Timeliness QoS Properties in Multimedia Systems. |
ICFEM |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Jörn Freiheit, Jonathan Billington |
New Developments in Closed-Form Computation for GSPN Aggregation. |
ICFEM |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Hong Li Yang, Jun Gang Han, Ke Gang Hao |
The Common Semantic Constructs of XML Family. |
ICFEM |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Sanjai Rayadurgam, Anjali Joshi, Mats Per Erik Heimdahl |
Using PVS to Prove Properties of Systems Modelled in a Synchronous Dataflow Language. |
ICFEM |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Yuyue Du, Changjun Jiang |
Towards a Workflow Model of Real-Time Cooperative Systems. |
ICFEM |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Hamdan Dammag, Nimal Nissanke |
A Mathematical Framework for Safecharts. |
ICFEM |
2003 |
DBLP DOI BibTeX RDF |
Step Semantics, Security, Safety, Statecharts, rbac |
1 | Mathai Joseph |
Adding Formalism to Methods or Where and When Will Industry Use Formal Reasoning?. |
ICFEM |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Gwen Salaün, J. Christian Attiogbé |
Formalising an Integrated Language in PVS. |
ICFEM |
2003 |
DBLP DOI BibTeX RDF |
Formal Method Integration, Equivalence Proof, Embedding, Process Algebra, Algebraic Specifications, PVS |
1 | Georg Struth |
A Calculus for Set-Based Program Development. |
ICFEM |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Hong Peng, Sofiène Tahar, Yassine Mokhtari |
Compositional Verification of a Switch Fabric from Nortel Networks. |
ICFEM |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Ian J. Hayes |
Programs as Paths: An Approach to Timing Constraint Analysis. |
ICFEM |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Zhiming Liu 0001, Jifeng He 0001, Xiaoshan Li, Yifeng Chen |
A Relational Model for Formal Object-Oriented Requirement Analysis in UML. |
ICFEM |
2003 |
DBLP DOI BibTeX RDF |
UML, Object-orientation, conceptual models, use-cases, requirement specification |
1 | Bruno Tatibouët, Antoine Requet, Jean-Christophe Voisinet, Ahmed Hammad |
Java Card Code Generation from B Specifications. |
ICFEM |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Kong Woei Susanto, Thomas F. Melham |
An AMBA-ARM7 Formal Verification Platform. |
ICFEM |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Yuechen Qian |
Formal Development of a Distributed Logging Mechanism Supporting Disconnected Updates. |
ICFEM |
2003 |
DBLP DOI BibTeX RDF |
Disconnected Updates, Formal Methods, Consistency, Z, Logs, Data Synchronization |
1 | Peter T. Breuer |
A Formal Model for the Block Device Subsystem of the Linux Kernel. |
ICFEM |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Jim Davies, Charles Crichton |
Using State Diagrams to Describe Concurrent Behaviour. |
ICFEM |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Jessica Chen |
Using Formal Methods to Serialize Synchronization Events. |
ICFEM |
2003 |
DBLP DOI BibTeX RDF |
Reproducible Testing, Formal Engineering Method, Nondeterminism, Labelled Transition Systems |
1 | Mila E. Majster-Cederbaum, Jinzhao Wu |
Adding Action Refinement to Stochastic True Concurrency Models. |
ICFEM |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Beata Sarna-Starosta, C. R. Ramakrishnan 0001 |
Constraint-Based Model Checking of Data-Independent Systems. |
ICFEM |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Schätz, Christian Salzmann |
Service-Based Systems Engineering: Consistent Combination of Services. |
ICFEM |
2003 |
DBLP DOI BibTeX RDF |
model checking, interaction, specification, component, application, consistency, implementation, Service, completeness, tool- support, behavior, formalization, partiality |
1 | Colin O'Halloran |
Model Based Code Verification. |
ICFEM |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Jin Song Dong, Jim Woodcock 0001 (eds.) |
Formal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings |
ICFEM |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Johan Bengtsson, Wang Yi 0001 |
On Clock Difference Constraints and Termination in Reachability Analysis of Timed Automata. |
ICFEM |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Mickaël Kerboeuf, David Nowak, Jean-Pierre Talpin |
Formal Proof of a Polychronous Protocol for Loosely Time-Triggered Architectures. |
ICFEM |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Lars Michael Kristensen, Thomas Mailund |
Efficient Path Finding with the Sweep-Line Method Using External Storage. |
ICFEM |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Angela F. Freitas, Carla Nascimento, Ana Cavalcanti 0001 |
A Refinement Tool for Z. |
ICFEM |
2003 |
DBLP DOI BibTeX RDF |
ZRC, program development, calculation |
1 | Vincenza Carchiolo, Michele Malgeri, Giuseppe Mangioni |
From Specification to Hardware Device: A Synthesis Algorithm. |
ICFEM |
2003 |
DBLP DOI BibTeX RDF |
Rapid System Prototyping, Synthesis, Hardware Design |
1 | Wuwei Shen, Shaoying Liu |
Formalization, Testing and Execution of a Use Case Diagram. |
ICFEM |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Geoffrey Watson |
Compilation by Refinement for a Practical Assembly Language. |
ICFEM |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Steve Reeves, David Streader |
Comparison of Data and Process Refinement. |
ICFEM |
2003 |
DBLP DOI BibTeX RDF |
process refinement, sub-typing, Z, labelled transition systems, data refinement |
1 | Neil J. Robinson |
Incremental Derivation of Abstraction Relations for Data Refinement. |
ICFEM |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Berndt Farwer, Saraswati Kalvala, Kundan Misra |
Controller Synthesis for Object Petri Nets. |
ICFEM |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin W. Long, Colin J. Fidge, Antonio Cerone |
A Z Based Approach to Verifying Security Protocols. |
ICFEM |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Quan Long, Zongyan Qiu, Shengchao Qin |
The Equivalence of Statecharts. |
ICFEM |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Jin Song Dong, Yuan-Fang Li, Jing Sun 0002, Jun Sun 0001, Hai H. Wang |
XML-Based Static Type Checking and Dynamic Visualization for TCOZ. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
TCOZ tool support, XML/XSL, UML/XMI |
1 | Guido Wimmel, Jan Jürjens |
Specification-Based Test Generation for Security-Critical Systems Using Mutations. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
E-Commerce Systems, Security-Critical Systems, Validation and Analysis, Computer-aided Software Engineering (CASE), Formal Methods, Test Case Generation, Test Specification, AutoFocus |
1 | Guangyuan Li, Zhisong Tang |
Modelling Real-Time Systems with Continuous-Time Temporal Logic. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Zhong Ming 0001, Shixian Li, Xiu-rong Fang |
Research on Ontology-Oriented Domain Analysis on MIS. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Subash Shankar |
A Semantic Model of Real-Time UML. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Jun Pang 0001 |
Analysis of a Security Protocol in µCRL. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Adriano C. M. Pereira, Mark A. J. Song, Gustavo Gorgulho, Wagner Meira Jr., Sérgio Vale Aguiar Campos |
A Formal Methodology to Specify E-commerce Systems. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
property patterns, model checking, formal verification, electronic commerce, design specification |
1 | Adolfo Duran, Ana Cavalcanti 0001, Augusto Sampaio |
Refinement Algebra for Formal Bytecode Generation. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Olfa Mosbahi, Leila Jemni Ben Ayed, Samir Ben Ahmed, Jacques Jaray |
A Specification and Validation Technique Based on STATEMATE and FNLOG. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
Semi-formal methods, Real-time Systems, Verification, Formal methods, Integration, Specification, Temporal logic, Validation |
1 | Maritta Heisel, Thomas Santen, Jeanine Souquières |
Toward a Formal Model of Software Components. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Doug Goldson, Greg Reeve, Steve Reeves |
µ-Chart-Based Specification and Refinement. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Fan Guo, Yiyun Chen, RongGui Hu |
Machine Code Type Safety. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Hong Zheng, Shixian Li |
The Description of CORBA Objects Based on Petri Nets. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Ana R. Cavalli, Stéphane Maag |
A New Algorithm for Service Interaction Detection. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
Finite State Machine, Feature interaction, Intelligent Network, Telecommunication service |
1 | Graeme Smith |
Introducing Reference Semantics via Refinement. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Adnan Sherif, Jifeng He 0001 |
Towards a Time Model for Circus. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Mark A. Hale |
Maintaining Referential Integrity on the Web. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Soon-Kyeong Kim, David A. Carrington |
A Formal Metamodeling Approach to a Transformation between the UML State Machine and Object-Z. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Hong Zhu 0002 |
Formal Specification of Evolutionary Software Agents. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
|
1 | David R. Musser, Zhiqing Shao |
Concept Use or Concept Refinement: An Important Distinction in Building Generic Specifications. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
Specification techniques and languages, specification evolution and refinement, formal semantics |
1 | Xuejun Chen |
Specifying a Component Model for Building Dynamically Reconfigurable Distributed Systems. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Yan-Bing Jiang, Wei-Zhong Shao, Zhi-Yi Ma, Yao-Dong Feng |
On the Formalized Semantics of Static Modeling Elements in UML. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Ahmed Hammad, Bruno Tatibouët, Jean-Christophe Voisinet, Weiping Wu |
From a B Specification to UML StateChart Diagrams. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Jessica Chen |
Formal Modelling of Java GUI Event Handling. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
Java Swing and AWT, Model Checking, Concurrency, Nondeterminism, Labelled Transition Systems |
1 | Huaikou Miao, Ling Liu, Li Li |
Formalizing UML Models with Object-Z. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
|
1 | M. Hasan Zobair, Sofiène Tahar |
Formal Verification of a SONET Telecom System Block. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Hugh Anderson |
Abstract Interpretation with a Theorem Prover. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Jiayue Chang, Huadong Ma |
Modeling the Architecture for Component-Based E-commerce System. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
|
1 | J. Christian Attiogbé |
Mechanization of an Integrated Approach: Shallow Embedding into SAL/PVS. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Yuyue Du, Changjun Jiang |
Formal Representation and Analysis of Batch Stock Trading Systems by Logical Petri Net Workflows. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Amr T. Abdel-Hamid, Sofiène Tahar, John Harrison 0001 |
Enabling Hardware Verification through Design Changes. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Jinfeng Huang, Ad Verschueren, Henri Aalderink, Johan J. Lukkien |
A Calculus for Mobile Network Systems. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Ralph-Johan Back |
SFI: A Refinement Based Layered Software Architecture. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Hassan B. Diab, Marc Frappier, Richard St-Denis |
A Formal Definition of Function Points for Automated Measurement of B Specifications. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Sibylle Peuker, Ian J. Hayes |
Towards a Refinement Calculus for Concurrent Real-Time Programs. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Ji Wang 0001, Wei Dong 0006, Zhichang Qi |
Slicing Hierarchical Automata for Model Checking UML Statecharts. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Behzad Bordbar, John Derrick, A. Gill Waters |
A UML Approach to the Design of Open Distributed Systems. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Tim Miller, Paul A. Strooper |
Model-Based Specification Animation Using Testgraphs. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Yuan Liu, Baowen Xu, Zhenqiang Chen |
Detecting Deadlock in Ada Rendezvous Flow Structure Based on Process Algebra. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Orieta Celiku, Joakim von Wright |
Theorem Prover Support for Precondition and Correctness Calculation. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Ying Liu, Naixiao Zhang |
On Concept-Based Definition of Domain-Specific Languages. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
Evolving Algebra, Language Concept, Reuse, Domain-Specific Languages, Attribute Grammar, Dynamic Semantics, Static Semantics |
1 | Shengchao Qin, Jifeng He 0001, Zongyan Qiu, Naixiao Zhang |
Hardware/Software Partitioning in Verilog. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
|