Search results for "ICFEM"

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

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