Search results for "ICFEM"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Carlos Gonzalía, Annabelle McIver	Automating Refinement Checking in Probabilistic System Design.	ICFEM	2007	DBLP DOI BibTeX RDF	algebraic rewriting system for probability, linear satisfiability, refinement, Probabilistic systems, probabilistic verification
1	Chunqing Chen, Jin Song Dong, Jun Sun 0001	Machine-Assisted Proof Support for Validation Beyond Simulink.	ICFEM	2007	DBLP DOI BibTeX RDF	Formal Verification, PVS, Simulink, Real-Time Specifications
1	Rasmus Adler, Ina Schaefer, Tobias Schüle, Eric Vecchié	From Model-Based Design to Formal Verification of Adaptive Embedded Systems.	ICFEM	2007	DBLP DOI BibTeX RDF
1	Jean-Raymond Abrial	A System Development Process with Event-B and the Rodin Platform.	ICFEM	2007	DBLP DOI BibTeX RDF
1	Heike Wehrheim	Incremental Slicing.	ICFEM	2006	DBLP DOI BibTeX RDF
1	Bernhard Beckert, Gerd Beuster	A Method for Formalizing, Analyzing, and Verifying Secure User Interfaces.	ICFEM	2006	DBLP DOI BibTeX RDF
1	Jing Li 0062, Jifeng He 0001, Geguang Pu, Huibiao Zhu	Towards the Semantics for Web Service Choreography Description Language.	ICFEM	2006	DBLP DOI BibTeX RDF	exception handling, operational semantics, choreography, compensation, WS-CDL
1	Zhou Chaochen	Program Verification Through Computer Algebra.	ICFEM	2006	DBLP DOI BibTeX RDF
1	A. W. Roscoe 0001, Zhenzhong Wu	Verifying Statemate Statecharts Using CSP and FDR.	ICFEM	2006	DBLP DOI BibTeX RDF
1	Luigia Petre, Kaisa Sere, Marina Waldén	A Language for Modeling Network Availability.	ICFEM	2006	DBLP DOI BibTeX RDF
1	Chunqing Chen, Jin Song Dong	Applying Timed Interval Calculus to Simulink Diagrams.	ICFEM	2006	DBLP DOI BibTeX RDF	Verification, Z, Simulink, Real-Time Specification
1	Isabel Nunes, Antónia Lopes, Vasco Thudichum Vasconcelos, João Abreu, Luís S. Reis	Checking the Conformance of Java Classes Against Algebraic Specifications.	ICFEM	2006	DBLP DOI BibTeX RDF
1	Yan Zhang 0007, Jun Hu, Xiaofeng Yu, Tian Zhang 0001, Xuandong Li, Guoliang Zheng	Scenario-Based Component Behavior Derivation.	ICFEM	2006	DBLP DOI BibTeX RDF
1	Soon-Kyeong Kim, David A. Carrington	A Tool for a Formal Pattern Modeling Language.	ICFEM	2006	DBLP DOI BibTeX RDF	Formal Pattern Modeling Language, Pattern Tool, Design Pattern, Model Transformation, Object-Z, Model Evolution
1	Jin Song Dong, Ping Hao, Jun Sun 0001, Xian Zhang 0007	A Reasoning Method for Timed CSP Based on Constraint Solving.	ICFEM	2006	DBLP DOI BibTeX RDF
1	Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Chao Cai, Geguang Pu	Type Checking Choreography Description Language.	ICFEM	2006	DBLP DOI BibTeX RDF	Formal model, Choreography, Type checking, WS-CDL
1	Nikolai Tillmann, Feng Chen 0006, Wolfram Schulte	Discovering Likely Method Specifications.	ICFEM	2006	DBLP DOI BibTeX RDF
1	B. Meenakshi 0002, Abhishek Bhatnagar, Sudeepa Roy	Tool for Translating Simulink Models into Input Language of a Model Checker.	ICFEM	2006	DBLP DOI BibTeX RDF
1	Gary T. Leavens	JML's Rich, Inherited Specifications for Behavioral Subtypes.	ICFEM	2006	DBLP DOI BibTeX RDF
1	E. Allen Emerson, Richard J. Trefler, Thomas Wahl	Reducing Model Checking of the Few to the One.	ICFEM	2006	DBLP DOI BibTeX RDF
1	Andreas Bauer 0002, Martin Leucker, Jonathan Streit	SALT - Structured Assertion Language for Temporal Logic.	ICFEM	2006	DBLP DOI BibTeX RDF
1	Jessica Chen, Lihua Duan	Conditions for Avoiding Controllability Problems in Distributed Testing.	ICFEM	2006	DBLP DOI BibTeX RDF	unique input/output sequence, controllability, finite state machine, Conformance testing, test sequence
1	Puwei Wang, Zhi Jin, Lin Liu 0001	Environment Ontology-Based Capability Specification for Web Service Discovery.	ICFEM	2006	DBLP DOI BibTeX RDF	Environment Ontology, Capability Specification, Service Discovery
1	John Derrick, Siobhán North, Tony Simons 0001	Issues in Implementing a Model Checker for Z.	ICFEM	2006	DBLP DOI BibTeX RDF	model-checking, Z, SAL
1	Nicolas Marti, Reynald Affeldt, Akinori Yonezawa	Formal Verification of the Heap Manager of an Operating System Using Separation Logic.	ICFEM	2006	DBLP DOI BibTeX RDF
1	Leo Freitas, Ana Cavalcanti 0001, Jim Woodcock 0001	Taking Our Own Medicine: Applying the Refinement Calculus to State-Rich Refinement Model Checking.	ICFEM	2006	DBLP DOI BibTeX RDF
1	Kazuhiro Ogata 0001, Masahiro Nakano, Weiqiang Kong, Kokichi Futatsugi	Induction-Guided Falsification.	ICFEM	2006	DBLP DOI BibTeX RDF	observational transition system (OTS), invariant, induction, counterexample, Maude, CafeOBJ
1	Samira Tasharofi, Sepand Ansari, Marjan Sirjani	Generating Test Cases for Constraint Automata by Genetic Symbiosis Algorithm.	ICFEM	2006	DBLP DOI BibTeX RDF	finite-state machine testing, symbiotic evolutionary algorithms, genetic algorithms, automatic test data generation, Constraint automata
1	Xiaodong Yi 0002, Ji Wang 0001, Xuejun Yang	Stateful Dynamic Partial-Order Reduction.	ICFEM	2006	DBLP DOI BibTeX RDF
1	Nikola Trcka	Verifying chi Models of Industrial Systems with Spin.	ICFEM	2006	DBLP DOI BibTeX RDF
1	Xiaoning Ding, Jun Wei 0001, Tao Huang 0001	User-Defined Atomicity Constraint: A More Flexible Transaction Model for Reliable Service Composition.	ICFEM	2006	DBLP DOI BibTeX RDF
1	Tim McComb, Luke Wildman	Verifying Abstract Information Flow Properties in Fault Tolerant Security Devices.	ICFEM	2006	DBLP DOI BibTeX RDF
1	Brijesh Dongol	Formalising Progress Properties of Non-blocking Programs.	ICFEM	2006	DBLP DOI BibTeX RDF
1	Tomi Westerlund, Juha Plosila	Time Aware Modelling and Analysis of Multiclocked VLSI Systems.	ICFEM	2006	DBLP DOI BibTeX RDF	Timed Action Systems, formal methods, time, GALS
1	Tarek Sadani, Marc Boyer, Pierre de Saqui-Sannes, Jean-Pierre Courtiat	Mapping RT-LOTOS Specifications into Time Petri Nets.	ICFEM	2006	DBLP DOI BibTeX RDF
1	Xiangpeng Zhao, Quan Long, Zongyan Qiu	Model Checking Dynamic UML Consistency.	ICFEM	2006	DBLP DOI BibTeX RDF	Simulation, Algorithm, Model Checking, UML, Semantics, Consistency
1	Bart Jacobs 0002, Jan Smans, Frank Piessens, Wolfram Schulte	A Statically Verifiable Programming Model for Concurrent Object-Oriented Programs.	ICFEM	2006	DBLP DOI BibTeX RDF
1	Jean-Raymond Abrial, Michael J. Butler, Stefan Hallerstede, Laurent Voisin	An Open Extensible Tool Environment for Event-B.	ICFEM	2006	DBLP DOI BibTeX RDF
1	Zhiming Liu 0001, Jifeng He 0001 (eds.)	Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings	ICFEM	2006	DBLP DOI BibTeX RDF
1	Douglas A. Creager, Andrew C. Simpson	Towards a Fully Generic Theory of Data.	ICFEM	2006	DBLP DOI BibTeX RDF
1	J. Christian Attiogbé	Multi-process Systems Analysis Using Event B: Application to Group Communication Systems.	ICFEM	2006	DBLP DOI BibTeX RDF	Event B, Dynamic Architecture, Group Communication Systems, Property verification
1	John A. McDermid, Andy Galloway	Three Perspectives in Formal Engineering.	ICFEM	2006	DBLP DOI BibTeX RDF
1	Marcelo d'Amorim, Ahmed Sobeih, Darko Marinov	Optimized Execution of Deterministic Blocks in Java PathFinder.	ICFEM	2006	DBLP DOI BibTeX RDF
1	Jin Song Dong, Yang Liu 0003, Jun Sun 0001, Xian Zhang 0007	Verification of Computation Orchestration Via Timed Automata.	ICFEM	2006	DBLP DOI BibTeX RDF
1	Aleksandar S. Dimovski, Ranko Lazic 0001	Assume-Guarantee Software Verification Based on Game Semantics.	ICFEM	2006	DBLP DOI BibTeX RDF
1	Larissa Meinicke, Ian J. Hayes	Reasoning Algebraically About Probabilistic Loops.	ICFEM	2006	DBLP DOI BibTeX RDF
1	Harald Fecher, Jens Schönborn, Marcel Kyas, Willem P. de Roever	29 New Unclarities in the Semantics of UML 2.0 State Machines.	ICFEM	2005	DBLP DOI BibTeX RDF
1	Michael Altenhofen, Egon Börger, Jens Lemcke	An Abstract Model for Process Mediation.	ICFEM	2005	DBLP DOI BibTeX RDF
1	Mourad Debbabi, Mohamed Mostafa Saleh	Game Semantics Model for Security Protocols.	ICFEM	2005	DBLP DOI BibTeX RDF
1	Kung-Kiu Lau, Richard Banach (eds.)	Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings	ICFEM	2005	DBLP DOI BibTeX RDF
1	Ingo Brückner, Heike Wehrheim	Slicing an Integrated Formal Method for Verification.	ICFEM	2005	DBLP DOI BibTeX RDF
1	Guy Edward Gallasch, Bing Han, Jonathan Billington	Sweep-Line Analysis of TCP Connection Management.	ICFEM	2005	DBLP DOI BibTeX RDF	TCP Connection Management, Sweep-line analysis, Verification, Coloured Petri Nets, Reachability analysis, State Space methods
1	Sandrine Blazy, Xavier Leroy	Formal Verification of a Memory Model for C-Like Imperative Languages.	ICFEM	2005	DBLP DOI BibTeX RDF
1	Akram Idani, Yves Ledru, Didier Bert	Derivation of UML Class Diagrams as Static Views of Formal B Developments.	ICFEM	2005	DBLP DOI BibTeX RDF	UML, Formal concept analysis, B, Method integration
1	M. M. Adams, Philip B. Clayton	ClawZ: Cost-Effective Formal Verification for Control Systems.	ICFEM	2005	DBLP DOI BibTeX RDF	industrial formal verification, ProofPower, Eurofighter Typhoon, Ada, refinement, Z, control systems, safety-critical software, Simulink, real-time software, formal proof
1	Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard	How Symbolic Animation Can Help Designing an Efficient Formal Model.	ICFEM	2005	DBLP DOI BibTeX RDF	Symbolic animation, properties detection, weak invariant, strong preconditions, unreachable effects, constraints
1	Johannes Mayer	Adaptive Random Testing by Bisection with Restriction.	ICFEM	2005	DBLP DOI BibTeX RDF
1	Ahmed Sobeih, Mahesh Viswanathan 0001, Darko Marinov, Jennifer C. Hou	Finding Bugs in Network Protocols Using Simulation Code and Protocol-Specific Heuristics.	ICFEM	2005	DBLP DOI BibTeX RDF
1	Jun Sun 0001, Yuan-Fang Li, Hai H. Wang, Jing Sun 0002	Visualizing and Simulating Semantic Web Services Ontologies.	ICFEM	2005	DBLP DOI BibTeX RDF	Play-Engine, Semantic Web Services, OWL-S, LSC
1	Jens Brandt 0001, Klaus Schneider 0001	Using Three-Valued Logic to Specify and Verify Algorithms of Computational Geometry.	ICFEM	2005	DBLP DOI BibTeX RDF
1	Arjan J. Mooij, Wieger Wesselink	Incremental Verification of Owicki/Gries Proof Outlines Using PVS.	ICFEM	2005	DBLP DOI BibTeX RDF
1	Shaoying Liu, Fumiko Nagoya, Yuting Chen, Masashi Goya, John A. McDermid	An Automated Approach to Specification-Based Program Inspection.	ICFEM	2005	DBLP DOI BibTeX RDF
1	Jing Sun 0002, Hai H. Wang, Sasanka Athauda, Tazkiya Sheik	SVG Web Environment for Z Specification Language.	ICFEM	2005	DBLP DOI BibTeX RDF	Z formal specification language, Web based tool support, Scalable Vector Graphics
1	Anthony Hall	Realising the Benefits of Formal Methods.	ICFEM	2005	DBLP DOI BibTeX RDF
1	Byron Cook, Georges Gonthier	Using Stålmarck's Algorithm to Prove Inequalities.	ICFEM	2005	DBLP DOI BibTeX RDF
1	Ismail Assayad, Valérie Bertin, F.-X. Defaut, Philippe Gerner, O. Quévreux, Sergio Yovine	Jahuel: A Formal Framework for Software Synthesis.	ICFEM	2005	DBLP DOI BibTeX RDF
1	Farn Wang	Symbolic Verification of Distributed Real-Time Systems with Complex Synchronizations.	ICFEM	2005	DBLP DOI BibTeX RDF	model-checking, verification, real-time, synchronization, distributed
1	Laura Brandán Briones, Ed Brinksma	Testing Real-Time Multi Input-Output Systems.	ICFEM	2005	DBLP DOI BibTeX RDF
1	Yanjun Wen, Ji Wang 0001, Zhi-Chang Qi	2/3 Alternating Simulation Between Interface Automata.	ICFEM	2005	DBLP DOI BibTeX RDF
1	Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar A. Malik	Formal Model-Driven Development of Communicating Systems.	ICFEM	2005	DBLP DOI BibTeX RDF
1	Juha Plosila, Pasi Liljeberg, Jouni Isoaho	Modelling and Refinement of an On-Chip Communication Architecture.	ICFEM	2005	DBLP DOI BibTeX RDF
1	Ana C. R. Paiva, João C. P. Faria, Nikolai Tillmann, Raul F. A. M. Vidal	A Model-to-Implementation Mapping Tool for Automated Model-Based GUI Testing.	ICFEM	2005	DBLP DOI BibTeX RDF
1	Nazareno Aguirre, Marcelo Arroyo, Juan Bicarregui, Lucio Guzmán, T. S. E. Maibaum	Towards Dynamically Communicating Abstract Machines in the B Method.	ICFEM	2005	DBLP DOI BibTeX RDF
1	Michael Leuschel, Michael J. Butler	Automatic Refinement Checking for B.	ICFEM	2005	DBLP DOI BibTeX RDF	Constraints.1, Model Checking, Animation, Logic Programming, Tool Support, B-Method, Refinement Checking
1	John M. Rushby	An Evidential Tool Bus.	ICFEM	2005	DBLP DOI BibTeX RDF
1	Alistair Barros, Egon Börger	A Compositional Framework for Service Interaction Patterns and Interaction Flows.	ICFEM	2005	DBLP DOI BibTeX RDF
1	Francesc-Xavier Babot, Miquel Bertran, August Climent	A Static Communication Elimination Algorithm for Distributed System Verification.	ICFEM	2005	DBLP DOI BibTeX RDF
1	Jin Song Dong, Ping Hao, Shengchao Qin, Xian Zhang 0007	The Semantics and Tool Support of OZTA.	ICFEM	2005	DBLP DOI BibTeX RDF	Timed Patterns, Tool and Verification, Semantics
1	Bernhard Beckert, Steffen Schlager, Peter H. Schmitt	An Improved Rule for While Loops in Deductive Program Verification.	ICFEM	2005	DBLP DOI BibTeX RDF
1	Martín Abadi, Mihai Budiu, Úlfar Erlingsson, Jay Ligatti	A Theory of Secure Control Flow.	ICFEM	2005	DBLP DOI BibTeX RDF
1	Mila E. Majster-Cederbaum, Jinzhao Wu, Houguang Yue, Naijun Zhan	Refinement of Actions for Real-Time Concurrent Systems with Causal Ambiguity.	ICFEM	2004	DBLP DOI BibTeX RDF	causal ambiguity, timed event structure with causal ambiguity, Concurrency, action refinement
1	Jim Davies, Wolfram Schulte, Michael Barnett 0001 (eds.)	Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings	ICFEM	2004	DBLP DOI BibTeX RDF
1	Jonathan Jacky	Model-Based Testing with Spec#.	ICFEM	2004	DBLP DOI BibTeX RDF
1	Nuno Amálio, Susan Stepney, Fiona Polack	Formal Proof from UML Models.	ICFEM	2004	DBLP DOI BibTeX RDF	UML, Z, consistency checking, formal proof, model analysis
1	Jifeng He 0001, Carroll Morgan, Annabelle McIver	Deriving Probabilistic Semantics Via the 'Weakest Completion'.	ICFEM	2004	DBLP DOI BibTeX RDF
1	Konstantine Arkoudas, Karen Zee, Viktor Kuncak, Martin C. Rinard	Verifying a File System Implementation.	ICFEM	2004	DBLP DOI BibTeX RDF
1	Peter G. Neumann	When Can Formal Methods Make a Real Difference?	ICFEM	2004	DBLP DOI BibTeX RDF
1	Jessica Chen, Xiaoshan Zhao	Formal Models for Web Navigations with Session Control and Browser Cache.	ICFEM	2004	DBLP DOI BibTeX RDF	Model Checking, Operational Semantics, Web Caching, Specification-based Testing, Labelling Transition Systems, Web Navigation
1	Bernhard Schätz	Model-Based Development: Combining Engineering Approaches and Formal Techniques.	ICFEM	2004	DBLP DOI BibTeX RDF
1	Michael Balser, Simon Bäumler, Alexander Knapp, Wolfgang Reif, Andreas Thums	Interactive Verification of UML State Machines.	ICFEM	2004	DBLP DOI BibTeX RDF
1	Nicolae Goga, Judi Romijn	Guiding Spin Simulation.	ICFEM	2004	DBLP DOI BibTeX RDF
1	Chris George	Tutorial on the RAISE Language, Method and Tools.	ICFEM	2004	DBLP DOI BibTeX RDF
1	Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom	Memory-Model-Sensitive Data Race Analysis.	ICFEM	2004	DBLP DOI BibTeX RDF
1	Abhay Vardhan, Koushik Sen, Mahesh Viswanathan 0001, Gul Agha	Learning to Verify Safety Properties.	ICFEM	2004	DBLP DOI BibTeX RDF
1	YoungMin Kwon, Gul Agha	Linear Inequality LTL (iLTL): A Model Checker for Discrete Time Markov Chains.	ICFEM	2004	DBLP DOI BibTeX RDF
1	Daniel Kroening, Alex Groce, Edmund M. Clarke	Counterexample Guided Abstraction Refinement Via Program Execution.	ICFEM	2004	DBLP DOI BibTeX RDF
1	Shaoying Liu	Formal Engineering for Industrial Software Development - An Introduction to the SOFL Specification Language and Method.	ICFEM	2004	DBLP DOI BibTeX RDF
1	Bill Aldrich, Ansgar Fehnker, Peter H. Feiler, Zhi Han, Bruce H. Krogh, Eric Lim, Shiva Sivashankar	Managing Verification Activities Using SVM.	ICFEM	2004	DBLP DOI BibTeX RDF
1	Marcelo F. Frias, Carlos López Pombo, Nazareno Aguirre	An Equational Calculus for Alloy.	ICFEM	2004	DBLP DOI BibTeX RDF
1	Tao Xie 0001, David Notkin	Automatic Extraction of Object-Oriented Observer Abstractions from Unit-Test Executions.	ICFEM	2004	DBLP DOI BibTeX RDF

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