بر اساس عنوان

1
Formal methods and air traffic control-opportunities and limitations
2
Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2011)
3
Formal methods and automation for system verification
4
Formal methods and dependability assessment
5
Formal methods and how to start using them
6
Formal methods and industry
7
Formal Methods and Innovation Economy: Facing New Challenges
8
Formal methods and iterative design
9
Formal Methods and Models for Co-Design
10
Formal methods and software development
11
Formal methods and software reliability
12
Formal Methods And Their Potential For Achieving Highly Dependable Computer Based Medical Applications
13
Formal methods and tool support for real-time
14
Formal methods application: an empirical tale of software development
15
Formal Methods Applied in Industry - On the Commercialisation of the UPPAAL Tool
16
Formal methods applied to a floating-point number system
17
Formal methods applied to plywood production
18
Formal methods applied to protocols-the Alvey FORMAP project
19
Formal methods applied to secure network engineering
20
Formal Methods at SBES: Evolution and Perspectives
21
Formal methods at the systems level
22
Formal Methods Based Development of a PCA Infusion Pump Reference Model: Generic Infusion Pump (GIP) Project
23
Formal methods for aerospace applications
24
Formal methods for analysis of heterogeneous models of embedded systems
25
Formal methods for analyzing the completeness of an assertion suite against a high-level fault model
26
Formal Methods for Broadband and Multimedia Systems
27
Formal methods for checking realizability of coalitions in 3-party systems
28
Formal methods for concurrent systems design: a survey
29
Formal methods for controlling networked systems
30
Formal methods for coverage analysis of architectural power states in power-managed designs
31
Formal methods for cryptographic protocol analysis: emerging issues and trends
32
Formal methods for database language design and constraint handling
33
Formal Methods for Data-centric Web Services: From Model to Implementation
34
Formal methods for developing high assurance computer systems: working group report
35
Formal Methods For Developing Reliable Software In Industry
36
Formal methods for Dynamic Power Management
37
Formal Methods for Dynamical Systems
38
Formal Methods for Early Analysis of Functional Reliability in Component-Based Embedded Applications
39
Formal methods for emerging technologies
40
Formal methods for engineering special-purpose parallel systems introduction to minitrack
41
Formal methods for generating protocol conformance test sequences
42
Formal methods for higher reliability of the industrial automation
43
Formal methods for informal developpers: A case-study driven by the French defense agency (DGA)
44
Formal methods for integration of automotive software
45
Formal methods for integration of automotive software
46
Formal methods for mobility standards
47
Formal Methods for Modeling Socio-technical Innovation between Adversaries
48
Formal Methods for Modelling and Analysis of Single-Event Upsets
49
Formal methods for networks on chips
50
Formal Methods for Pattern Based Reliability Analysis in Embedded Systems
51
Formal methods for protocol conversion
52
Formal methods for protocol testing: a detailed study
53
Formal methods for railway signalling
54
Formal methods for ranking counterexamples through assumption mining
55
Formal methods for reconfigurable assembly systems
56
Formal methods for requirements engineering
57
Formal methods for safety critical system specification
58
Formal methods for semi-autonomous driving
59
Formal methods for silicon compilation
60
Formal methods for specification and analysis of communication protocols
61
Formal methods for stability analysis of networked control systems with IEEE 802.15.4 protocol
62
Formal Methods for Surviving the Jungle of Heterogeneous Parallelism
63
Formal methods for system specification
64
Formal Methods for Systems Engineering Behavior Models
65
Formal methods for the informal world
66
Formal methods for the re-engineering of computing systems: a comparison
67
Formal methods for the specification and verification of distributed systems
68
Formal methods for the validation of fault tolerance in autonomous spacecraft
69
Formal methods for trustworthy mobile computing
70
Formal methods for V&V of partial specifications: an experience report
71
Formal methods for web services: a taxonomic approach
72
Formal methods impact on ANSI standard HL7/IM - filling gaps in MSC theory
73
Formal methods in a real air traffic control project
74
Formal methods in a system-of-systems development
75
Formal methods in airborne collision avoidance standards
76
Formal methods in cell Biology
77
Formal Methods in Communication Protocol Design
78
Formal Methods in Computer Aided Design - Copyright
79
Formal Methods in Computer Aided Design - Cover
80
Formal Methods in Computer Aided Design - Title page
81
Formal Methods in Computer Aided Design - TOC
82
Formal Methods in Computer Aided Design - TOC
83
Formal Methods in Computer Aided Design [Cover]
84
Formal Methods in Computer Aided Design-Copyright
85
Formal Methods in Computer Aided Design-Title
86
Formal methods in embedded design
87
Formal Methods in Manufacturing [Book News]
88
Formal methods in PLC programming
89
Formal methods in real-time systems
90
Formal methods in safety-critical standards
91
Formal methods in software engineering
92
Formal methods in software engineering education
93
Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA)
94
Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA) [Welcome]
95
Formal Methods in Software Product Line Engineering
96
Formal Methods in System and MpSoC Performance Analysis and Optimisation
97
Formal methods in the classroom: the logic of real-time software design
98
Formal methods in the design of Ada 9X
99
Formal Methods in the Era of Service-Oriented Design
100
Formal methods in the THETA kernel
101
Formal Methods in Verification of Medical Devices Towards Hybrid Nano- and Microsystems
102
Formal methods into practice: case studies in the application of the B method
103
Formal methods light: experience applying formal specification in the aerospace and nuclear sectors
104
Formal methods of algorithm analysis for decreasing RTL-verification complexity
105
Formal Methods of Microcode Verification and Synthesis
106
Formal methods pilot project
107
Formal methods reality check: industrial usage
108
Formal methods to generate parallel iterative codes for PDE-based applications
109
Formal methods to improve the identification and validation of network traffic
110
Formal methods without psychology
111
Formal methods, testing, and reuse-towards reliability conservation for software
112
Formal methods: a practical tool for OS implementors
113
Formal methods: an international perspective
114
Formal methods: mathematics, computer science or software engineering?
115
Formal methods: mathematics, computer science or software engineering?
116
Formal methods: promises and problems
117
Formal methods: the broad and the narrow view
118
Formal minds and biological brains: AI and Edelman´s extended theory of neuronal group selection
119
Formal model and code verification in Model-Based Design
120
Formal model construction using HDL simulation semantics
121
Formal model for agent-based asynchronous evolutionary computation
122
Formal model for analysis of context dependencies in ubiquitous systems
123
Formal Model for e-Healthcare Readiness Assessment in Developing Country Context
124
Formal model for micro-scale traffic simulation and control
125
Formal model for moving block railway interlocking system based on un-directed topology
126
Formal model for real time diagnosis of dynamic systems
127
Formal model for verifying compatibility among transactions
128
Formal model of a trusted file server
129
Formal model of agent-based supply chain framework in a virtual enterprise for reliability
130
Formal Model of Automated Teller Machine System Using Z notation
131
Formal model of certificate omission schemes in VANET
132
Formal Model of Data Reuse Analysis for Hierarchical Memory Organizations
133
Formal model of human material-handling tasks for control of manufacturing systems
134
Formal Model of Interrupt Program from a Probabilistic Perspective
135
Formal model of Random Walk mobility model for WMN using Coloured Petri Nets
136
Formal model of semantic search in the bibliographic databases
137
Formal model of the MBMS multicast support in the UMTS network
138
Formal Model of Workflow Integration and its Application in STISAG
139
Formal Model Simulation: Can It be Guided?
140
Formal model, language and tools for design agent´s scenarios in call center systems
141
Formal Model-Based Test for AUTOSAR Multicore RTOS
142
Formal Model-Driven Engineering of Distributed Simulation Systems based on Architecture-Centric Domain-Specific Approach
143
Formal modeling and algorithm of subnet-based backup assigning in WSAN
144
Formal Modeling and Analysis of a Distributed Database Protocol in Maude
145
Formal Modeling and Analysis of a Distributed Transaction Protocol in UPPAAL
146
Formal Modeling and Analysis of a Secure Mobile-Agent System
147
Formal modeling and analysis of an audio/video protocol: an industrial case study using UPPAAL
148
Formal Modeling and Analysis of an IETF Multicast Protocol
149
Formal modeling and analysis of atomic commitment protocols
150
Formal Modeling and Analysis of Biological Regulatory Networks Using SPIN
151
Formal modeling and analysis of complex systems with conceptual graphs: application to modeling an enterprise
152
Formal modeling and analysis of greedy behaviors in IEEE 802.11 protocols
153
Formal Modeling and Analysis of HMIPv6 Using Colored Petri Nets
154
Formal modeling and analysis of hybrid systems in rewriting logic using higher-order numerical methods and discrete-event detection
155
Formal Modeling and Analysis of RBC Subsystem in CTCS Level 3 Using UPPAAL
156
Formal modeling and analysis of real-time resource-sharing protocols in Real-Time Maude
157
Formal Modeling and Analysis of Scientific Workflows Using Hierarchical State Machines
158
Formal Modeling and Analysis of SIP Using Colored Petri Nets
159
Formal modeling and analysis of the AFDX frame management design
160
Formal Modeling and Analysis of Time-and Resource-Sensitive Simple Business Processes
161
Formal modeling and analysis of wireless sensor network algorithms in Real-Time Maude
162
Formal Modeling and Analyzing Kerberos Protocol
163
Formal Modeling and Analyzing the Reliability for Service Composition
164
Formal modeling and checking of an enhanced variant of the IEEE 802.11 CSMA/CA protocol
165
Formal Modeling And Design Of Multimedia Synchronization For Interactive Multimedia Presentations In Distributed Environments*
166
Formal Modeling and Evaluation of Service-Based Business Process Elasticity in the Cloud
167
Formal modeling and reasoning for reliability analysis
168
Formal Modeling and Reconfiguration of User Interfaces
169
Formal modeling and synthesis of event-transferring communication among decentralized supervisors for discrete-event systems
170
Formal modeling and synthesis of state-transferring communication among decentralized supervisors for discrete-event systems
171
Formal Modeling and Systematic Black-Box Testing of SDN Data Plane
172
Formal modeling and verification for Network-on-chip
173
Formal modeling and verification in the software engineering framework of IEC 61499: a way to self-verifying systems
174
Formal modeling and verification of an enhanced variant of the IEEE 802.11 CSMA/CA protocol
175
Formal modeling and verification of DLK protocol
176
Formal modeling and verification of integrated photonic systems
177
Formal Modeling and Verification of Low-Level Software Programs
178
Formal modeling and verification of microprocessors
179
Formal Modeling and Verification of Opportunity-enabled Risk Management
180
Formal Modeling and Verification of RBC Handover of ETCS Using Differential Dynamic Logic
181
Formal modeling and verification of real-time concurrent systems
182
Formal Modeling and Verification of Safety-Critical Software
183
Formal Modeling and Verification of SDN-OpenFlow
184
Formal modeling and verification of secure mobile agent systems
185
Formal modeling and verification of services managements for pervasive computing environment
186
Formal Modeling and Verification of the Safety Critical Fire-Fighting Control System
187
Formal Modeling and Verifications of Deadlock Prevention Solutions in Web Service Oriented System
188
Formal modeling and verifying of FMS
189
Formal modeling business management of public telecommunication network
190
Formal Modeling for Product Families Engineering
191
Formal Modeling for Security Behavior Analysis of Computer Systems
192
Formal Modeling for UML/MARTE Concurrency Resources
193
Formal modeling for verifying SCA composition
194
Formal Modeling for Verifying SCA Dynamic Composition with Event-B
195
Formal modeling in a generalized framework for access control
196
Formal Modeling of a Kind of IDS and Research of Its Detection Technology
197
Formal Modeling of a Tele-surgery Domain as a Multi-agent Planning Problem
198
Formal Modeling of Airport Security Regulations using the Focal Environment
199
Formal modeling of ATC signals using Z notation
200
Formal Modeling of Authentication in SIP Registration
201
Formal Modeling of Elastic Service-Based Business Processes
202
Formal Modeling of Function Block Applications Running in IEC 61499 Execution Runtime
203
Formal Modeling of Grafcets With Time Petri Nets
204
Formal Modeling of Multicast Communication in 3D NoCs
205
Formal modeling of multistructured documents
206
Formal Modeling of Parallel System Based on TCPN
207
Formal Modeling of Process Migration
208
Formal Modeling of Sequential Function Charts With Time Petri Nets
209
Formal Modeling of Socio-technical Collective Adaptive Systems
210
Formal modeling of space shuttle software change requests using SCR
211
Formal Modeling of Testing Software for Cyber-Physical Automation Systems
212
Formal modeling of the Simple Text Oriented Messaging Protocol using Event-B method
213
Formal Modeling of Transaction Behavior in WS-BPEL
214
Formal modeling of trust in Semantic Grid Registry
215
Formal Modeling of Trust-Based Access Control in Dynamic Coalitions
216
Formal Modeling of Virtual Machines
217
Formal modeling with SysML
218
Formal modeling, verification and implementation of a train control system
219
Formal modelling and analysis of a critical time communication protocol
220
Formal Modelling and Analysis of AODV
221
Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware
222
Formal modelling and analysis of computerized control in rail transport: a case study
223
Formal modelling and evaluation of the data transfer phase of the ACL links on the WPAN Bluetooth
224
Formal modelling and performance evaluation of a novel role-based Routing Algorithm for wireless sensor networks
225
Formal modelling and transformations of processor instruction sets
226
Formal modelling and validation for software process based on CPN
227
Formal Modelling and Validation of a Novel Energy Efficient Cross-Layer MAC Protocol in Wireless Multi Hop Sensor Networks Using Time Petri Nets
228
Formal Modelling and Validation of Rate-Adaptive Pacemakers
229
Formal Modelling and Verification of an Asynchronous DLX Pipeline
230
Formal Modelling and Verification of an Asynchronous Extension of SOAP
231
Formal Modelling and Verification of Concurrent Systems with XCCS
232
Formal modelling of a robust Wireless Sensor Network routing protocol
233
Formal Modelling of Avionics Systems. An Approach Based on Category Theory and the EXPRESS Modelling Language
234
Formal modelling of Complex Event Processing: A generic algorithm and its application to a manufacturing line
235
Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering
236
Formal modelling of interactive systems
237
Formal modelling of large domains
238
Formal Modelling of Multiclocked SoC Systems
239
Formal Modelling of PLC Systems by BIP Components
240
Formal Modelling of Synchronous Hardware Components for System-on-Chip
241
Formal modelling of the ADSP-2100 processor using HOL
242
Formal models & verification [Session 1]
243
Formal models for alternative representations of manufacturing systems of systems
244
Formal Models for Ambient Intelligence
245
Formal models for cognitive systems
246
Formal models for control of flexible manufacturing cells: physical and system model
247
Formal models for embedded system design
248
Formal Models for Expert Finding on DBLP Bibliography Data
249
Formal models for granular computing highlights and fallacies
250
Formal models for system design (challenges on exchanges in the main role between hardware and software going to the systems packaging)
251
Formal models for the verification of IEC 61499 function block based control applications
252
Formal Models in Web Based Contracting
253
Formal Models of Appeal and Its Evaluation in Argumentation-based Negotiation of Agent
254
Formal Models of Bank Cards for Free
255
Formal Models of Capability-Based Protection Systems
256
Formal models of communication services: a case study
257
Formal models of incremental learning and their analysis
258
Formal models of object-oriented patterns using RTPA
259
Formal Models of Social Processes: The Pursuit of Computational Justice in Self-Organising Multi-Agent Systems
260
Formal multi-threading method of object-oriented
261
Formal neuron system for the natural language analysis
262
Formal non-exact analytical modeling of mechanical systems and environmental interactions in an adaptive control
263
Formal object-oriented analysis and design of an online ticketing system
264
Formal object-oriented user-interface design
265
Formal ontologies for data-centric business process management
266
Formal Ontology Model and its Application to Semantic Retrieval
267
Formal opening of conference
268
Formal opening of conference
269
Formal opening of conference
270
Formal opening of conference
271
Formal opening of conference
272
Formal opening of conference
273
Formal opening of conference
274
Formal opening of conference
275
Formal opening of conference
276
Formal opening of conference
277
Formal opening of conference
278
Formal opening of conference
279
Formal opening of conference
280
Formal opening of conference
281
Formal opening of conference
282
Formal opening of conference / keynote
283
Formal opening of conference / keynote address
284
Formal opening of conference / keynote address
285
Formal opening of conference and presentation to University of Pennsylvania
286
Formal operator testability methods for behavioral-level DFT using value ranges
287
Formal or Not, but Precise Modelling of Services with CASL4SOA and SoaML
288
Formal parameters synthesis for track segments of a subway mesh
289
Formal Passive Testing of Service-Oriented Systems
290
Formal Performance Analysis and Simulation of UML/SysML Models for ESL Design
291
Formal Performance Analysis for Faulty MIMO Hardware
292
Formal Photograph Compression in JPEG2000 Coding
293
Formal platform-independent design of real-time systems
294
Formal plausibility checks for environment constraints
295
Formal policies for trusted processes
296
Formal power series and input-output linearization of nonlinear discrete-time systems
297
Formal power series method for nonlinear time delay systems with analytic initial data
298
Formal power series: an algebraic approach to the GapP and #P functions
299
Formal presentation of the Scott Testimonial at Atlantic city, June 30, 1908
300
Formal Privacy Analysis of an Electronic Voting Scheme
301
Formal probabilistic analysis of distributed dynamic thermal management
302
Formal probabilistic refinement verification of embedded real-time systems
303
Formal Probabilistic Timing Verification in RTL
304
Formal procedural security modeling and analysis
305
Formal program construction by transformations-computer-aided, intuition-guided programming
306
Formal program developments directed by operational properties evaluation
307
Formal program reversing by conditioned slicing
308
Formal Program Verification Using Symbolic Execution
309
Formal Programming for the Shortest Path and Its Critical Edge Problems
310
Formal proof between two designs having different level of abstraction
311
Formal Proof of Equivalence in Endomorphisms and Automorphisms over Strongly Connected Automata
312
Formal Proof of the IDOP_SP Protocol Based on the Petri Net
313
Formal Proof of the Security Protocol in Wireless Sensor Network Based on the Petri Net
314
Formal Proof of Theorems on Genetic Regulatory Networks
315
Formal Proofs for Automata and Sticker Systems
316
Formal proofs for QoS-oriented Transformations
317
Formal properties and analysis method of BPEL base on Petri net
318
Formal properties and rules of concept algebra
319
Formal Properties of Cognitive Distance in Geographical Space
320
Formal properties of net-based knowledge representation schemes
321
Formal property verification by abstraction refinement with formal, simulation and hybrid engines
322
Formal property verification in a conformance testing framework
323
Formal protocol design using partial constraints
324
Formal Reasoning about Concurrent Assembly Code with Reentrant Locks
325
Formal reasoning about runtime code update
326
Formal Reasoning of Emotional Agent Based on the LOBA and BDI
327
Formal reasoning of web application Firewall rules through ontological modeling
328
Formal Recovery Analysis Approach for Service-Oriented System Based on Survivability Specification
329
Formal refinement and model checking of an echo cancellation unit
330
Formal Refinement of BSP Programs with Early Cost Evaluation
331
Formal refinement of informal GUI design artefacts
332
Formal relation of Markov renewal theory and supplementary variables in the analysis of stochastic Petri nets
333
Formal reliability analysis of a typical FHIR standard based e-Health system using PRISM
334
Formal reliability analysis of wireless sensor network data transport protocols using HOL
335
Formal Reliability Analysis Using Theorem Proving
336
Formal Representation and Analysis of a Near Miss Accident in N Sigma-labeled Calculus
337
Formal representation approach to enterprise information system based on object-based knowledge mesh
338
Formal Representation Approaches to Enterprise Information System : From KM to OKM
339
Formal representation of conflict zones in XACML access control systems
340
Formal representation of gated clock designs
341
Formal Representation of Meta-Operation of Chemical Plants
342
Formal representation of reuseable software modules
343
Formal Representation of Semantic Data Models in Type Theory
344
Formal representation of service interactions for SaaS based applications
345
Formal Representations of the Data Flow Diagram: A Survey
346
Formal requirement management for the Responsive and Formal Design process
347
Formal requirements analysis of an avionics control system
348
Formal requirements engineering: learning from the students
349
Formal requirements models from domain knowledge
350
Formal requirements specification analysis of attitude control of the International Space Station Alpha
351
Formal requirements specification in safety-critical railway signaling system
352
Formal requirements-based programming for complex systems
353
Formal reset recovery slack calculation at the register transfer level
354
Formal Risk Assessment of Vessel Traffic at Coastal Waters
355
Formal safety analysis and the software engineering process in the pacemaker industry
356
Formal safety analysis of mode transitions in aircraft flight control system
357
Formal safety verification for TTP/C network in Drive-by-wire system
358
Formal Schedulability Analysis and Simulation for AADL
359
Formal Security Analysis in Industry, at the Example of Electronic Distribution of Aircraft Software (EDS)
360
Formal security analysis of authentication in SNMPv3 protocol by an automated tool
361
Formal security analysis of automated trust negotiation
362
Formal security analysis of NFC M-coupon protocols using Casper/FDR
363
Formal security evaluation of hardware Boolean masking against second-order attacks
364
Formal Security Framework for Agent Based Cloud Systems
365
Formal security model research based on Petri-net
366
Formal Security Policy Model for a Common Criteria Evaluation
367
Formal Security Proof for Generalized Signcryption
368
Formal Semantic Model for Agent-Based Software System
369
Formal Semantic of Component-Based Reconfiguration Router Unit´s Software Model
370
Formal semantics analysis of data flow and control flow for web composition transactions
371
Formal Semantics and Reasoning about UML Class Diagram
372
Formal semantics and verification for feature modeling
373
Formal semantics and verification of AADL modes in Timed Abstract State Machine
374
Formal Semantics and Verification of BPMN Transaction and Compensation
375
Formal Semantics Based Translator Generation and Tool Development in Practice
376
Formal semantics for component assembly pattern of software architecture
377
Formal semantics for logics of cryptographic protocols
378
Formal semantics for PSL modeling layer and application to the verification of transactional models
379
Formal Semantics for the Automated Derivation of Micro-Code
380
Formal Semantics of a Subset of the Paderborn´s BSPlib
381
Formal Semantics of AADL Models with Machine-Readable CSP
382
Formal semantics of an industrially applicable variant of the Specification and Description Language
383
Formal Semantics of BPMN Process Models Using YAWL
384
Formal Semantics of Ciset Relational Operators
385
Formal semantics of composite events for distributed environments
386
Formal Semantics of Confidentiality in Multilevel Logic Databases
387
Formal semantics of control in a completely visual programming language
388
Formal semantics of interactions in sequence diagrams for embedded software
389
Formal semantics of models for computational engineering: a case study on dynamic fault trees
390
Formal semantics of rights and confidentiality in definite deductive databases
391
Formal Semantics of Runtime Monitoring, Verification, Enforcement and Control
392
Formal semantics of some functional constructs of the software requirements definition language NDRDL
393
Formal semantics of synchronous SystemC
394
Formal Semantics of the ProCom Real-Time Component Model
395
Formal semantics of UDL/I and its applications to CAD/DA tools
396
Formal semantics of UML state diagram and automatic verification based on Kripke structure
397
Formal semantics of VHDL for verification of circuit designs
398
Formal semantics of visual languages using spatial reasoning
399
Formal Semantics, Compilation and Execution of the GALS Programming Language DSystemJ
400
Formal Semantics-Preserving Translation from Fuzzy ER Model to Fuzzy OWL DL Ontology
401
Formal Sensitivity Computation of Magnetic Moment Method
402
Formal sizing rules of CMOS circuits
403
Formal Software Analysis Emerging Trends in Software Model Checking
404
Formal software development techniques applied to expert system production
405
Formal solution to the scattering of a buried sphere
406
Formal solutions for a class of stochastic pursuit-evasion games
407
Formal specication of intrusion signatures and detection rules
408
Formal specification and analysis for reliable and transparent resource management
409
Formal specification and analysis of a control system based on computer networks
410
Formal specification and analysis of active networks and communication protocols: the Maude experience
411
Formal specification and analysis of airborne mission systems
412
Formal Specification and Analysis of an E-voting System
413
Formal specification and analysis of DMI-an X-25 based protocol
414
Formal Specification and Analysis of Intelligent Network Management System by Using Colored Petri Net
415
Formal specification and analysis of software architectures using the chemical abstract machine model
416
Formal Specification and Analysis of the MIDP 3.0 Security Model
417
Formal Specification and Analysis of Trusted Communities
418
Formal specification and automated verification of railway software with Frama-C
419
Formal specification and automated verification of UML2.0 sequence diagrams
420
Formal Specification and Automatic Verification of Conditional Commitments
421
Formal Specification and Code Generation of Programable Logic Controllers
422
Formal specification and design of intelligent network services
423
Formal specification and design of mobile systems
424
Formal specification and design time testing
425
Formal Specification and Experimental Analysis of an Interactive Epidemic Simulation Framework
426
Formal Specification and Experiments of an Expressive Human-Computer Ensemble System with Rehearsal
427
Formal Specification and Mechanical Verification of SIFT: A Fault-Tolerant Flight Control System
428
Formal specification and preliminary design of an asynchronous traffic light controller
429
Formal Specification and Probabilistic Verification of SysML Activity Diagrams
430
Formal Specification and Proof of Gridjack
431
Formal specification and reasoning for situated multi-agent system
432
Formal Specification and Representation of Design Patterns Using RTPA
433
Formal specification and risk assessment approach of integrated complex system: A case study in IMA domain
434
Formal Specification and Runtime Detection of Dynamic Properties in Asynchronous Pervasive Computing Environments
435
Formal specification and runtime detection of temporal properties for asynchronous context
436
Formal specification and security verification of the IDKE protocol using FDR model checking
437
Formal specification and simulation of software through graph grammars: a general but minimal approach
438
Formal specification and simulation of the robot path planner
439
Formal specification and systematic model-driven testing of embedded automotive systems
440
Formal specification and temporal proof techniques for mixed systems
441
Formal Specification and Transformation Method of System Requirements from B Method to AADL Model
442
Formal Specification And Validation In Production Plants
443
Formal specification and validation of a static FIFO queue model using coloured Petri nets
444
Formal specification and validation of railway network components using Z notation
445
Formal specification and verification of a dataflow processor array
446
Formal specification and verification of a group membership protocol for an intrusion-tolerant group communication system
447
Formal specification and verification of a group membership protocol for an intrusion-tolerant group communication system
448
Formal specification and verification of a micropayment protocol
449
Formal specification and verification of a procedural protocol: case study
450
Formal specification and verification of a protocol for consistent diagnosis in real-time embedded systems
451
Formal specification and verification of a real-time kernel
452
Formal Specification and Verification of an Extended Security Policy Model for Database Systems
453
Formal specification and verification of communication protocols for degraded modes of operation of IVHS
454
Formal specification and verification of communication protocols using automated tools
455
Formal specification and verification of components for industrial logic control programming
456
Formal specification and verification of components´ real-time behavior
457
Formal Specification and Verification of Concurrent Agents in Event-B
458
Formal specification and verification of control software for cryptographic equipment
459
Formal Specification and Verification of Data-Centric Service Composition
460
Formal Specification and Verification of Distributed Systems
461
Formal specification and verification of embedded system with shared resources
462
Formal specification and verification of graphical user interfaces
463
Formal specification and verification of hardware: a comparative case study
464
Formal specification and verification of hypermedia documents based on the Nested Context Model
465
Formal Specification and Verification of Industrial Control Logic Components
466
Formal Specification and Verification of Java Refactorings
467
Formal specification and verification of JXTA´s Endpoint Routing Protocol
468
Formal Specification and Verification of Modular Security Policy Based on Colored Petri Nets
469
Formal specification and verification of OSI session layer protocol using CCS
470
Formal specification and verification of protocol-based handover in a mobile process
471
Formal specification and verification of reconfigurable protocol stack for networked control system
472
Formal specification and verification of reconfigurable wireless sensor networks
473
Formal specification and verification of safety and performance of TCP selective acknowledgment
474
Formal specification and verification of the MLSSI sender and local cache using SPIN
475
Formal specification and verification of the OMA license choice algorithm in the OTS/CafeOBJ method
476
Formal specification and verification of the real-time scheduler in FIP
477
Formal specification and verification of the SET/A protocol with an approach
478
Formal specification and verification of the SWP to improve the performance of multiple windows
479
Formal Specification and Verification of Transactional Service Composition
480
Formal specification and verification of wireless networked self-organized Systems on Chip
481
Formal specification applied to industrial LAN´s design
482
Formal specification for basic video structure using Z
483
Formal specification for building robust real-time microkernels
484
Formal Specification for Byzantine Fault Tolerant Algorithm Suiting Web Services
485
Formal Specification for Real Time Cyber Physical Systems Using Aspect-Oriented Approach
486
Formal Specification for Secure Electronic Data Interchange System in Maude
487
Formal specification in collaborative design of critical software tools
488
Formal specification in VHDL for hardware verification
489
Formal specification in Z as a design and documentation tool
490
Formal specification languages
491
Formal specification languages for real-time systems
492
Formal Specification Level: Towards verification-driven design based on natural language processing
493
Formal specification of a look manager
494
Formal Specification of a Multi-Level Secure Operating System
495
Formal specification of a particular banking domain with RAISE specification language
496
Formal specification of a reactive system: an exercise in VHDL, LOTOS and UNITY
497
Formal specification of a real-time lift dispatching system
498
Formal specification of a rule-based expert system
499
Formal Specification of a Safety Critical Pervasive Application for a Nuclear Medicine Department
500
Formal specification of a tool to aid the early dignosis of the Chronic Kidney Disease
501
Formal Specification of ADACOR Holonic Control System: Coordination Models
502
Formal specification of agent-object oriented programs
503
Formal specification of an asynchronous processor via action refinement
504
Formal specification of an asynchronous Viterbi decoder
505
Formal specification of an FPGA based educational microprocessor
506
Formal specification of an intelligent message notification service in an infostation-based mLearning system using CCA
507
Formal specification of asynchronous checkpointing using Event-B
508
Formal Specification Of Asynchronous Distributed Real-time Systems By APTL
509
Formal Specification of Automatic DMARF Based on CSP
510
Formal specification of bounded buffer using stream functions
511
Formal specification of Catalysis frameworks
512
Formal specification of CA-UCON model using CCA
513
Formal specification of communication protocols based on a Timed-SDL: validation and performance prospects
514
Formal specification of communication protocols with object-based ECATNets
515
Formal specification of conformance testing documents for communication protocols
516
Formal specification of CORBA services using Object-Z
517
Formal specification of CORBA-based distributed objects and behaviors
518
Formal Specification of Cyber Physical Systems: Three Case Studies Based on Clock Theory
519
Formal specification of data abstraction in FORTRAN 77: abstract arrays
520
Formal specification of delta MINs for MPSOC in the ACL2 logic
521
Formal specification of dependable pervasive applications
522
Formal Specification of Design Patterns and Their Instances
523
Formal specification of design patterns: a comparison
524
Formal Specification of Domain-Specific ECA Policy Models
525
Formal specification of dynamic constraints with the B method
526
Formal specification of evolving distributed software architectures
527
Formal specification of extended refactoring guidelines
528
Formal specification of fault management system using O-Estelle
529
Formal Specification of Fault Tolerant Distributed Systems in the Action Systems Formalism
530
Formal specification of geographic data processing requirements
531
Formal specification of geographic data processing requirements
532
Formal Specification of Hierarchical Region RFID Code Resolution Service
533
Formal specification of holonic control system ADACOR product holon, using high-level Petri nets
534
Formal specification of human-computer interaction by graph grammars under consideration of information resources
535
Formal specification of humanitarian disaster management processes
536
Formal Specification of Hybrid MARTE Statecharts
537
Formal specification of image processing primitives in a functional language
538
Formal specification of information flow security policies and their enforcement in security critical systems
539
Formal specification of ISO virtual terminal in Estelle
540
Formal specification of Java concurrency to assist software verification
541
Formal specification of managed objects in an object-oriented network management system using Object-Z
542
Formal specification of mixed components with Korrigan
543
Formal specification of multi-agent environment using VDM-SL
544
Formal specification of multi-agent systems: approach based on meta-models and high-level Petri nets - case study of a transportation system
545
Formal specification of multimedia authoring
546
Formal specification of networks-on-chips: deadlock and evacuation
547
Formal Specification of OWL-S with Object-Z: the Static Aspect
548
Formal specification of particle Swarm Optimization using VDM-SL
549
Formal specification of QoS parameters by hierarchical tree structure
550
Formal specification of real-time dependable systems
551
Formal specification of shared variables using CSP
552
Formal specification of SIMD execution
553
Formal specification of SNMP MIB´s using action semantics: the routing proxy case study
554
Formal specification of software critical systems with agents
555
Formal specification of software systems using two-level grammar
556
Formal specification of system functions
557
Formal specification of testability metrics in IEEE P1522
558
Formal specification of the epsilon serializibility considering quality of service
559
Formal Specification of User Interfaces: A Comparison and Evaluation of Four Axiomatic Approaches
560
Formal specification of virtual process topologies
561
Formal Specification of Web Service Contracts for Automated Contracting and Monitoring
562
Formal specification of web services composition
563
Formal specification supporting incremental and flexible agent-based modeling
564
Formal specification techniques
565
Formal specification techniques as a catalyst in validation
566
Formal specification techniques for complex software systems
567
Formal specification to support advanced model based testing
568
Formal specification tools for test coverage analysis
569
Formal Specification using Interaction Diagrams
570
Formal specification-a key to service interactions analysis
571
Formal Specification-Based Inspection for Verification of Programs
572
Formal specification-based online monitoring
573
Formal specifications and proofs of inheritance protocols for real-time scheduling
574
Formal specifications and reliability: an experimental study
575
Formal Specifications are Mathematical Example from Robotics
576
Formal specifications better than function points for code sizing
577
Formal specifications for a project management approach
578
Formal Specifications for Java´s Synchronisation Classes
579
Formal specifications of computer-based systems
580
Formal specifications of computer-based systems
581
Formal specifications of computer-based systems
582
Formal specifications of sequential control for training machines for the lower limbs
583
Formal specifications: an industrial case study
584
Formal Specs Reuse with Embedded Systems Design Behavioral and Architectural Specifications in Real-Time Application Domains
585
Formal Spectral Theory for Ideal Sigma-Delta Quantization with Stationary Time-Varying Inputs
586
Formal static fault tree analysis
587
Formal Strategic Analysis of the Conflict over Syria
588
Formal structure for specifying the content and quality of the electronic health record
589
Formal study in postgraduate training
590
Formal Study of Prioritized Service Compositions
591
Formal style
592
Formal Support for Cyber Physical System Specification Using Aspect-Oriented Approach
593
Formal support for development of JavaBeans™ component systems
594
Formal support for dynamic QoS management in the development of open component-based distributed systems
595
Formal Support for Failure Knowledge Modeling and Diagnostic Reasoning Using Polychromatic sets
596
Formal Support for Quantitative Analysis of Residual Risks in Safety-Critical Systems
597
Formal support for software maintenance
598
Formal support for the engineering of CORBA-based distributed object systems
599
Formal support for untimed SystemC specifications: Application to high-level synthesis
600
Formal synthesis and code generation of embedded real-time software
601
Formal synthesis and code generation of real-time embedded software using time-extended quasi-static scheduling
602
Formal synthesis of circuits using linear matrix inequalities
603
Formal synthesis of circuits with a simple handshake protocol
604
Formal Synthesis of Circuits With Minimum Noise Figure Using Linear Matrix Inequalities
605
Formal Synthesis of Control Policies for Continuous Time Markov Processes From Time-Bounded Temporal Logic Specifications
606
Formal synthesis of dependable configurations for advanced metering infrastructures
607
Formal Synthesis of Optimal RTOS
608
Formal synthesis of supervisory control software for multiple robot systems
609
Formal System and Semantics of NΣ-Labeled Calculus
610
Formal system based on fuzzy logic applied to digital image scene analysis
611
Formal system design
612
Formal system design based on the synchrony hypothesis, functional models, and skeletons
613
Formal system-level design space exploration
614
Formal system-on-chip verification: An operation-based methodology and its perspectives in low power design
615
Formal systems of numerals
616
Formal taxonomy research on opportunistic networks
617
Formal techniques for an ITSEC-E4 secure gateway
618
Formal techniques for automatically generating marshalling code from high-level specifications
619
Formal techniques for hardware allocation
620
Formal Techniques for Protocol Specification and Verification
621
Formal Techniques for SystemC Verification; Position Paper
622
Formal Techniques for the Analysis of Wireless Networks
623
Formal techniques for the modelling and validation of a co-operating UAV team that uses Dubins set for path planning
624
Formal techniques for the specification, verification and construction of communication protocols
625
Formal techniques improve connectivity in supervisory systems
626
Formal test requirements for component interactions
627
Formal test specifications in open systems
628
Formal test-case generation for UML statecharts
629
Formal test-driven development with verified test cases
630
Formal testing applied in embedded software
631
Formal testing cryptographic protocols
632
Formal Theoretical Foundation of Electrical Aging of Dielectrics
633
Formal Theoretical Foundation of Electrical Aging of Dielectrics
634
Formal Theories for Semantic Fusion
635
Formal Theory of Creativity, Fun, and Intrinsic Motivation (1990–2010)
636
Formal theory of granular computing, and two major applications
637
Formal theory of state loss of Siphon-based deadlock prevention
638
Formal tilt invariance of the nonlocal curvature approximation and its connection to the integral equation method
639
Formal timing analysis of automatic repeat request for switched real-time networks
640
Formal timing analysis of OMT designs using LIMITS
641
Formal timing model for hardware components
642
Formal timing verification techniques for distributed system
643
Formal tools for managing inconsistency and change in RE
644
Formal Transformation from Sequence Diagrams to Coloured Petri Nets
645
Formal transformation of a KPN specification to a GALS implementation
646
Formal transition from algorithm to model for digital signal processing operations
647
Formal transition in agent organizations
648
Formal treatment of a family of fixed-point problems on graphs by CafeOBJ
649
Formal treatment of certificate revocation under communal access control
650
Formal Trust Specification in Service Workflows
651
Formal user methodology for evaluating the Internet search engines quality
652
Formal V&V in advanced energy management systems [validation and verification]
653
Formal Validation and Requirements Management Based on the Jackson´s Reference Model for Requirements and Specifications
654
Formal validation and verification of a medical software critical component
655
Formal validation and verification of space flight software using statechart-assertions and runtime execution monitoring
656
Formal validation method and tools for French computerized railway interlocking systems
657
Formal validation method for computerized railway interlocking systems
658
Formal validation of a multicast transport protocol
659
Formal Validation of Asynchronous Interaction-Agents Algorithms for Reaction-Diffusion Problems
660
Formal validation of complex production systems using coloured Petri nets
661
Formal Validation of Hierarchical State Machines against Expectations
662
Formal validation of model transformation with Coq proof assistant
663
Formal validation of PLC programs: A survey
664
Formal validation of QRS wave within ECG
665
Formal validation of the security properties of AMT´s three-way handshake
666
Formal validation of viewpoint specifications
667
Formal validation of virtual finite state machines
668
Formal validation techniques for Ontology-based Device Descriptions
669
Formal validation with OCL
670
Formal verification - is it real enough?
671
Formal verification - prove it or pitch it
672
Formal verification analysis of load-voltage power dynamics and control
673
Formal verification and controller redesign of power electronic converters
674
Formal Verification and Debugging of Array Dividers with Auto-correction Mechanism
675
Formal verification and implementation of real time operating system based applications
676
Formal Verification and Improvement of a Secure Protocol for Ad Hoc Networks
677
Formal verification and its impact on the snooping versus directory protocol debate
678
Formal verification and legacy redesign
679
Formal verification and legacy redesign
680
Formal verification and performance evaluation of logic integrated systems based on hierarchical analysis
681
Formal Verification and Simulation: Co-verification for Subway Control Systems
682
Formal Verification and Synthesis for Discrete-Time Stochastic Systems
683
Formal verification and validation of DEVS simulation models
684
Formal verification applied to Java concurrent software
685
Formal verification as a technology transfer problem
686
Formal verification at higher levels of abstraction
687
Formal verification at Intel
688
Formal verification based on assume and guarantee approach: a case study
689
Formal verification coverage: are the RTL-properties covering the design´s architectural intent?
690
Formal verification coverage: computing the coverage gap between temporal specifications
691
Formal verification for analysis and design of logic controllers for reconfigurable machining systems
692
Formal verification for analysis and design of reconfigurable controllers for manufacturing systems
693
Formal verification for distributed real-time control: periodic Producer/Consumer
694
Formal Verification for EAP-AKA Protocol in 3G Networks
695
Formal verification for embedded software with cognitive environment modelling
696
Formal verification for fault-tolerant architectures: prolegomena to the design of PVS
697
Formal verification for microprocessors with extendable instruction set
698
Formal Verification for Quality Analysis of SDG Fault Diagnosis Model via Symbolic Model Checking
699
Formal verification for real-world designs: today´s technologies [Tutorial]
700
Formal Verification for SpaceWire Communication Protocol Based on Environment State Machine
701
Formal verification for time-triggered clock synchronization
702
Formal verification for Web service composition: A model-checking approach
703
Formal verification guided automatic design error diagnosis and correction of complex processors
704
Formal Verification In A Commercial Setting
705
Formal verification in a component-based reuse methodology
706
Formal verification in Intel CPU design
707
Formal verification in Web services composition
708
Formal verification invariance properties of a robot sheet metal pressing cell
709
Formal verification meets robustness checking — Techniques and challenges
710
Formal verification method for combinatorial circuits at high level design
711
Formal verification of ‘full chip’ containing ‘shell’ partitions with and without feed-thrus
712
Formal verification of μ-charts
713
Formal Verification of 802.11 MAC Layer Handoff Process Using SPIN Model Checker
714
Formal Verification of 802.11i using Strand Space Formalism
715
Formal verification of a bus structure modeled in SystemC
716
Formal verification of a collision-free algorithm of dual-arm robot in HOL4
717
Formal verification of a commercial serial bus interface
718
Formal verification of a distributed master election protocol
719
Formal verification of a DSP chip using an iterative approach
720
Formal verification of a fault tolerant computer
721
Formal Verification of a Gravity-Induced Loss-of-Consciousness Monitoring System for Aircraft
722
Formal Verification of a Grid Resource Allocation Protocol
723
Formal Verification of a Key Agreement Protocol for Wireless Sensor Networks
724
Formal verification of a microprocessor control
725
Formal Verification of a Network Survivability Validate Model
726
Formal Verification of a Pervasive Interconnect Bus System in a High-Performance Microprocessor
727
Formal Verification of a Pipelined Cryptographic Circuit Using Equivalence Checking and Completion Functions
728
Formal verification of a pipelined microprocessor
729
Formal verification of a pipelined processor with new memory hierarchy using a commercial model checker
730
Formal verification of a PowerPC microprocessor
731
Formal Verification of a Public-Domain DDR2 Controller Design
732
Formal Verification of a Real-Time Hardware Design
733
Formal Verification of a Secure Network with End-to-End Encryption
734
Formal verification of a snoop-based cache coherence protocol using symbolic model checking
735
Formal verification of a SONET data stream processor
736
Formal Verification of a Superscalar Execution Unit
737
Formal verification of a system-on-chip using computation slicing
738
Formal verification of a TDMA protocol start-up mechanism
739
Formal Verification of a Transactional Interaction Contract
740
Formal Verification of Abstract System and Protocol Specifications
741
Formal verification of ACAS X, an industrial airborne collision avoidance system
742
Formal verification of Ada programs
743
Formal verification of ad-hoc routing protocols using SPIN model checker
744
Formal verification of algorithms for critical systems
745
Formal Verification of an Arbiter Circuit
746
Formal verification of an ARM processor
747
Formal verification of an array-based nonblocking queue
748
Formal verification of an ASIC ethernet switch block
749
Formal verification of an ATM switch fabric using multiway decision graphs
750
Formal verification of an automotive engine controller in cutoff mode
751
Formal verification of an automotive scenario in service-oriented computing
752
Formal verification of an IBM coreconnect processor local bus arbiter care
753
Formal verification of an industrial system-on-a-chip
754
Formal verification of an Intel XScale processor model with scoreboarding, specialized execution pipelines, and impress data-memory exceptions
755
Formal verification of an interactive consistency algorithm for the Draper FTP architecture under a hybrid fault model
756
Formal Verification of an Optimistic Concurrency Control Algorithm using SPIN
757
Formal verification of an optimizing compiler
758
Formal verification of an SoC platform protocol converter
759
Formal verification of analog and mixed signal designs
760
Formal Verification of Analog and Mixed Signal Designs: Survey and Comparison
761
Formal verification of analog circuit parameters across variation utilizing SAT
762
Formal verification of analog circuits in the presence of noise and process variation
763
Formal verification of analog designs using MetiTarski
764
Formal verification of arbiters using property strengthening and underapproximations
765
Formal Verification of Architectural Power Intent
766
Formal verification of ASM designs using the MDG tool
767
Formal verification of attributed and typed graph transformation systems
768
Formal verification of AUTOSAR FlexRay state manager
769
Formal verification of bond graph modelled analogue circuits
770
Formal verification of business processes as role activity diagrams
771
Formal verification of business processes with temporal and resource constraints
772
Formal Verification of Business Workflows and Role Based Access Control Systems
773
Formal Verification of Bypassed Processor Pipelines
774
Formal verification of C language based VLSI designs
775
Formal verification of cache systems using refinement relations
776
Formal Verification of C-element Circuits
777
Formal Verification of CHP Specifications with CADP Illustration on an Asynchronous Network-on-Chip
778
Formal verification of circuit-switched Network on chip (NoC) architectures using SPIN
779
Formal verification of combinational circuits
780
Formal verification of commercial integrated circuits
781
Formal Verification of Communicating HSTM Designs
782
Formal verification of Communication based Train Control system
783
Formal verification of communication protocol using type theory
784
Formal verification of composite service recovery mechanisms consistency
785
Formal verification of concurrent and distributed constraint-based Java programs
786
Formal verification of concurrent programs using the Larch prover
787
Formal verification of concurrent scheduling strategies using TLA
788
Formal verification of condition data flow diagrams for assurance of correct network protocols
789
Formal Verification of Consistency between Feature Model and Software Architecture in Software Product Line
790
Formal Verification of Consistency in Model-Driven Development of Distributed Communicating Systems and Communication Protocols
791
Formal Verification Of Content Addressable Memories Using Symbolic Trajectory Evaluation
792
Formal verification of control systems´ properties with theorem proving
793
Formal Verification of Controller Synthesis Based on Incompletely Specified Finite State Machine Model
794
Formal verification of correctness and performance of random priority-based arbiters
795
Formal verification of CPU in laboratory work
796
Formal verification of crossover operator in Genetic Algorithms using Prototype Verification System (PVS)
797
Formal Verification of Cryptographic Protocol for Secure RFID System
798
Formal verification of data-path circuits based on symbolic simulation
799
Formal verification of dead code elimination in Isabelle/HOL
800
Formal verification of delayed consistency protocols
801
Formal verification of design correctness of sequential circuits based on theorem provers
802
Formal Verification of Device State Chart Models
803
Formal verification of digital circuits
804
Formal verification of digital circuits by 3-valued simulation
805
Formal verification of digital circuits using hybrid simulation
806
Formal verification of digital systems
807
Formal verification of digital systems by automatic reduction of data paths
808
Formal verification of distributed controllers using Time-Stamped Event Count Automata
809
Formal verification of distributed dynamic thermal management
810
Formal Verification of Distributed Transaction Management in a SOA Based Control System
811
Formal verification of DSP VLSI architectures: a tutorial
812
Formal verification of dynamically reconfigurable systems
813
Formal Verification of EAP-AKA with Improved Authentication Tests
814
Formal verification of embedded real-time software in component-based application frameworks
815
Formal verification of embedded SoC
816
Formal verification of embedded system designs at multiple levels of abstraction
817
Formal verification of embedded systems based on CFSM networks
818
Formal verification of error correcting circuits using computational algebraic geometry
819
Formal verification of fail-safeness of a comparator for redundant system using regular temporal logic
820
Formal verification of fault tolerance using theorem-proving techniques
821
Formal Verification of Fault-Tolerant and Recovery Mechanisms for Safe Node Sequence Protocol
822
Formal Verification Of FIRE: A Case Study
823
Formal Verification of Firewall Policies
824
Formal Verification of Floating-Point Programs
825
Formal verification of Full-Wave Rectifier using SPICE circuit simulation traces
826
Formal verification of full-wave rectifier: A case study
827
Formal Verification of Galois Field Multipliers Using Computer Algebra Techniques
828
Formal Verification of Generalised State Machines
829
Formal verification of globally-iterated and locally-non-iterated finite state machines
830
Formal verification of G-PAKE using Casper/FDR2: Securing a group PAKE protocol using Casper/FDR2
831
Formal Verification of Hardware / Software Power Management Strategies
832
Formal verification of hardware correctness: introduction and survey of current research
833
Formal Verification of Hardware Support for Advanced Encryption Standard
834
Formal verification of hardware: misconception and reality
835
Formal verification of high-level conformance with symbolic simulation
836
Formal Verification of HMQV Using ASM-SPV
837
Formal verification of human-robot teamwork
838
Formal verification of hybrid systems
839
Formal verification of hybrid systems using CheckMate: a case study
840
Formal Verification of IEC61499 Function Blocks with Abstract State Machines and SMV -- Modelling
841
Formal Verification of IEEE 802.16 Security Sublayer Using Scyther Tool
842
Formal Verification of Industrial Software with Dynamic Memory Management
843
Formal Verification of Infinite State Systems Using Boolean Methods
844
Formal verification of integrated modular avionics (IMA) health monitoring using timed automata
845
Formal verification of Intelligent Mechatronic Systems with decentralized control logic
846
Formal verification of internal block diagram of SysML for modeling real-time system
847
Formal Verification of Interrupt Injection in a Hypervisor
848
Formal verification of iterative algorithms in microprocessors
849
Formal verification of JADE behaviour: A modeling approach
850
Formal verification of layered sensing architectures
851
Formal Verification of Lock-Free Algorithms
852
Formal verification of logical link control and adaptation protocol
853
Formal verification of LTE-UMTS handover procedures
854
Formal verification of LTL formulas for SystemC designs
855
Formal verification of mandatory access control for privacy cloud
856
Formal verification of maneuver automata for parameterized motion primitives
857
Formal verification of mediatedweb service interactions considering client´s expected behaviours
858
Formal verification of memory arrays using symbolic trajectory evaluation
859
Formal verification of memory circuits by switch-level simulation
860
Formal verification of microprocessors
861
Formal verification of mixed-signal circuits using extended PSL
862
Formal verification of mobile agent based anomaly detection in Wireless Sensor Networks
863
Formal verification of mobile agent based worflows
864
Formal verification of model transformations: An automated framework
865
Formal verification of module interfaces against real time specifications
866
Formal verification of modules under real time environment constraints
867
Formal verification of MPR selection algorithm in the OLSR protocol
868
Formal Verification Of Multi-chip Designs
869
Formal verification of mutex of concurrent system
870
Formal Verification of Mutual Exclusion Between the Guards of Deterministic Choice Structures
871
Formal Verification of Netlog Protocols
872
Formal Verification of OAuth 2.0 Using Alloy Framework
873
Formal Verification of Out-of-Order Processor
874
Formal verification of overhead accounting in an avionics RTOS
875
Formal verification of PAP and EAP-MD5 protocols in wireless networks: FDR model checking
876
Formal verification of parametric multiplicative division implementations
877
Formal Verification of Partial Good Self-Test Fencing Structures
878
Formal verification of phase-locked loops using reachability analysis and continuization
879
Formal verification of pipeline control using controlled token nets and abstract interpretation
880
Formal verification of pipelined and superscalar processors
881
Formal verification of pipelined microprocessors with delayed branches
882
Formal verification of pipelined processors with load-value prediction
883
Formal verification of pipelined processors with precise exceptions
884
Formal Verification of PKMv3 Protocol Using DT-Spin
885
Formal Verification of Plastic User Interfaces Exploiting Domain Ontologies
886
Formal verification of PLC controlled systems using Sensor Graphs
887
Formal verification of PLC programs
888
Formal verification of PLC programs generated from signal interpreted Petri nets
889
Formal Verification of Power Scheduling Policies for Battery Powered Mobile Systems
890
Formal verification of PowerPC arrays using symbolic trajectory evaluation
891
Formal Verification of Privacy for RFID Systems
892
Formal verification of programs with exceptions
893
Formal Verification of Protocol Properties of Sequential Java Programs
894
Formal Verification of Protocols in E-commerce
895
Formal verification of pulse-mode asynchronous circuits
896
Formal verification of RACE protocol using SSM
897
Formal verification of real-time embedded software in an object-oriented application framework
898
Formal verification of real-time software by symbolic model-checker
899
Formal Verification of Real-Time Wireless Sensor Networks Protocols: Scaling Up
900
Formal verification of reconfigurable cores
901
Formal verification of redundant media extension of Ethernet PowerLink
902
Formal verification of requirements using SPIN: a case study on Web services
903
Formal verification of RGPS-G
904
Formal Verification of RGPS-S
905
Formal Verification of Robot Movements - a Case Study on Home Service Robot SHR100
906
Formal verification of robotic and automation tasks
907
Formal Verification of Runtime Compensation of Web Service Compositions: A Refinement and Proof Based Proposal with Event-B
908
Formal Verification of Safety and Liveness Properties for Logic Controllers. A Tool Comparison
909
Formal verification of safety and performance properties of TCP selective acknowledgment
910
Formal verification of safety of polymorphic heterogeneous multi-core architectures
911
Formal verification of safety properties for a cache coherence protocol
912
Formal verification of safety properties in timed circuits
913
Formal Verification of SCA Assembly Model with Event-B
914
Formal Verification of SDG via Symbolic Model Checking
915
Formal verification of secure ad-hoc network routing protocols using deductive model-checking
916
Formal verification of secure programs in the presence of side effects
917
Formal verification of security protocol with B method
918
Formal verification of self-testing properties of combinational circuits
919
Formal verification of sequence diagram using DiVinE
920
Formal verification of sequential Galois field arithmetic circuits using algebraic geometry
921
Formal verification of sequential hardware: a tutorial
922
Formal verification of signature monitoring mechanisms using model checking
923
Formal Verification of Simulation Traces Using Computation Slicing
924
Formal Verification of SLA Transformations
925
Formal Verification of Software Designs in Hierarchical State Transition Matrix with SMT-based Bounded Model Checking
926
Formal Verification of Software for the Contiki Operating System Considering Interrupts
927
Formal verification of software safety criteria using Event-B
928
Formal verification of some potential contradictions in hybrid expert systems
929
Formal verification of Statecharts using finite-state model checkers
930
Formal verification of statecharts using finite-state model checkers
931
Formal verification of state-machines using higher-order logic
932
Formal verification of structured analysis and design in HOS
933
Formal verification of superscalar microprocessors with multicycle functional units, exceptions, and branch prediction
934
Formal verification of synthesized analog designs
935
Formal verification of synthesized mixed signal designs using *BMDs
936
Formal Verification of System Level Designs: A GSM Vocoder Case Study
937
Formal verification of SystemC by automatic hardware/software partitioning
938
Formal Verification of SystemC Designs Using a Petri-Net Based Representation
939
Formal verification of systems with an unlimited number of components
940
Formal Verification of Systems-on-Chip - Industrial Experiences and Scientific Perspectives
941
Formal verification of taint-propagation security properties in a commercial SoC design
942
Formal verification of tamper-evident storage for e-voting
943
Formal verification of the AAMP5 microprocessor: a case study in the industrial use of formal methods
944
Formal verification of the cooperative behaviour of network nodes for routing and context dissemination
945
Formal Verification of the Coordinated Robust Authentication Protocol for Wireless Networks
946
Formal verification of the correctness in hybrid expert systems
947
Formal verification of the HAL S1 System cache coherence protocol
948
Formal verification of the heavy hitter problem
949
Formal verification of the IEEE 802.11i WLAN security protocol
950
Formal verification of the Lowe modified BAN concrete Andrew Secure RPC protocol
951
Formal verification of the MetaH executive using linear hybrid automata
952
Formal verification of the PATHO real-time operating system
953
Formal verification of the Pentium(R) 4 multiplier
954
Formal verification of the PentiumLt;4 floating-point multiplier
955
Formal verification of the RCMP egress routing logic [ATM]
956
Formal Verification of the Security for Dual Connectivity in LTE
957
Formal verification of the Sobel image processing chip
958
Formal verification of the UltraSPARC(TM) family of techniques
959
Formal verification of the universal physical access control system (UPACS)
960
Formal Verification of Time Constrains SysML Internal Block Diagram Using PRISM
961
Formal Verification of Timed Systems: A Survey and Perspective
962
Formal verification of timed systems: a survey and perspective
963
Formal verification of timed VHDL programs
964
Formal verification of Time-Triggered Ethernet protocol using PRISM model checker
965
Formal verification of timing conditions
966
Formal verification of tree-structured carry-lookahead adders
967
Formal verification of Tunnel Diode Oscillator with temperature variations
968
Formal verification of type flaw attacks in security protocols
969
Formal Verification of UML Sequence Diagrams in the Embedded Systems Context
970
Formal verification of UML statecharts using the LOTOS formal language
971
Formal verification of UML-modeled machine controls
972
Formal verification of VHDL descriptions in the Prevail environment
973
Formal verification of VHDL: the model checker CV
974
Formal Verification of Web Service Interaction Contracts
975
Formal Verification of Web Services Composition Using Linear Logic and the pi-calculus
976
Formal Verification of Wireless Sensor Key Exchange Protocol Using AVISPA
977
Formal verification of word-level specifications
978
Formal verification on Distributed Spectrum Sensing Protocol
979
Formal verification techniques for model transformations specified by-demonstration
980
Formal verification techniques: industrial status and perspectives
981
Formal verification using bounded model checking: SAT versus sequential ATPG engines
982
Formal verification using edge-valued binary decision diagrams
983
Formal verification using parametric representations of Boolean constraints
984
Formal verification: a new partial order approach
985
Formal verification: current use and future perspectives
986
Formal verification-a viable alternative to simulation?
987
Formal Verifications in Modern Chip Designs
988
Formal verifications: an industrial case study
989
Formal Versus Agile: Survival of the Fittest
990
Formal Visual Modelling of Human Agents in Service Oriented Systems
991
Formal Vulnerability Analysis of a Security System for Remote Fieldbus Access
992
Formal Vulnerability Analysis of Security Components
993
Formal Worst-Case Analysis of Crosstalk Noise in Mesh-Based Optical Networks-on-Chip
994
Formal worst-case timing analysis of Ethernet topologies with strict-priority and AVB switching
995
Formal worst-case timing analysis of Ethernet TSN´s time-aware and peristaltic shapers
996
Formal Z Specifications of Several Flat Role-Based Access Control Models
997
Formal, holarchical representation of tactical behaviors
998
Formal: A Forms-Oriented, Visual-Directed Application Development System
999
Formal-Analysis-Based Trace Computation for Post-Silicon Debug
1000
Formaldehyde degradation filter via recombinant E. coli enzyme