|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 302 occurrences of 198 keywords
|
|
|
Results
Found 800 publication records. Showing 800 according to the selection in the facets
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 |
|
Displaying result #501 - #600 of 800 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ >>] |
|