Trusted computing systems: the ProCoS experience
ICSE '92 Proceedings of the 14th international conference on Software engineering
Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector
IEEE Transactions on Software Engineering - Special issue: best papers of the 1996 international symposium on software testing and analysis ISSTA'96
Isomorph-free model enumeration: a new method for checking relational specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Distributed Feature Composition: A Virtual Architecture for Telecommunications Services
IEEE Transactions on Software Engineering
Proceedings of the Conference on The Future of Software Engineering
Completeness in formal specification language design for process-control systems
FMSP '00 Proceedings of the third workshop on Formal methods in software practice
Proceedings of the 2001 ACM symposium on Applied computing
A graphical user interface for executing formal specifications
Proceedings of the 2001 ACM symposium on Applied computing
Specification, Refinement and Verification of Concurrent Systems—An Integration of Object-Z and CSP
Formal Methods in System Design
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Refinement and state machine abstraction
Theoretical Computer Science
Theoretical Computer Science
Experience teaching Z with tool and web support
ACM SIGSOFT Software Engineering Notes
On systematic design of globally consistent executable assertions in embedded software
Proceedings of the joint conference on Languages, compilers and tools for embedded systems: software and compilers for embedded systems
State-based approaches: from Z to object-Z
Formal methods for distributed processing
A compliance notation for verifying concurrent systems
Proceedings of the 24th International Conference on Software Engineering
What design heuristics may enhance the utility of a formal specification?
SAICSIT '02 Proceedings of the 2002 annual research conference of the South African institute of computer scientists and information technologists on Enablement through technology
Annals of Software Engineering
A Formal Object Approach to the Design of ZML
Annals of Software Engineering
The Real-Time Process Algebra (RTPA)
Annals of Software Engineering
Logic Control and “Reactive” Systems: Algorithmization and Programming
Automation and Remote Control
The Model-Composition Problem in User-Interface Generation
Automated Software Engineering
Executing Formal Specifications with Concurrent Constraint Programming
Automated Software Engineering
A Formal Framework for Viewpoint Consistency
Formal Methods in System Design
Is Proof More Cost-Effective Than Testing?
IEEE Transactions on Software Engineering
Comparing refinements for failure and bisimulation semantics
Fundamenta Informaticae
Applying RT-Z to Develop Safety-Critical Systems
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Developing Quality Software Systems Using the SOFL Formal Engineering Method
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
XML-Based Static Type Checking and Dynamic Visualization for TCOZ
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Modelling Coordinated Atomic Actions in Timed CSP
FTRTFT '00 Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Component-Based Synthesis of Dependable Embedded Software
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
Formal Methods for Industrial Products
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Analysis of Compiled Code: A Prototype Formal Model
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Program Development and Specification Refinement in the Schema Calculus
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Handling Inconsistencies in Z Using Quasi-Classical Logic
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Checking Z Data Refinements Using an Animation Tool
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Loose Specification and Refinement in Z
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Controlling Control Systems: An Application of Evolving Retrenchment
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
A Theory of Generalised Substitutions
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
A Single Complete Refinement Rule for Demonic Specifications
TCS '00 Proceedings of the International Conference IFIP on Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics
Model Checking Generic Container Implementations
Selected Papers from the International Seminar on Generic Programming
Semantic Web for Extending and Linking Formalisms
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
A Formal Basis for a Program Compilation Proof Tool
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
The Value of Verification: Positive Experience of Industrial Proof
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Systems Development Using Z Generics
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Relating Z and First-Order Logic
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Enhancing the Pre- and Postcondition Technique for More Expressive Specifications
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
A Fixpoint Theory for Non-monotonic Parallelism
CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic
How to Write a Healthiness Condition
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Structural Refinement in Object-Z/CSP
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
mu-Charts and Z: Hows, Whys, and Wherefores
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Combining Specification Techniques for Processes, Data and Time
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
Segregation with Communication
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
A graphical user interface for editing formal specification objects
Journal of Computing Sciences in Colleges
CSP-OZ-DC: a combination of specification techniques for processes, data and time
Nordic Journal of Computing
A Rigorous Approach to Reviewing Formal Specifications
SEW '02 Proceedings of the 27th Annual NASA Goddard Software Engineering Workshop (SEW-27'02)
Refinement and Verification of Concurrent Systems Specified in Object-Z and CSP
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Formal approaches to systems analysis using UML: an overview
Advanced topics in database research vol. 1
A fixpoint theory for non-monotonic parallelism
Theoretical Computer Science
The dMARS Architecture: A Specification of the Distributed Multi-Agent Reasoning System
Autonomous Agents and Multi-Agent Systems
Reliable and accountable system design
The Knowledge Engineering Review
Outline of a Theory of Strongly Semantic Information
Minds and Machines
Abstracting refinements for transformation
Nordic Journal of Computing
ACM SIGSOFT Software Engineering Notes
A combined approach to checking web ontologies
Proceedings of the 13th international conference on World Wide Web
Verifying DAML+OIL and Beyond in Z/EVES
Proceedings of the 26th International Conference on Software Engineering
Software Modeling Techniques and the Semantic Web
Proceedings of the 26th International Conference on Software Engineering
Testing Software Requirements with Z and Statecharts Applied to an Embedded Control Systemt0t1
Software Quality Control
ACM SIGSOFT Software Engineering Notes
Formally refining software architectures with π-ARL: a case study
ACM SIGSOFT Software Engineering Notes
Integrating formalism into undergraduate software engineering
Journal of Systems and Software - Special issue: The new context for software engineering education and training
How the design of JML accommodates both runtime assertion checking and formal verification
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
Specification and (property) inheritance in CSP-OZ
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
ASM Refinement and generalizations of forward simulation in data refinement: a comparison
Theoretical Computer Science - Abstract state machines and high-level system design and analysis
Formal refactorings for object models
OOPSLA '05 Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Formally modelling software architectures with the UML 2.0 profile for π-ADL
ACM SIGSOFT Software Engineering Notes
A Cloverleaf of Software Engineering
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Generating Relational Database Transactions From Recursive Functions Defined on EB^3 Traces
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Software Refinement with Perfect Developer
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
A Strategy for the Formal Composition of Frameworks
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
ACM SIGSOFT Software Engineering Notes
Preliminary design of JML: a behavioral interface specification language for java
ACM SIGSOFT Software Engineering Notes
π-Method: a model-driven formal method for architecture-centric software engineering
ACM SIGSOFT Software Engineering Notes
From semantic web to expressive software specifications: a modeling languages spectrum
Proceedings of the 28th international conference on Software engineering
Logic and refinement for charts
ACSC '06 Proceedings of the 29th Australasian Computer Science Conference - Volume 48
Optimizing slicing of formal specifications by deductive verification
Nordic Journal of Computing - Selected papers of the 17th nordic workshop on programming theory (NWPT'05), October 19-21, 2005
Specifying and analyzing security automata using CSP-OZ
ASIACCS '07 Proceedings of the 2nd ACM symposium on Information, computer and communications security
Applying domain engineering using RAISE into a particular banking domain
ACM SIGSOFT Software Engineering Notes
Design Synthesis from Interaction and State-Based Specifications
IEEE Transactions on Software Engineering
Revisiting a Formal Framework for Modeling Aspects in the Design Phase
EARLYASPECTS '07 Proceedings of the Early Aspects at ICSE: Workshops in Aspect-Oriented Requirements Engineering and Architecture Design
Engineering and theoretical underpinnings of retrenchment
Science of Computer Programming
Integrating UML and Formal Methods
Electronic Notes in Theoretical Computer Science (ENTCS)
Formal Models for Informal GUI Designs
Electronic Notes in Theoretical Computer Science (ENTCS)
Modelchecking Correctness of Refactorings - Some Experiments
Electronic Notes in Theoretical Computer Science (ENTCS)
Relational Concurrent Refinement with Internal Operations
Electronic Notes in Theoretical Computer Science (ENTCS)
A Denotational Semantics for Circus
Electronic Notes in Theoretical Computer Science (ENTCS)
Frameworks Based on Templates for Rigorous Model-driven Development
Electronic Notes in Theoretical Computer Science (ENTCS)
A relation-based method combining functional and structural testing for test case generation
Journal of Systems and Software
Type Checking Circus Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
Formalization of UML diagrams and their consistency verification: A Z notation based approach
ISEC '08 Proceedings of the 1st India software engineering conference
Simulation-based Verification for Invariant Properties in the OTS/CafeOBJ Method
Electronic Notes in Theoretical Computer Science (ENTCS)
Generic Tools via General Refinement
Electronic Notes in Theoretical Computer Science (ENTCS)
The Abstract State Machines Method: Preface
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
Retrenching the Purse: The Balance Enquiry Quandary, and Generalised and (1,1) Forward Refinements
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
A verification system for timed interval calculus
Proceedings of the 30th international conference on Software engineering
RGPS: a unified requirements meta-modeling frame for networked software
Proceedings of the 3rd international workshop on Applications and advances of problem frames
Model-driven refinement of software architectures with π-ARL
AMCOS'05 Proceedings of the 4th WSEAS International Conference on Applied Mathematics and Computer Science
Completeness of ASM Refinement
Electronic Notes in Theoretical Computer Science (ENTCS)
More Relational Concurrent Refinement: Traces and Partial Relations
Electronic Notes in Theoretical Computer Science (ENTCS)
General Refinement, Part One: Interfaces, Determinism and Special Refinement
Electronic Notes in Theoretical Computer Science (ENTCS)
Refactoring Real-time Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
Using Aspects for Enforcing Formal Architectural Invariants
Electronic Notes in Theoretical Computer Science (ENTCS)
Deriving event-based transition systems from goal-oriented requirements models
Automated Software Engineering
A domain specific modeling language for multiagent systems
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 1
Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack
FMOODS '08 Proceedings of the 10th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
A Minimal Set of Refactoring Rules for Object-Z
FMOODS '08 Proceedings of the 10th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
The Epsilon Transformation Language
ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
Refinement of State-Based Systems: ASMs and Big Commuting Diagrams (Abstract)
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
Model Based Refinement and the Tools of Tomorrow
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
On the Purpose of Event-B Proof Obligations
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
A Practical Single Refinement Method for B
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
Formal Modeling and Analysis of a Flash Filesystem in Alloy
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
Autonomous Objects and Bottom-Up Composition in ZOO Applied to a Case Study of Biological Reactivity
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
A formal security policy for xenon
Proceedings of the 6th ACM workshop on Formal methods in security engineering
On the need for user-defined fine-grained access control policies for social networking applications
Proceedings of the workshop on Security in Opportunistic and SOCial networks
Transforming Data by Calculation
Generative and Transformational Techniques in Software Engineering II
Towards Abstraction for DynAlloy Specifications
ICFEM '08 Proceedings of the 10th International Conference on Formal Methods and Software Engineering
ICFEM '08 Proceedings of the 10th International Conference on Formal Methods and Software Engineering
Nondeterminism in Constructive Z
Fundamenta Informaticae
Refinement and verification in component-based model-driven design
Science of Computer Programming
Verifying the CICS File Control API with Z/Eves: An experiment in the verified software repository
Science of Computer Programming
POSIX file store in Z/Eves: An experiment in the verified software repository
Science of Computer Programming
Modelling Divergence in Relational Concurrent Refinement
IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
An aspect-oriented methodology for designing secure applications
Information and Software Technology
Paradigms of Denotational Mathematics for Cognitive Informatics and Cognitive Computing
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (I)
Improving reliability of cooperative concurrent systems with exception flow analysis
Journal of Systems and Software
A comparative evaluation of the Z, CSP, RSL, and VDM languages
ACM SIGSOFT Software Engineering Notes
Integration of formal specification, review, and testing for software component quality assurance
Proceedings of the 2009 ACM symposium on Applied Computing
Using formal models to design user interfaces: a case study
BCS-HCI '07 Proceedings of the 21st British HCI Group Annual Conference on People and Computers: HCI...but not as we know it - Volume 1
The Formal Semantics of the Domain Specific Modeling Language for Multiagent Systems
Agent-Oriented Software Engineering IX
Towards a Formal Framework for Workflow Interoperability
Web Services and Formal Methods
Investigating a new formal model for a library system using B method
ACM SIGSOFT Software Engineering Notes
Efficient symbolic computation of process expressions
Science of Computer Programming
Electronic Notes in Theoretical Computer Science (ENTCS)
Specification and Runtime Verification of Java Card Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
Checking Z Data Refinements Using Traces Refinement
Electronic Notes in Theoretical Computer Science (ENTCS)
FAW '09 Proceedings of the 3d International Workshop on Frontiers in Algorithmics
Formal methods: Practice and experience
ACM Computing Surveys (CSUR)
From UML to Alloy and back again
Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation
Static Class Elements for Object-Z
Electronic Notes in Theoretical Computer Science (ENTCS)
Relational Concurrent Refinement: Automata
Electronic Notes in Theoretical Computer Science (ENTCS)
Compositional Specification of Parallel Components Using Circus
Electronic Notes in Theoretical Computer Science (ENTCS)
Teaching Formal Methods for the Unconquered Territory
TFM '09 Proceedings of the 2nd International Conference on Teaching Formal Methods
Chief Chefs of Z to Alloy: Using a Kitchen Example to Teach Alloy with Z
TFM '09 Proceedings of the 2nd International Conference on Teaching Formal Methods
A Robust Semantics Hides Fewer Errors
FM '09 Proceedings of the 2nd World Congress on Formal Methods
Formal Specification of a Cardiac Pacing System
FM '09 Proceedings of the 2nd World Congress on Formal Methods
Compositional Verification of Input-Output Conformance via CSP Refinement Checking
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Using the Alloy Analyzer to Verify Data Refinement in Z
Electronic Notes in Theoretical Computer Science (ENTCS)
An Analysis of Operation-Refinement in an Abortive Paradigm
Electronic Notes in Theoretical Computer Science (ENTCS)
Model Checking Downward Simulations
Electronic Notes in Theoretical Computer Science (ENTCS)
Breaking the Model: Finalisation and a Taxonomy of Security Attacks
Electronic Notes in Theoretical Computer Science (ENTCS)
An Abstract Equivalence Notion for Object Models
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards a Rigorous Approach to UML-Based Development
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards a Small Model Theorem for Data Independent Systems in Alloy
Electronic Notes in Theoretical Computer Science (ENTCS)
Algorithmic Design Using Object-Z for Twig XML Queries Evaluation
Electronic Notes in Theoretical Computer Science (ENTCS)
A Z Approach in Validating ORA-SS Data Models
Electronic Notes in Theoretical Computer Science (ENTCS)
Dynamic security framework for mobile agent systems: specification, verification and enforcement
International Journal of Information and Computer Security
A verification system for interval-based specification languages
ACM Transactions on Software Engineering and Methodology (TOSEM)
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
A new definitional specification language
ICCSA'03 Proceedings of the 2003 international conference on Computational science and its applications: PartI
A simulation-oriented formalization for a psychological theory
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
Patterns to guide practical refactoring: examples targetting promotion in Z
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Operation refinement and monotonicity in the schema calculus
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Using coupled simulations in non-atomic refinement
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
An analysis of forward simulation data refinement
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Introducing backward refinement into B
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Proving linearizability via non-atomic refinement
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Decomposing integrated specifications for verification
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
A refinement method for Java programs
FMOODS'07 Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems
Machine-assisted proof support for validation beyond Simulink
ICFEM'07 Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering
Automatic generation of verified concurrent hardware
ICFEM'07 Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering
Balancing insight and effort: the industrial uptake of formal methods
Formal methods and hybrid real-time systems
Proving theorems about JML classes
Formal methods and hybrid real-time systems
On contemporary denotational mathematics for computational intelligence
Transactions on computational science II
On mathematical laws of software
Transactions on computational science II
Automated Formalisation for Verification of Diagrammatic Models
Electronic Notes in Theoretical Computer Science (ENTCS)
Formal behavior modeling and effective automatic refinement
Information Sciences: an International Journal
Cybernetics and Systems Analysis
Using formal methods for security in the Xenon project
Proceedings of the Sixth Annual Workshop on Cyber Security and Information Intelligence Research
SQCK: a declarative file system checker
OSDI'08 Proceedings of the 8th USENIX conference on Operating systems design and implementation
CATS '09 Proceedings of the Fifteenth Australasian Symposium on Computing: The Australasian Theory - Volume 94
Investigating a new formal model for autonomous virtual organisation using RAISE method
International Journal of Networking and Virtual Organisations
Incompleteness of relational simulations in the blocking paradigm
Science of Computer Programming
Annotation and retrieval of cell images
IDEAL'10 Proceedings of the 11th international conference on Intelligent data engineering and automated learning
Compositional action system derivation using enforced properties
MPC'10 Proceedings of the 10th international conference on Mathematics of program construction
Mechanically verified proof obligations for linearizability
ACM Transactions on Programming Languages and Systems (TOPLAS)
A note on traces refinement and the conf relation in the unifying theories of programming
UTP'08 Proceedings of the 2nd international conference on Unifying theories of programming
The miracle of reactive programming
UTP'08 Proceedings of the 2nd international conference on Unifying theories of programming
Practical issues with formal specifications: lessons learned from an industrial case study
FMICS'10 Proceedings of the 15th international conference on Formal methods for industrial critical systems
Algorithm engineering: bridging the gap between algorithm theory and practice
Algorithm engineering: bridging the gap between algorithm theory and practice
Model evolution and management
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
Applying Event-B atomicity decomposition to a multi media protocol
FMCO'09 Proceedings of the 8th international conference on Formal methods for components and objects
Specification coverage for testing in circus
UTP'10 Proceedings of the Third international conference on Unifying theories of programming
UTP'10 Proceedings of the Third international conference on Unifying theories of programming
Enhanced semantic access to formal software models
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
Proceedings of the 8th International Conference on Frontiers of Information Technology
Abstract specification and formalization of an operating system kernel in Z
ACM SIGOPS Operating Systems Review
Automatic conformance checking of role-based access control policies via alloy
ESSoS'11 Proceedings of the Third international conference on Engineering secure software and systems
Property transformation under specification change
Frontiers of Computer Science in China
The Open Provenance Model core specification (v1.1)
Future Generation Computer Systems
A tactic language for refinement of state-rich concurrent specifications
Science of Computer Programming
Formalisations and applications of BPMN
Science of Computer Programming
Applying atomicity and model decomposition to a space craft system in event-B
NFM'11 Proceedings of the Third international conference on NASA Formal methods
Formal development of a cardiac pacemaker: from specification to code
SBMF'10 Proceedings of the 13th Brazilian conference on Formal methods: foundations and applications
Cybernetics and Systems Analysis
Minds and Machines
A safe regression testing approach for safety critical systems
Advances in Engineering Software
Formal development of a tool for automated modelling and verification of relay interlocking systems
FM'11 Proceedings of the 17th international conference on Formal methods
Relational concurrent refinement: timed refinement
FMOODS'11/FORTE'11 Proceedings of the joint 13th IFIP WG 6.1 and 30th IFIP WG 6.1 international conference on Formal techniques for distributed systems
FOCS'10 Proceedings of the 16th Monterey conference on Foundations of computer software: modeling, development, and verification of adaptive systems
Pre-post notation is questionable in effectively specifying operations of object-oriented systems
Frontiers of Computer Science in China
Safety-critical Java in Circus
Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems
Towards reliable storage systems
Towards reliable storage systems
Is there evolution before birth? deterioration effects of formal Z specifications
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Conformance checking of dynamic access control policies
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
An abstract model for proving safety of multi-lane traffic manoeuvres
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Developing provable secure m-commerce applications
ETRICS'06 Proceedings of the 2006 international conference on Emerging Trends in Information and Communication Security
ClawZ: cost-effective formal verification for control systems
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
UTP'06 Proceedings of the First international conference on Unifying Theories of Programming
A relational investigation of UTP designs and prescriptions
UTP'06 Proceedings of the First international conference on Unifying Theories of Programming
Unifying theories in proofpower-z
UTP'06 Proceedings of the First international conference on Unifying Theories of Programming
Pointers and records in the unifying theories of programming
UTP'06 Proceedings of the First international conference on Unifying Theories of Programming
UTP'06 Proceedings of the First international conference on Unifying Theories of Programming
Applying timed interval calculus to simulink diagrams
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Towards a fully generic theory of data
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
A reasoning method for timed CSP based on constraint solving
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Taking our own medicine: applying the refinement calculus to state-rich refinement model checking
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Model evolution and refinement
Science of Computer Programming
Z/Eves and the mondex electronic purse
ICTAC'06 Proceedings of the Third international conference on Theoretical Aspects of Computing
rCOS: theory and tool for component-based model driven development
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
Operational semantics for model checking circus
FM'05 Proceedings of the 2005 international conference on Formal Methods
Control law diagrams in circus
FM'05 Proceedings of the 2005 international conference on Formal Methods
Retrenching the purse: finite sequence numbers, and the tower pattern
FM'05 Proceedings of the 2005 international conference on Formal Methods
Smart client techniques for online game on portable device
ICESS'04 Proceedings of the First international conference on Embedded Software and Systems
Mechanical reasoning about families of UTP theories
Science of Computer Programming
Compiling formal specifications to oz programs
MOZ'04 Proceedings of the Second international conference on Multiparadigm Programming in Mozart/Oz
Non-atomic refinement in z and CSP
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
An object-oriented structuring for z based on views
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
Practical data refinement for the z schema calculus
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
Specification and design of multi-agent applications using temporal z
PRIMA'04 Proceedings of the 7th Pacific Rim international conference on Intelligent Agents and Multi-Agent Systems
POST: a case study for an incremental development in rCOS
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
The mondex challenge: machine checked proofs for an electronic purse
FM'06 Proceedings of the 14th international conference on Formal Methods
Automatic translation from Circus to Java
FM'06 Proceedings of the 14th international conference on Formal Methods
A proposal for records in event-b
FM'06 Proceedings of the 14th international conference on Formal Methods
Pointfree factorization of operation refinement
FM'06 Proceedings of the 14th international conference on Formal Methods
A formal template language enabling metaproof
FM'06 Proceedings of the 14th international conference on Formal Methods
Compositionality: ontology and mereology of domains
Concurrency, Compositionality, and Correctness
B'07 Proceedings of the 7th international conference on Formal Specification and Development in B
Justifications for the event-b modelling notation
B'07 Proceedings of the 7th international conference on Formal Specification and Development in B
RDyMASS: reliable and dynamic enforcement of security policies for mobile agent systems
DPM'09/SETOP'09 Proceedings of the 4th international workshop, and Second international conference on Data Privacy Management and Autonomous Spontaneous Security
Rôle of domain engineering in software development—why current requirements engineering is flawed !
PSI'09 Proceedings of the 7th international Andrei Ershov Memorial conference on Perspectives of Systems Informatics
From UML to alloy and back again
MODELS'09 Proceedings of the 2009 international conference on Models in Software Engineering
SBMF'11 Proceedings of the 14th Brazilian conference on Formal Methods: foundations and Applications
Refinement and consistency in component models with multiple views
Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components
Dynamic routing of data stream tuples among parallel query plan running on multi-core processors
Distributed and Parallel Databases
Retrenchment: extending refinement for continuous and control systems
IW-FM'00 Proceedings of the 4th Irish conference on Formal Methods
A concurrent language for refinement
IW-FM'01 Proceedings of the 5th Irish conference on Formal Methods
The single transferable voting system: functional decomposition in formal specification
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
Teaching formal methods: lessons to learn
IW-FM'98 Proceedings of the 2nd Irish conference on Formal Methods
CASE-based rigorous object-oriented modeling
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
Coupling schemas: data refinement and view (point) composition
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
Foundations of the unified modeling language
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
3FACS'98 Proceedings of the 3rd BCS-FACS conference on Northern Formal Methods
The formal development of a windows interface
3FACS'98 Proceedings of the 3rd BCS-FACS conference on Northern Formal Methods
On partial-function application in Z
3FACS'98 Proceedings of the 3rd BCS-FACS conference on Northern Formal Methods
Logic, damned logic, and statistics
TFM'06 Proceedings of the 2006 conference on Teaching Formal Methods: practice and experience
Teaching formal methods in a third world country: what, why and how
TFM'06 Proceedings of the 2006 conference on Teaching Formal Methods: practice and experience
Constructive development of probabilistic programs
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
Refinement-oriented models of Stateflow charts
Science of Computer Programming
Modelling user manuals of modal medical devices and learning from the experience
Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive computing systems
Continuous ASM, and a pacemaker sensing fragment
ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z
A tool chain for the automatic generation of circus specifications of simulink diagrams
ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z
MSC scenarios analysis via simulation and formal verification techniques
GCMS '09 Proceedings of the 2009 Grand Challenges in Modeling & Simulation Conference
Property-preserving program refinement
Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
A lightweight approach for managing XML documents with MDE languages
ECMFA'12 Proceedings of the 8th European conference on Modelling Foundations and Applications
Paradigms of Denotational Mathematics for Cognitive Informatics and Cognitive Computing
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (I)
Nondeterminism in Constructive Z
Fundamenta Informaticae
The Abstract State Machines Method
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
Retrenching the Purse: The Balance Enquiry Quandary, and Generalised and (1,1) Forward Refinements
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
Behaviour-Based cheat detection in multiplayer games with event-b
IFM'12 Proceedings of the 9th international conference on Integrated Formal Methods
Comparing Refinements for Failure and Bisimulation Semantics
Fundamenta Informaticae
Formal specifications for software-defined networking
Proceedings of the 7th International Conference on Future Internet Technologies
A comparative study of two formal specification languages: Z-notation & B-method
Proceedings of the Second International Conference on Computational Science, Engineering and Information Technology
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
UML2Alloy: a challenging model transformation
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
An active architecture approach to dynamic systems co-evolution
ECSA'07 Proceedings of the First European conference on Software Architecture
Aspects of abstraction in software development
Software and Systems Modeling (SoSyM)
A compositional hierarchical monitoring automaton construction for LTL
ICTAC'12 Proceedings of the 9th international conference on Theoretical Aspects of Computing
A systematic approach to atomicity decomposition in event-b
SEFM'12 Proceedings of the 10th international conference on Software Engineering and Formal Methods
Implementing tactics of refinement in CRefine
SEFM'12 Proceedings of the 10th international conference on Software Engineering and Formal Methods
From ODP viewpoint consistency to Integrated Formal Methods
Computer Standards & Interfaces
Model-Based Testing of Highly Configurable Embedded Systems in the Automation Domain
International Journal of Embedded and Real-Time Communication Systems
Design and Implementation of an Autonomic Code Generator Based on RTPA
International Journal of Software Science and Computational Intelligence
Automated verification of code automatically generated from Simulink®
Automated Software Engineering
Testing with inputs and outputs in CSP
FASE'13 Proceedings of the 16th international conference on Fundamental Approaches to Software Engineering
Translation of Z specifications to executable code: Application to the database domain
Information and Software Technology
Safety-critical Java programs from Circus models
Real-Time Systems
Progressive Development and Teaching with RAP
Proceedings of the 3rd Computer Science Education Research Conference on Computer Science Education Research
Simulink timed models for program verification
Theories of Programming and Formal Methods
Proving safety of traffic manoeuvres on country roads
Theories of Programming and Formal Methods
An observationally complete program logic for imperative higher-order functions
Theoretical Computer Science
A method and tool for tracing requirements into specifications
Science of Computer Programming
A Novel Formal Agent-Based Simulation Modeling Framework of an AIDS Complex Adaptive System
International Journal of Agent Technologies and Systems
Modelling temporal behaviour in complex systems with Timebands
Formal Methods in System Design
Hi-index | 0.00 |