|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 69 occurrences of 61 keywords
|
|
|
Results
Found 662 publication records. Showing 662 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Yu-Tong He, Ryszard Janicki |
Verification of the WAP Transaction Layer. |
SEFM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Naiyong Jin, Jifeng He 0001 |
Resource Models and Pre-Compiler Specification for Hardware/Software Co-Design Language. |
SEFM |
2004 |
DBLP DOI BibTeX RDF |
Specification, Refinement, Program Models, Resource Constraints |
1 | Geguang Pu, Xiangpeng Zhao, Shuling Wang, Zongyan Qiu, Jifeng He 0001, Wang Yi 0001 |
An Approach to Hardware/Software Partitioning for Multiple Hardware Devices Model. |
SEFM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Marcel Oliveira, Manuela Xavier, Ana Cavalcanti 0001 |
Refine and Gabriel: Support for Refinement and Tactics. |
SEFM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Tien Nhut Nguyen, Ethan V. Munson |
A Formalism for Conformance Analysis and Its Applications. |
SEFM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Cristiano Bertolini, André G. Farina, Paulo Fernandes 0001, Flávio Moreira Oliveira |
Test Case Generation Using Stochastic Automata Networks: Quantitative Analysis. |
SEFM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Ridha Khédri, Imen Bourguiba |
Formal Derivation of Functional Architectural Design. |
SEFM |
2004 |
DBLP DOI BibTeX RDF |
architectural derivation, scenario integration, design connectors, formal architectural design, formal methods, requirements, relation algebra, Architectural design, design component |
1 | Tobias Schüle, Klaus Schneider 0001 |
Global vs. Local Model Checking: A Comparison of Verification Techniques for Infinite State Systems. |
SEFM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Suman Roy 0001 |
Symbolic Verification of Infinite Systems using a Finite Union of DFAs. |
SEFM |
2004 |
DBLP DOI BibTeX RDF |
Symbolic Verification, Accelerations, DFA, Infinite State Systems, FIFO queues |
1 | Florian Kammüller, Jeff W. Sanders |
Heuristics for Refinement Relations. |
SEFM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Berghofer, Tobias Nipkow |
Random Testing in Isabelle/HOL. |
SEFM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jian Zhang, Chen Xu, Xiaoliang Wang |
Path-Oriented Test Data Generation Using Symbolic Execution and Constraint Solving Techniques. |
SEFM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jun Pang 0001, Jaco van de Pol, Miguel Valero Espada |
Abstraction of Parallel Uniform Processes with Data. |
SEFM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Georg Struth |
Automated Element-Wise Reasoning with Sets. |
SEFM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Hong Mei 0001 |
ABC: Supporting Software Architectures in the Whole Lifecycle. |
SEFM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Ingo Schinz, Tobe Toben, Christian Mrugalla, Bernd Westphal |
The Rhapsody UML Verification Environment. |
SEFM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Einar Broch Johnsen, Olaf Owe |
An Asynchronous Communication Model for Distributed Concurrent Objects. |
SEFM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Grégoire Hamon, Leonardo Mendonça de Moura, John M. Rushby |
Generating Efficient Test Sets with a Model Checker. |
SEFM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Christopher A. Rouff, Amy Vanderbilt, Michael G. Hinchey, Walt Truszkowski, James L. Rash |
Properties of a Formal Method for Prediction of Emergent Behaviors in Swarm-Based Systems. |
SEFM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Lian Wen, R. Geoff Dromey |
From Requirements Change to Design Change: A Formal Path. |
SEFM |
2004 |
DBLP DOI BibTeX RDF |
traceability analysis, genetic software engineering, requirements engineering, software evolution, Software change, behavior trees, software automation |
1 | Alexander Fronk |
Using Relation Algebra for the Analysis of Petri Nets in a CASE Tool Based Approach. |
SEFM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Hubert Baumeister, Alexander Knapp, Martin Wirsing |
Property-Driven Development. |
SEFM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | A. Prasad Sistla, Xiaodong Wang, Min Zhou |
Checking Extended CTL properties Using Guarded Quotient Structures. |
SEFM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Farhad Arbab, Christel Baier, Frank S. de Boer, Jan J. M. M. Rutten |
Models and Temporal Logics for Timed Component Connectors. |
SEFM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Neil Evans, Helen Treharne, Régine Laleau, Marc Frappier |
How to Verify Dynamic Properties of Information Systems. |
SEFM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Ying Hu 0003, Clark W. Barrett, Benjamin Goldberg |
Theory and Algorithms for the Generation and Validation of Speculative Loop Optimizations. |
SEFM |
2004 |
DBLP DOI BibTeX RDF |
Compiler validation, speculative loop optimizations, formal methods, translation validation |
1 | Richard Torbjørn Sanders, Rolv Bræk |
Modeling Peer-to-Peer Service Goals in UML. |
SEFM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Beckert, Vladimir Klebanov |
Proof Reuse for Deductive Program Verification. |
SEFM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Michel Bidoit, Rolf Hennicker, Alexander Knapp, Hubert Baumeister |
Glass-Box and Black-Box Views on Object-Oriented Specifications. |
SEFM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Mathai Joseph |
Care, Feeding and Growth of Software Systems. |
SEFM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Xinbei Tang, Jim Woodcock 0001 |
Towards Mobile Processes in Unifying Theories. |
SEFM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jinzhao Wu, Houguang Yue |
Towards Action Refinement for Concurrent Systems with Causal Ambiguity. |
SEFM |
2004 |
DBLP DOI BibTeX RDF |
causal ambiguity, event structures with causal ambiguity, Concurrency, action refinement |
1 | Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina |
Decidability Results for Parametric Probabilistic Transition Systems with an Application to Security. |
SEFM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Richard O. Sinnott |
The Formal, Tool Supported Development of Real Time Systems. |
SEFM |
2004 |
DBLP DOI BibTeX RDF |
Real-Time Systems, Validation, SDL |
1 | Sun Meng, Zhang Naixiao, Luís Soares Barbosa |
On Semantics and Refinement of UML Statecharts: A Coalgebraic View. |
SEFM |
2004 |
DBLP DOI BibTeX RDF |
Semantics, Refinement, Statechart, Coalgebra |
1 | Noriaki Yoshiura |
Finding the Causes of Unrealizability of Reactive System Formal Specifications. |
SEFM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Raman Kazhamiakin, Marco Pistore, Marco Roveri |
Formal Verification of Requirements using SPIN: A Case Study on Web Services. |
SEFM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | K. Rustan M. Leino, Wolfram Schulte |
Exception Safety for C#. |
SEFM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Ulka Shrotri, Purandar Bhaduri, R. Venkatesh 0001 |
Model Checking Visual Specification of Requirements. |
SEFM |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Roger Duke, Luke Wildman, Brad Long |
Modelling Java Concurrency with Object-Z. |
SEFM |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Hongwei Xi |
Facilitating Program Verification with Dependent Types. |
SEFM |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Doug Goldson, Greg Reeve |
Semantic Properties of mu-Charts. |
SEFM |
2003 |
DBLP DOI BibTeX RDF |
|
1 | R. Geoff Dromey |
From Requirements to Design: Formalizing the Key Steps. |
SEFM |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Nadia Bouassida, Hanêne Ben-Abdallah, Faïez Gargouri, Abdelmajid Ben Hamadou |
Formalizing the Framework Design Language F-UML. |
SEFM |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Davide Sangiorgi |
Taming Mobile Processes Using Types. |
SEFM |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Tim McComb, Graeme Smith 0001 |
Animation of Object-Z Specifications Using a Z Animator. |
SEFM |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Frank Feiks, David Hemer |
Specification Matching of Object-Oriented Components. |
SEFM |
2003 |
DBLP DOI BibTeX RDF |
OO components, retrieval, specification matching |
1 | David Déharbe, Silvio Ranise |
Light-Weight Theorem Proving for Debugging and Verifying Units of Code. |
SEFM |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina |
Weak Bisimulation for Probabilistic Timed Automata and Applications to Security. |
SEFM |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Rahul Bhatt, Dave LaFollette, Arjun Kapur |
The Fallacy of Spec-Based Design. |
SEFM |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Egidio Astesiano, Gianna Reggio |
Towards a Well-Founded UML-Based Development Method. |
SEFM |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Geoffrey Watson, Colin J. Fidge |
A Partial-Correctness Semantics for Modelling Assembler Programs. |
SEFM |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Amjad Gawanmeh, Sofiène Tahar, Kirsten Winter |
Formal Verification of ASM Designs Using the MDG Tool. |
SEFM |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Beckert, Peter H. Schmitt |
Program Verification Using Change Information. |
SEFM |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi |
Refinement Operators and Information Flow Security. |
SEFM |
2003 |
DBLP DOI BibTeX RDF |
|
1 | |
1st International Conference on Software Engineering and Formal Methods (SEFM 2003), 22-27 September 2003, Brisbane, Australia |
SEFM |
2003 |
DBLP BibTeX RDF |
|
1 | Muan Yong Ng, Michael J. Butler |
Towards Formalizing UML State Diagrams in CSP. |
SEFM |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Tim Miller, Paul A. Strooper |
Supporting the Software Testing Process through Specification Animation. |
SEFM |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Boris Litvak, Shmuel S. Tyszberowicz, Amiram Yehudai |
Behavioral Consistency Validation of UML Diagrams. |
SEFM |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Richard O. Sinnott |
Architecting Specifications for Test Case Generation. |
SEFM |
2003 |
DBLP DOI BibTeX RDF |
SDL, Test Case Generation, TTCN |
1 | Yan Jin, Charles Lakos, Robert Esser |
Component-Based Design and Analysis: A Case Study. |
SEFM |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Marco Carbone, Mogens Nielsen, Vladimiro Sassone |
A Formal Model for Trust in Dynamic Networks. |
SEFM |
2003 |
DBLP DOI BibTeX RDF |
|
Displaying result #601 - #662 of 662 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7] |
|