BibSLEIGH — formal stem

Used together with:

model (303)
verif (253)
specif (244)
system (219)
method (197)

Stem formal$ (all stems)

1585 papers:

WICSA-2015-MoCKX #architecture #automation #detection #smell: Hotspot Patterns: The Formal Definition and Automatic Detection of Architecture Smells (RM, YC, RK, LX), pp. 51–60.
CASE-2015-JiangDZZ #formal method #mobile #modelling #verification: Formal modeling and verification of secure mobile agent systems (MJ, ZD, MZ, YZ), pp. 545–550.
CASE-2015-SemeniutaF #approach #data flow #formal method #industrial #specification: Discrete event dataflow as a formal approach to specification of industrial vision systems (OS, PF), pp. 849–854.
DAC-2015-GuoDJFM #formal method #perspective #security #validation #verification: Pre-silicon security verification and validation: a formal perspective (XG, RGD, YJ, FF, PM), p. 6.
DAC-2015-SeshiaSS #formal method: Formal methods for semi-autonomous driving (SAS, DS, SSS), p. 5.
DAC-2015-ThieleAE #analysis #scheduling: Improving formal timing analysis of switched ethernet by exploiting FIFO scheduling (DT, PA, RE), p. 6.
DATE-2015-IqtedarHSH #analysis #distributed #probability: Formal probabilistic analysis of distributed dynamic thermal management (SI, OH, MS, JH), pp. 1221–1224.
DATE-2015-NiemannHGW #formal method #generative #modelling: Assisted generation of frame conditions for formal models (PN, FH, MG, RW), pp. 309–312.
DATE-2015-SeylerSGNT #analysis #formal method: Formal analysis of the startup delay of SOME/IP service discovery (JRS, TS, MG, NN, JT), pp. 49–54.
DATE-2015-SunKPE #algebra #geometry #using #verification: Formal verification of sequential Galois field arithmetic circuits using algebraic geometry (XS, PK, TP, FE), pp. 1623–1628.
DATE-2015-YanCC #consistency #natural language #specification: Formal consistency checking over specifications in natural languages (RY, CHC, YC), pp. 1677–1682.
ITiCSE-2015-ChaudhariD #formal method: Introducing Formal Methods via Program Derivation (DLC, OPD), pp. 266–271.
FASE-2015-DaniaC #modelling #reasoning: Model-Based Formal Reasoning about Data-Management Applications (CD, MC), pp. 218–232.
FASE-2015-SalayC #framework #modelling: A Generalized Formal Framework for Partial Modeling (RS, MC), pp. 133–148.
TACAS-2015-JeanninGKGSZP #hybrid: A Formally Verified Hybrid System for the Next-Generation Airborne Collision Avoidance System (JBJ, KG, YK, RG, AS, EZ, AP), pp. 21–36.
TACAS-2015-KriouileS #formal method #using #verification: Using a Formal Model to Improve Verification of a Cache-Coherent System-on-Chip (AK, WS), pp. 708–722.
TACAS-2015-SoudjaniGA #abstraction #probability #process: FAUST 2 : Formal Abstractions of Uncountable-STate STochastic Processes (SEZS, CG, AA), pp. 272–286.
PLDI-2015-KangHMGZV #c #memory management: A formal C memory model supporting integer-pointer casts (JK, CKH, WM, DG, SZ, VV), pp. 326–335.
PLDI-2015-ParkSR #javascript #named #semantics: KJS: a complete formal semantics of JavaScript (DP, AS, GR), pp. 346–356.
PLDI-2015-WilcoxWPTWEA #distributed #framework #implementation #named #verification: Verdi: a framework for implementing and formally verifying distributed systems (JRW, DW, PP, ZT, XW, MDE, TEA), pp. 357–368.
DLT-2015-BellRS #formal method: Factorization in Formal Languages (PCB, DR, JS), pp. 97–107.
FM-2015-AlTurkiA #distributed #framework #towards #using #verification #𝕂: Towards Formal Verification of Orchestration Computations Using the 𝕂 Framework (MAA, OA), pp. 40–56.
FM-2015-DurandS #formal method #framework #generative #named: Autofunk: An Inference-Based Formal Model Generation Framework for Production Systems (WD, SS), pp. 577–580.
FM-2015-KuritaIA #documentation #evolution #formal method #mobile #modelling: Practices for Formal Models as Documents: Evolution of VDM Application to “Mobile FeliCa” IC Chip Firmware (TK, FI, KA), pp. 593–596.
FM-2015-Lecomte #modelling #verification: Formal Virtual Modelling and Data Verification for Supervision Systems (TL), pp. 597–600.
FM-2015-SafilianMD #feature model #formal method #modelling #semantics: The Semantics of Cardinality-Based Feature Models via Formal Languages (AS, TSEM, ZD), pp. 453–469.
FM-2015-SchutsH #concept #development #formal method: Formalizing the Concept Phase of Product Development (MS, JH), pp. 605–608.
FM-2015-SogokonJ #hybrid #liveness #verification: Direct Formal Verification of Liveness Properties in Continuous and Hybrid Dynamical Systems (AS, PBJ), pp. 514–531.
SEFM-2015-KamaliHKP #analysis #distributed #formal method: Formal Analysis of Proactive, Distributed Routing (MK, PH, MK, LP), pp. 175–189.
SEFM-2015-LarmuseauC #formal method #interface: Formalizing a Secure Foreign Function Interface (AL, DC), pp. 215–230.
SEFM-2015-ShenB #formal method: A Formal Study of Backward Compatible Dynamic Software Updates (JS, RAB), pp. 231–248.
ICGT-2015-WeberDP #formal method #graph transformation #monitoring #using: Using Graph Transformations for Formalizing Prescriptions and Monitoring Adherence (JHW, SD, MP), pp. 205–220.
CHI-2015-LernerFG #polymorphism #user interface: Polymorphic Blocks: Formalism-Inspired UI for Structured Connectors (SL, SRF, WGG), pp. 3063–3072.
CHI-2015-MunteanuMMROV #human-computer #interactive #requirements: Situational Ethics: Re-thinking Approaches to Formal Ethics Requirements for Human-Computer Interaction (CM, HM, WM, MR, SO, JV), pp. 105–114.
CHI-2015-VatavuW #analysis #elicitation #formal method #metric #tool support: Formalizing Agreement Analysis for Elicitation Studies: New Measures, Significance Test, and Toolkit (RDV, JOW), pp. 1325–1334.
DHM-EH-2015-SinghLMW #formal method: Formalizing the Cardiac Pacemaker Resynchronization Therapy (NKS, ML, TSEM, AW), pp. 374–386.
DHM-EH-2015-SinghWLMW #formal method #modelling #reasoning #requirements: Stepwise Formal Modelling and Reasoning of Insulin Infusion Pump Requirements (NKS, HW, ML, TSEM, AW), pp. 387–398.
DUXU-UI-2015-BeltranUPSSSPCA #design #game studies #learning: Inclusive Gaming Creation by Design in Formal Learning Environments: “Girly-Girls” User Group in No One Left Behind (MEB, YU, AP, CS, WS, BS, SdlRP, MFCU, MTA), pp. 153–161.
LCT-2015-FonsecaRVG #3d #education #learning: From Formal to Informal 3D Learning. Assesment of Users in the Education (DF, ER, FV, ODG), pp. 460–469.
ICEIS-v2-2015-PereiraBD #formal method #uml: Mapping Formal Results Back to UML Semi-formal Model (VP, LB, MED), pp. 320–329.
ICEIS-v2-2015-PereiraD #formal method #logic #semantics #uml #using: Systematic Mapping — Formalization of UML Semantics using Temporal Logic (VP, MED), pp. 486–493.
ECIR-2015-AmigoGM #approach #clustering #effectiveness #formal method #information management #metric #retrieval: A Formal Approach to Effectiveness Metrics for Information Access: Retrieval, Filtering, and Clustering (EA, JG, SM), pp. 817–821.
SIGIR-2015-ZhangZ #formal method #game studies #information retrieval #interactive #interface #optimisation: Information Retrieval as Card Playing: A Formal Model for Optimizing Interactive Retrieval Interface (YZ, CZ), pp. 685–694.
ECMFA-J-2012-BaresiBKMMPRR15 #approach #embedded #uml #validation #verification: Formal verification and validation of embedded systems: the UML-based MADES approach (LB, GB, DSK, NDM, AM, RFP, AR, MR), pp. 343–363.
AMT-2015-SelimCDLO #case study #debugging #experience #model transformation #verification: Finding and Fixing Bugs in Model Transformations with Formal Verification: An Experience Report (GMKS, JRC, JD, LL, BJO), pp. 26–35.
MoDELS-2015-AliY #formal method #standard #testing: Formalizing the ISO/IEC/IEEE 29119 Software Testing Standard (SA, TY), pp. 396–405.
MoDELS-2015-SongLASDC #architecture #formal method #probability #using #verification: Formalizing and verifying stochastic system architectures using Monterey Phoenix (SoSyM abstract) (SS, YL, MA, JS, JSD, TC), p. 449.
ECOOP-2015-PetriVJ #formal method #implementation: Cooking the Books: Formalizing JMM Implementation Recipes (GP, JV, SJ), pp. 445–469.
PPDP-2015-GallF #formal method #semantics: A refined operational semantics for ACT-R: investigating the relations between different ACT-R formalizations (DG, TWF), pp. 114–124.
POPL-2015-JourdanLBLP #c: A Formally-Verified C Static Analyzer (JHJ, VL, SB, XL, DP), pp. 247–259.
REFSQ-2015-LiHBG0M #refinement #requirements #specification: From Stakeholder Requirements to Formal Specifications Through Refinement (FLL, JH, AB, GG, LL, JM), pp. 164–180.
REFSQ-2015-LiHT #case study #formal method #performance #requirements #towards: Towards More Efficient Requirements Formalization: A Study (WL, JHH, MT), pp. 181–197.
SAC-2015-GuessiMAON #architecture #named #ontology: OntolAD: a formal ontology for architectural descriptions (MG, DAM, GA, FO, EYN), pp. 1417–1424.
SAC-2015-KhelladiBBLG #consistency #framework #process #verification: A framework to formally verify conformance of a software process to a software method (DEK, RB, SB, YL, MPG), pp. 1518–1525.
SAC-2015-RiccobeneS #adaptation #formal method #modelling #self: Formal modeling self-adaptive service-oriented applications (ER, PS), pp. 1704–1710.
ESEC-FSE-2015-ChengGMSSW #formal method #semantics: Semantic degrees for Industrie 4.0 engineering: deciding on the degree of semantic formalization to select appropriate technologies (CHC, TG, CM, JOS, MS, PW), pp. 1010–1013.
ESEC-FSE-2015-GreenyerHMB #analysis #re-engineering #requirements: Evaluating a formal scenario-based method for the requirements analysis in automotive software engineering (JG, MH, JM, RB), pp. 1002–1005.
ICSE-v1-2015-MatichukMAJKS #empirical #formal method #towards #verification: Empirical Study Towards a Leading Indicator for Cost of Formal Software Verification (DM, TCM, JA, DRJ, GK, MS), pp. 722–732.
ICSE-v2-2015-Kallehbasti #modelling #scalability #uml #verification: Scalable Formal Verification of UML Models (MMPK), pp. 847–850.
SLE-2015-KuehnBGA #formal method #relational: A combined formal model for relational context-dependent roles (TK, SB, SG, UA), pp. 113–124.
SPLC-2015-FontBHC #automation #formal method #product line #variability: Automating the variability formalization of a model family by means of common variability language (JF, MB, ØH, CC), pp. 411–418.
SOSP-2015-RidgeSTGMS #file system #named #specification #testing: SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems (TR, DS, TT, AG, AM, PS), pp. 38–53.
CAV-2015-BozzanoCPJKPRT #analysis #design #safety: Formal Design and Safety Analysis of AIR6110 Wheel Brake System (MB, AC, AFP, DJ, GK, TP, RR, ST), pp. 518–535.
ICLP-2015-Harrison #formal method #programming #set: Formal Methods for Answer Set Programming (AH).
ICLP-2015-Maher: Relating Concrete Argumentation Formalisms and Abstract Argumentation (MJM).
RTA-2015-Talcott #execution #formal method #logic #modelling: Executable Formal Models in Rewriting Logic (Invited Talk) (CLT), p. 22.
ECSA-2014-BennaceurI #architecture #distributed: Layered Connectors — Revisiting the Formal Basis of Architectural Connection for Complex Distributed Systems (AB, VI), pp. 283–299.
QoSA-2014-DajsurenGSWVB #architecture #formal method: Formalizing correspondence rules for automotive architecture views (YD, CMG, AS, AW, BV, MvdB), pp. 129–138.
QoSA-2014-MirandolaP #adaptation #formal method #modelling #self: Software QoS enhancement through self-adaptation and formal models (RM, DPP), pp. 145–146.
WICSA-2014-PerovichB #architecture #formal method #modelling: Model-Based Formalization of Software Architecture Knowledge (DP, MCB), pp. 235–238.
ASE-2014-BecanSABBB #automation #comparison #formal method #matrix: Automating the formalization of product comparison matrices (GB, NS, MA, OB, AB, BB), pp. 433–444.
DAC-2014-SorinMZ #architecture #power management: Architecting Dynamic Power Management to be Formally Verifiable (DJS, OM, MZ), p. 3.
DATE-2014-SiddiqueT #analysis #formal method #towards: Towards the formal analysis of microresonators based photonic systems (US, ST), pp. 1–6.
DATE-2014-SubramanyanA #design #security #verification: Formal verification of taint-propagation security properties in a commercial SoC design (PS, DA), pp. 1–2.
SIGMOD-2014-RoyS #approach #database #formal method #query: A formal approach to finding explanations for database queries (SR, DS), pp. 1579–1590.
TFPIE-2014-MorazanA #automaton #formal method #functional #student: Functional Automata — Formal Languages for Computer Science Students (MTM, RA), pp. 19–32.
ESOP-2014-BenzakenCD #coq #formal method #relational: A Coq Formalization of the Relational Data Model (VB, EC, SD), pp. 189–208.
FASE-2014-MasciZJCT #user interface #using #verification: Formal Verification of Medical Device User Interfaces Using PVS (PM, YZ, PLJ, PC, HWT), pp. 200–214.
TACAS-2014-BozzanoCGT #component #design #detection #fault #identification #logic #using: Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic (MB, AC, MG, ST), pp. 326–340.
WRLA-2014-SunM #fault tolerance #specification: Formal Specification of Button-Related Fault-Tolerance Micropatterns (MS, JM), pp. 263–279.
WRLA-2014-ZhangCO #framework #semantics #standard #𝕂: A Formal Semantics of the OSEK/VDX Standard in 𝕂 Framework and Its Applications (MZ, YC, KO), pp. 280–296.
CSMR-WCRE-2014-Zaytsev #formal method #semiparsing: Formal foundations for semi-parsing (VZ), pp. 313–317.
ICPC-2014-BeyerH #evaluation: A formal evaluation of DepDegree based on weyuker’s properties (DB, PH), pp. 258–261.
PLDI-2014-GreenawayLAK #c #verification: Don’t sweat the small stuff: formal verification of C code without the pain (DG, JL, JA, GK), p. 45.
PLDI-2014-RickettsRJTL #automation #proving: Automating formal proofs for reactive systems (DR, VR, DJ, ZT, SL), p. 47.
FLOPS-2014-NaR #formal method #subclass #type system: A New Formalization of Subtyping to Match Subclasses to Subtypes (HN, SR), pp. 238–252.
FM-2014-ArenisWDMA #consistency #industrial #standard #verification: The Wireless Fire Alarm System: Ensuring Conformance to Industrial Standards through Formal Verification (SFA, BW, DD, MM, ASA), pp. 658–672.
FM-2014-BaiHWLLM #formal method #model checking #named #towards: TrustFound: Towards a Formal Foundation for Model Checking Trusted Computing Platforms (GB, JH, JW, YL, ZL, AM), pp. 110–126.
FM-2014-BjornerH #formal method #question: 40 Years of Formal Methods — Some Obstacles and Some Possibilities? (DB, KH), pp. 42–61.
FM-2014-ChristakisLS #formal method #verification: Formalizing and Verifying a Modern Build Language (MC, KRML, WS), pp. 643–657.
FM-2014-FreitasW #formal method #proving: Proof Patterns for Formal Methods (LF, IW), pp. 279–295.
FM-2014-GuptaKG #experience #verification: Formally Verifying Graphics FPU — An Intel® Experience (AG, VMAK, RG), pp. 673–687.
FM-2014-LiuXZS #verification: Formal Verification of Operational Transformation (YL, YX, SJZ, CS), pp. 432–448.
FM-2014-ShanWFZZWQC #using #verification: Formal Verification of Lunar Rover Control Software Using UPPAAL (LS, YW, NF, XZ, LZ, LW, LQ, JC), pp. 718–732.
FM-2014-WenMM #analysis #formal method #information management #towards: Towards a Formal Analysis of Information Leakage for Signature Attacks in Preferential Elections (RW, AM, CM), pp. 595–610.
FM-2014-Woodcock #semantics: Engineering UToPiA — Formal Semantics for CML (JW), pp. 22–41.
FM-2014-ZhaoYZGZC #verification: Formal Verification of a Descent Guidance Control Program of a Lunar Lander (HZ, MY, NZ, BG, LZ, YC), pp. 733–748.
IFM-2014-AsavoaeAR #interprocedural #semantics #slicing #towards: Towards a Formal Semantics-Based Technique for Interprocedural Slicing (IMA, MA, AR), pp. 291–306.
IFM-2014-BruniSNN #analysis #protocol #security: Formal Security Analysis of the MaCAN Protocol (AB, MS, FN, HRN), pp. 241–255.
IFM-2014-MiyazawaC #refinement: Formal Refinement in SysML (AM, AC), pp. 155–170.
SEFM-2014-BeckerSAB #analysis #constraints #deployment #fault tolerance #formal method: A Formal Model for Constraint-Based Deployment Calculation and Analysis for Fault-Tolerant Systems (KB, BS, MA, CB), pp. 205–219.
SEFM-2014-GrovO #analysis #consistency #formal method #multi: Increasing Consistency in Multi-site Data Stores: Megastore-CGC and Its Formal Analysis (JG, PCÖ), pp. 159–174.
SEFM-2014-KeshishzadehM #consistency #domain-specific language #formal method #reasoning #semantics #testing: Formalizing DSL Semantics for Reasoning and Conformance Testing (SK, AJM), pp. 81–95.
SEFM-2014-KoreckoSDS #development #education #formal method #tool support: A Toolset for Support of Teaching Formal Software Development (SK, JS, ZD, BS), pp. 278–283.
SEFM-2014-LaibinisTGMK #behaviour #formal method #modelling #verification: Formal Modelling and Verification of Cooperative Ant Behaviour in Event-B (LL, ET, ZG, FM, AHK), pp. 363–377.
SEFM-2014-Leroy #code generation #proving #tool support #verification: Formal Proofs of Code Generation and Verification Tools (XL), pp. 1–4.
SEFM-2014-PardoS #framework #network #policy #privacy #social: A Formal Privacy Policy Framework for Social Networks (RP, GS), pp. 378–392.
SEFM-2014-ReicherdtG #matlab #modelling #using #verification: Formal Verification of Discrete-Time MATLAB/Simulink Models Using Boogie (RR, SG), pp. 190–204.
ICFP-2014-Fisher #formal method #using: Using formal methods to enable more secure vehicles: DARPA’s HACMS program (KF), p. 1.
CSCW-2014-BodenRSW #coordination: Articulation spaces: bridging the gap between formal and informal coordination (AB, FR, GS, VW), pp. 1120–1130.
DHM-2014-SinghWLMW #formal method: Formalizing the Glucose Homeostasis Mechanism (NKS, HW, ML, TSEM, AW), pp. 460–471.
DUXU-DI-2014-CorreiaBMM #formal method #gesture #interface #metric #semantics: Syntactic/Semantic Formalizations and Metrics of Residential Applications Based on Gestural Interface (ACdCC, PLSB, LCdM, JNM), pp. 521–532.
HCI-TMT-2014-OrtegaLHBRA #formal method #modelling #multi #named #petri net #using: PeNTa: Formal Modeling for Multi-touch Systems Using Petri Net (FRO, SL, FH, AB, NR, MA), pp. 361–372.
AdaEurope-2014-IliasovLR #approach #formal method: Practical Formal Methods in Railways — The SafeCap Approach (AI, IL, AR), pp. 177–192.
HILT-2014-Larson #semantics #specification: Formal semantics for the PACEMAKER system specification (BRL), pp. 47–60.
CAiSE-2014-BastarricaMRSV #how #process #quality #question: How does Quality of Formalized Software Processes Affect Adoption? (MCB, GM, RR, LS, RV), pp. 226–240.
CAiSE-2014-LaurentBBG #formal method #process #verification: Formalization of fUML: An Application to Process Verification (YL, RB, SB, MPG), pp. 347–363.
EDOC-2014-HalleV #formal method: A Formalization of Complex Event Stream Processing (SH, SV), pp. 2–11.
ICEIS-v2-2014-BarretoFSJ #formal method #petri net #using: A Straightforward Introduction to Formal Methods Using Coloured Petri Nets (FMB, JCJdF, MSS, SJ), pp. 145–152.
ICEIS-v2-2014-MerouaniMS #approach #consistency #formal method #process #testing #towards: Formalizing Artifact-Centric Business Processes — Towards a Conformance Testing Approach (HM, FM, HSB), pp. 368–374.
ICEIS-v2-2014-PereiraZS #concept analysis: Extraction of Classes Through the Application of Formal Concept Analysis (DP, LZ, MS), pp. 275–282.
ICEIS-v2-2014-PodlouckyP #formal method #simulation #towards #validation: Towards Formal Foundations for BORM ORD Validation and Simulation (MP, RP), pp. 315–322.
ICEIS-v3-2014-OussenaEK #architecture #enterprise #formal method #framework #metamodelling #validation: Formalization of Validation Extension Metamodel for Enterprise Architecture Frameworks (SO, JE, PK), pp. 427–434.
KR-2014-Lin #first-order #formal method #linear #logic #source code: A Formalization of Programs in First-Order Logic with a Discrete Linear Order (FL).
KR-2014-Schuller #formal method #graph: Tackling Winograd Schemas by Formalizing Relevance Theory in Knowledge Graphs (PS).
SEKE-2014-CheMLC #network #online #protocol #runtime #testing: Testing Network Protocols: formally, at runtime and online (XC, SM, JL, ARC), pp. 90–93.
SEKE-2014-FreireKAJNAG #domain-specific language #empirical #formal method #re-engineering: An Empirical Study to Evaluate a Domain Specific Language for Formalizing Software Engineering Experiments (MAF, UK, EA, AJ, ECN, STA, MG), pp. 250–255.
SEKE-2014-NguyenC #case study #coordination #requirements #verification: Formal Verification of Coordination Systems’ Requirements — A Case Study on the European Train Control System (HNN, ARC), pp. 393–396.
SEKE-2014-SalmanSD14a #concept analysis #impact analysis #using: Feature-Level Change Impact Analysis Using Formal Concept Analysis (HES, AS, CD), pp. 447–452.
SIGIR-2014-VulicZM #e-commerce #formal method #learning: Learning to bridge colloquial and formal language applied to linking and search of E-Commerce data (IV, SZ, MFM), pp. 1195–1198.
BX-2014-GrohneLV #bidirectional #dependent type #formal method #semantics: Formalizing Semantic Bidirectionalization with Dependent Types (HG, AL, JV), pp. 75–81.
ECMFA-2014-LaurentBBG #alloy #framework #process #verification: Alloy4SPV : A Formal Framework for Software Process Verification (YL, RB, SB, MPG), pp. 83–100.
MoDELS-2014-TatibouetCGT #execution #formal method #modelling #semantics #uml: Formalizing Execution Semantics of UML Profiles with fUML Models (JT, AC, SG, FT), pp. 133–148.
MoDELS-2014-TatibouetCGT #execution #formal method #modelling #semantics #uml: Formalizing Execution Semantics of UML Profiles with fUML Models (JT, AC, SG, FT), pp. 133–148.
ECOOP-2014-FilarettiM #execution #php #semantics: An Executable Formal Semantics of PHP (DF, SM), pp. 567–592.
LOPSTR-2014-GallF #architecture #semantics: A Formal Semantics for the Cognitive Architecture ACT-R (DG, TWF), pp. 74–91.
QAPL-2014-KempfLM #design #formal method #manycore: Formal and Informal Methods for Multi-Core Design Space Exploration (JFK, OL, OM), pp. 78–92.
RE-2014-FilipovikjNR #approach #formal method #requirements: Reassessing the pattern-based approach for formalizing requirements in the automotive domain (PF, MN, GRN), pp. 444–450.
REFSQ-2014-CooperNL #education #formal method #game studies #modelling #requirements #towards: Towards Model-Driven Requirements Engineering for Serious Educational Games: Informal, Semi-formal, and Formal Models (KMLC, ESN, CSL), pp. 17–22.
REFSQ-2014-KossakMGI #case study #experience #specification: Improving the Understandability of Formal Specifications: An Experience Report (FK, AM, VG, CI), pp. 184–199.
SAC-2014-DabrowskiLP #concurrent #thread: Nested atomic sections with thread escape: a formal definition (FD, FL, TP), pp. 1585–1592.
SAC-2014-EmuraKOT #communication #formal method #implementation #prototype: Building secure and anonymous communication channel: formal model and its prototype implementation (KE, AK, SO, TT), pp. 1641–1648.
SAC-2014-LoulergueRTLH #parallel #problem: Formal derivation and extraction of a parallel program for the all nearest smaller values problem (FL, SR, JT, JL, ZH), pp. 1577–1584.
ICSE-2014-FilieriHM #adaptation #automation #design #self: Automated design of self-adaptive software with control-theoretical formal guarantees (AF, HH, MM), pp. 299–310.
LICS-CSL-2014-Mahboubi #order #proving #theorem: Computer-checked mathematics: a formal proof of the odd order theorem (AM), p. 1.
RTA-TLCA-2014-SternagelT #algebra #certification #complexity #formal method #proving #termination: Formalizing Monotone Algebras for Certification of Termination and Complexity Proofs (CS, RT), pp. 441–455.
QoSA-2013-Schmid #approach #formal method #technical debt: A formal approach to technical debt decision making (KS), pp. 153–162.
DATE-2013-ElfadelMA #formal method #industrial #manycore: Closed-loop control for power and thermal management in multi-core processors: formal methods and industrial practice (IME, RM, DA), pp. 1879–1881.
DATE-2013-HasanA #analysis #fault #feedback #formal method #using: Formal analysis of steady state errors in feedback control systems using HOL-light (OH, MA), pp. 1423–1426.
DATE-2013-MillerB #parametricity #satisfiability #verification: Formal verification of analog circuit parameters across variation utilizing SAT (MM, FB), pp. 1442–1447.
DATE-2013-QuintonNE #analysis #formal method #realtime: Formal analysis of sporadic bursts in real-time systems (SQ, MN, RE), pp. 767–772.
PODS-2013-FaginKRV #framework #information management #named: Spanners: a formal framework for information extraction (RF, BK, FR, SV), pp. 37–48.
TACAS-2013-BalasubramanianPKL #analysis #multi #named #statechart: Polyglot: Systematic Analysis for Multiple Statechart Formalisms (DB, CSP, GK, MRL), pp. 523–529.
PLDI-2013-ZhaoNMZ #optimisation #verification: Formal verification of SSA-based optimizations for LLVM (JZ, SN, MMKM, SZ), pp. 175–186.
SAS-2013-BlazyLMP #abstract interpretation #analysis #c #verification: Formal Verification of a C Value Analysis Based on Abstract Interpretation (SB, VL, AM, DP), pp. 324–344.
ICALP-v2-2013-AlmagorBK #formal method #quality #reasoning: Formalizing and Reasoning about Quality (SA, UB, OK), pp. 15–27.
IFM-2013-LiuLACSWD #semantics #state machine #uml: A Formal Semantics for Complete UML State Machines with Communications (SL, YL, ÉA, CC, JS, BW, JSD), pp. 331–346.
IFM-2013-MeryP #formal method #modelling #protocol #verification: Formal Modelling and Verification of Population Protocols (DM, MP), pp. 208–222.
IFM-2013-RuksenasCH #behaviour #evaluation #interactive #predict: Integrating Formal Predictions of Interactive System Behaviour with User Evaluation (RR, PC, MDH), pp. 238–252.
SEFM-2013-Klimek #logic #modelling #requirements #specification #verification: From Extraction of Logical Specifications to Deduction-Based Formal Verification of Requirements Models (RK), pp. 61–75.
SEFM-2013-SalehKBW #detection #fault #implementation #specification #static analysis #using: Static Detection of Implementation Errors Using Formal Code Specification (IS, GK, MBB, YW), pp. 197–211.
HCI-AMTE-2013-BratMP #interactive #model checking #semantics: V&V of Lexical, Syntactic and Semantic Properties for Interactive Systems through Model Checking of Formal Description of Dialog (GB, CM, PAP), pp. 290–299.
HCI-AMTE-2013-EngelMHF #automation #generative #specification #user interface: Formal Pattern Specifications to Facilitate Semi-automated User Interface Generation (JE, CM, CH, PF), pp. 300–309.
HILT-2013-CourtieuACZRBHG #coq #formal method #runtime #semantics #towards #using: Towards the formalization of SPARK 2014 semantics with explicit run-time checks using coq (PC, MVA, TC, ZZ, R, JB, JH, JG, TJ), pp. 21–22.
HILT-2013-Whalen #analysis #architecture #development #formal method #modelling #scalability #using: Up and out: scaling formal analysis using model-based development and architecture modeling (MWW), pp. 41–42.
HILT-2013-Wing #formal method #industrial #perspective: Formal methods: an industrial perspective (JMW), pp. 85–86.
CAiSE-2013-DelmasP #formal method #policy #specification: Formal Methods for Exchange Policy Specification (RD, TP), pp. 288–303.
ICEIS-J-2013-GandonBCCFGTMSTV #challenge #semantics #social #web: Challenges in Bridging Social Semantics and Formal Semantics on the Web (FG, MB, EC, OC, CFZ, AG, NLT, IM, PS, AT, SV), pp. 3–15.
ICEIS-v2-2013-Baina #anti #information management: Organisation, and Information Systems between Formal and Informal — Continuum, Balance, Patterns, and Anti-patterns (KB), pp. 85–93.
ICEIS-v2-2013-BenhaddiBA #approach #evaluation #formal method #implementation #user satisfaction: Formalization of the User Centric SOA Approach — Implementation and End User Satisfaction Evaluation (MB, KB, EHA), pp. 481–488.
ICEIS-v2-2013-BouassidaBA #design #named #semantics: P-UML — A Pattern Design Language with a Formal Semantics (NB, HBA, MA), pp. 197–205.
KEOD-2013-ChaabaneG #challenge #formal method #ontology: Matching Spatial Ontologies — A Challenge of Formalization (SC, FG), pp. 355–360.
KEOD-2013-MendesRB #development #information management #ontology #representation: Development and Population of an Elaborate Formal Ontology for Clinical Practice Knowledge Representation (DM, IPR, CFB), pp. 286–292.
SEKE-2013-Al-MsiedeenSHUVS #concept analysis #mining #object-oriented #semantics #source code #using: Mining Features from the Object-Oriented Source Code of a Collection of Software Variants Using Formal Concept Analysis and Latent Semantic Indexing (RAM, ADS, MH, CU, SV, HES), pp. 244–249.
SEKE-2013-WeiX #analysis #e-commerce #effectiveness #evaluation: A Formal Cost-Effectiveness Analysis Model for Product Evaluation in E-Commerce (RW, HX), pp. 287–293.
SKY-2013-RineF #complexity #information management #metric #quality #representation #requirements #using: Requirements Quality Knowledge Representation using Chunking Complexity Measurement: Prior to Formal Inspections (DCR, AF), pp. 3–13.
MoDELS-2013-SimkoLLNS #component #composition #cyber-physical #integration #semantics #specification: Specification of Cyber-Physical Components with Formal Semantics — Integration and Composition (GS, DL, TL, SN, JS), pp. 471–487.
MoDELS-2013-ZalilaCP #approach #domain-specific language #integration #verification: Formal Verification Integration Approach for DSML (FZ, XC, MP), pp. 336–351.
MoDELS-2013-SimkoLLNS #component #composition #cyber-physical #integration #semantics #specification: Specification of Cyber-Physical Components with Formal Semantics — Integration and Composition (GS, DL, TL, SN, JS), pp. 471–487.
MoDELS-2013-ZalilaCP #approach #domain-specific language #integration #verification: Formal Verification Integration Approach for DSML (FZ, XC, MP), pp. 336–351.
ECOOP-2013-SummersD #abstraction #recursion #semantics: A Formal Semantics for Isorecursive and Equirecursive State Abstractions (AJS, SD), pp. 129–153.
OOPSLA-2013-ShiBH #optimisation #using: Code optimizations using formally verified properties (YS, BB, GH), pp. 427–442.
LOPSTR-2013-AransayD #algebra #algorithm #execution #formal method #linear #theorem: Formalization and Execution of Linear Algebra: From Theorems to Algorithms (JA, JD), pp. 1–18.
PADL-2013-Aranda-LopezNSS #formal method #recursion #sql: Formalizing a Broader Recursion Coverage in SQL (GAL, SN, FSP, JSH), pp. 93–108.
RE-2013-BreauxR #analysis #formal method #multi #privacy #requirements #specification: Formal analysis of privacy requirements specifications for multi-tier applications (TDB, AR), pp. 14–20.
REFSQ-2013-BreauxG #analysis #requirements #specification #traceability #using: Regulatory Requirements Traceability and Analysis Using Semi-formal Specifications (TDB, DGG), pp. 141–157.
REFSQ-2013-Regnell #modelling #requirements #scalability #towards: reqT.org — Towards a Semi-Formal, Open and Scalable Requirements Modeling Tool (BR), pp. 112–118.
SAC-2013-HahnMPM #composition #semantics #web #web service: Formal semantics and expressiveness of a web service composition language (MGH, RM, AP, MAM), pp. 1667–1673.
SAC-2013-SenatoreP #collaboration #concept analysis #fuzzy #navigation: Lattice navigation for collaborative filtering by means of (fuzzy) formal concept analysis (SS, GP), pp. 920–926.
SAC-2013-TounsiKKDM #approach #design pattern #formal method #modelling #towards: Towards an approach for modeling and formalizing SOA design patterns with Event-B (IT, MHK, AHK, KD, EM), pp. 1937–1938.
ESEC-FSE-2013-JiangLZDSGS #design #embedded #multi #optimisation #using: Design and optimization of multi-clocked embedded systems using formal technique (YJ, ZL, HZ, YD, XS, MG, JS), pp. 703–706.
ICSE-2013-AlmorsyGI #analysis #architecture #automation #security #using: Automated software architecture security risk analysis using formalized signatures (MA, JG, ASI), pp. 662–671.
ICSE-2013-StaplesKKLAMJB #specification: Formal specifications better than function points for code sizing (MS, RK, GK, CL, JA, TCM, DRJ, LB), pp. 1257–1260.
HPCA-2013-BeuPHC #performance #verification: High-speed formal verification of heterogeneous coherence hierarchies (JGB, JAP, ERH, TMC), pp. 566–577.
CAV-2013-BraibantC #hardware #synthesis #verification: Formal Verification of Hardware Synthesis (TB, AC), pp. 213–228.
CAV-2013-ManciniMMMMT #model checking #simulation #verification: System Level Formal Verification via Model Checking Driven Simulation (TM, FM, AM, IM, FM, ET), pp. 296–312.
ICST-2013-KangKHKNSC #formal method #modelling #verification: Formal Modeling and Verification of SDN-OpenFlow (MK, EYEK, DYH, BJK, KHN, MKS, JYC), pp. 481–482.
ISSTA-2013-Bonacchi #case study #proving #safety: Formal safety proof: a real case study in a railway interlocking system (AB0), pp. 378–381.
RTA-2013-SternagelT #formal method #order: Formalizing Knuth-Bendix Orders and Knuth-Bendix Completion (CS, RT), pp. 287–302.
RTA-2013-Zankl #confluence #diagrams: Confluence by Decreasing Diagrams — Formalized (HZ), pp. 352–367.
WICSA-ECSA-2012-FrancoBR #architecture #automation #predict #reliability: Automated Reliability Prediction from Formal Architectural Descriptions (JMF, RB, MZR), pp. 302–309.
WICSA-ECSA-2012-HeymanSJ #architecture #formal method #modelling #reuse: Reusable Formal Models for Secure Software Architectures (TH, RS, WJ), pp. 41–50.
ASE-2012-AlmorsyGI #analysis #automation #using: Supporting automated vulnerability analysis using formalized vulnerability signatures (MA, JG, ASI), pp. 100–109.
ASE-2012-Gabmeyer #model transformation #verification: Formal verification techniques for model transformations specified by-demonstration (SG), pp. 390–393.
CASE-2012-KlotzSSFTS #on the #verification: On the formal verification of routing in material handling systems (TK, NS, BS, EF, KT, JS), pp. 8–13.
DATE-2012-HaedickeGD #metric #verification: A guiding coverage metric for formal verification (FH, DG, RD), pp. 617–622.
DATE-2012-LvKE #multi #performance #reduction #verification: Efficient Gröbner basis reductions for formal verification of galois field multipliers (JL, PK, FE), pp. 899–904.
DATE-2012-MitraBD #formal method #mining #ranking: Formal methods for ranking counterexamples through assumption mining (SM, AB, PD), pp. 911–916.
DATE-2012-QuintonHE #analysis #formal method #realtime: Formal analysis of sporadic overload in real-time systems (SQ, MH, RE), pp. 515–520.
CSEET-2012-Virseda #algebra #data type #implementation #specification #testing #verification: A Software Testing Tool for the Verification of Abstract Data Type Implementations from Formal Algebraic Specifications (RdVV), pp. 100–104.
ITiCSE-2012-KrausePR #learning: Formal learning groups in an introductory CS course: a qualitative exploration (JK, IP, CR), pp. 315–320.
ESOP-2012-BartheDP: A Formally Verified SSA-Based Middle-End — Static Single Assignment Meets CompCert (GB, DD, DP), pp. 47–66.
ESOP-2012-LeeOCY #first-order #framework #named: GMeta: A Generic Formal Metatheory Framework for First-Order Representations (GL, BCdSO, SC, KY), pp. 436–455.
FASE-2012-EckhardtMAMW: Stable Availability under Denial of Service Attacks through Formal Patterns (JE, TM, MA, JM, MW), pp. 78–93.
TACAS-2012-WangTGLS #analysis #formal method: Reduction-Based Formal Analysis of BGP Instances (AW, CLT, AJTG, BTL, AS), pp. 283–298.
WRLA-2012-FadlisyahOA #analysis #formal method #modelling: Formal Modeling and Analysis of Human Body Exposure to Extreme Heat in HI-Maude (MF, PCÖ, EÁ), pp. 139–161.
WCRE-J-2009-LoRRV12 #algorithm #evaluation #mining #quantifier: Mining quantified temporal rules: Formalism, algorithms, and evaluation (DL, GR, VPR, KV), pp. 743–759.
CSMR-2012-GauthierM #case study #concept analysis #data access #modelling: Investigation of Access Control Models with Formal Concept Analysis: A Case Study (FG, EM), pp. 397–402.
CSMR-2012-KazatoHOMHS #concept analysis #feature model #multi: Feature Location for Multi-Layer System Based on Formal Concept Analysis (HK, SH, SO, SM, TH, MS), pp. 429–434.
CIAA-2012-EhrenfeuchtR #framework #process: A Formal Framework for Processes Inspired by the Functioning of Living Cells (AE, GR), pp. 25–27.
LATA-2012-Dowek #automaton #formal method #physics #quantum: Around the Physical Church-Turing Thesis: Cellular Automata, Formal Languages, and the Principles of Quantum Theory (GD), pp. 21–37.
FM-2012-Abadi #formal method #security: Software Security: A Formal Perspective — (Notes for a Talk) (MA), pp. 1–5.
FM-2012-AsplundMBCC #approach #coordination #formal method: A Formal Approach to Autonomous Vehicle Coordination (MA, AM, MB, SC, VC), pp. 52–67.
FM-2012-Degani #formal method: Formal Methods in the Wild: Trains, Planes, & Automobile (AD), p. 6.
FM-2012-HeatherS #framework #modelling: A Formal Framework for Modelling Coercion Resistance and Receipt Freeness (JH, SS), pp. 217–231.
FM-2012-LazarASEMLR #semantics: Executing Formal Semantics with the K Tool (DL, AA, TFS, CE, RM, DL, GR), pp. 267–271.
FM-2012-OsaiweranFGR #case study #component #design #experience #formal method #using: Experience Report on Designing and Developing Control Components Using Formal Methods (AO, TF, JFG, BJvR), pp. 341–355.
FM-2012-SpasicM #algorithm #formal method #incremental #refinement: Formalization of Incremental Simplex Algorithm by Stepwise Refinement (MS, FM), pp. 434–449.
FM-2012-YangKK #formal method #lightweight #using: Specification-Based Test Repair Using a Lightweight Formal Method (GY, SK, MK), pp. 455–470.
IFM-2012-BlackmoreHBER #automation #generative #simulation #verification: Analysing and Closing Simulation Coverage by Automatic Generation and Verification of Formal Properties from Coverage Reports (TB, DH, PB, KE, NR), pp. 84–98.
IFM-2012-NgoTGGB #compilation #equation #verification: Formal Verification of Compiler Transformations on Polychronous Equations (VCN, JPT, TG, PLG, LB), pp. 113–127.
IFM-2012-RochaCMS #execution #interactive #verification: A Formal Interactive Verification Environment for the Plan Execution Interchange Language (CR, HC, CAM, RS), pp. 343–357.
IFM-2012-TarasyukTL #formal method #modelling #probability #verification: Formal Modelling and Verification of Service-Oriented Systems in Probabilistic Event-B (AT, ET, LL), pp. 237–252.
SEFM-2012-AbdelhalimST #approach #effectiveness #model checking #optimisation: An Optimization Approach for Effective Formalized fUML Model Checking (IA, SS, HT), pp. 248–262.
SEFM-2012-BicknellRBCS #approach #using #verification: A Practical Approach for Closed Systems Formal Verification Using Event-B (BB, JR, MJB, JC, CFS), pp. 323–332.
SEFM-2012-CosmoZZ #component #towards: Towards a Formal Component Model for the Cloud (RDC, SZ, GZ), pp. 156–171.
SEFM-2012-Jones #abstraction #concurrent #formal method: Abstraction as a Unifying Link for Formal Approaches to Concurrency (CBJ), pp. 1–15.
SFM-2012-VallecilloGBWH #model transformation #specification #testing: Formal Specification and Testing of Model Transformations (AV, MG, LB, MW, LH), pp. 399–437.
ICFP-2012-Huffman #monad #verification: Formal verification of monad transformers (BH), pp. 15–16.
ICGT-2012-GolasLEG #flexibility #formal method #graph grammar #towards: Toward Bridging the Gap between Formal Foundations and Current Practice for Triple Graph Grammars — Flexible Relations between Source and Target Elements (UG, LL, HE, HG), pp. 141–155.
CSCW-2012-ZhuKK12a #identification #modelling #online #social: Organizing without formal organization: group identification, goal setting and social modeling in directing online production (HZ, RK, AK), pp. 935–944.
AdaEurope-2012-EdmundsRB #ada #formal method #implementation #modelling: Formal Modelling for Ada Implementations: Tasking Event-B (AE, AR, MJB), pp. 119–132.
AdaEurope-2012-Iliasov #case study #development #reasoning: Augmenting Formal Development with Use Case Reasoning (AI), pp. 133–146.
AdaEurope-2012-PereverzevaTL #development: Formal Goal-Oriented Development of Resilient MAS in Event-B (IP, ET, LL), pp. 147–161.
ICEIS-J-2012-AmarGMHLN12a #automation #concept analysis: Finding Semi-Automatically a Greatest Common Model Thanks to Formal Concept Analysis (BA, AOG, AM, MH, TL, CN), pp. 72–91.
ICEIS-J-2012-FillRK12a #formal method #metamodelling #modelling: Formalizing Meta Models with FDMM: The ADOxx Case (HGF, TR, DK), pp. 429–451.
ICEIS-v1-2012-AmarGMHLN #concept analysis #using: Using Formal Concept Analysis to Extract a Greatest Common Model (BA, AOG, AM, MH, TL, CN), pp. 27–37.
ICEIS-v2-2012-CapelM #approach #automation #composition #correctness #model checking #safety #verification: A Formal Compositional Verification Approach for Safety-Critical Systems Correctness — Model-Checking based Methodological Approach to Automatically Verify Safety Critical Systems Software (MIC, LEMM), pp. 105–112.
ICEIS-v2-2012-LelionnaisBDRS #behaviour #modelling #operating system #realtime: Formal Behavioral Modeling of Real-time Operating Systems (CL, MB, JD, OHR, CS), pp. 407–414.
ICEIS-v3-2012-FillRK #metamodelling #modelling #named: FDMM: A Formalism for Describing ADOxx Meta Models and Models (HGF, TR, DK), pp. 133–144.
KDIR-2012-BressoGDNS #3d #concept analysis #learning #relational: Formal Concept Analysis for the Interpretation of Relational Learning Applied on 3D Protein-binding Sites (EB, RG, MDD, AN, MST), pp. 111–120.
KMIS-2012-MenasselM #case study #formal method #novel #process: A Novel Formalization Process for Use Case Maps (YM, FM), pp. 307–310.
KMIS-2012-PaniLCST12a #formal method: Knowledge Formalization and Management in KMS (FEP, MIL, GC, CS, MPT), pp. 132–138.
MLDM-2012-MondalPMMB #approach #clustering #concept analysis #mining #using: A New Approach for Association Rule Mining and Bi-clustering Using Formal Concept Analysis (KCM, NP, AM, UM, SB), pp. 86–101.
SEKE-2012-BagheriSS #named #synthesis #trade-off: Spacemaker: Practical Formal Synthesis of Tradeoff Spaces for Object-Relational Mapping (HB, KJS, SHS), pp. 688–693.
SEKE-2012-CourbisLLPUV #agile #behaviour #development #incremental #specification: A Formal Support for Incremental Behavior Specification In Agile Development (ALC, TL, HVL, TLP, CU, SV), pp. 694–799.
MoDELS-2012-CombemaleTB #infinity #modelling: Formally Defining and Iterating Infinite Models (BC, XT, BB), pp. 119–133.
MoDELS-2012-CombemaleTB #infinity #modelling: Formally Defining and Iterating Infinite Models (BC, XT, BB), pp. 119–133.
ECOOP-2012-BiermanRMMT #c# #formal method #game studies: Pause’n’Play: Formalizing Asynchronous C# (GMB, CVR, GM, EM, MT), pp. 233–257.
OOPSLA-2012-KangR #javascript #specification: Formal specification of a JavaScript module system (SK, SR), pp. 621–638.
TOOLS-EUROPE-2012-CatanoHR #formal method #named #network #policy #privacy #social: Poporo: A Formal Methods Tool for Fast-Checking of Social Network Privacy Policies (NC, SH, CR), pp. 9–16.
GPCE-2012-DamianiPS #formal method #product line: A formal foundation for dynamic delta-oriented software product lines (FD, LP, IS), pp. 1–10.
POPL-2012-EllisonR #c #execution #semantics: An executable formal semantics of C with applications (CE, GR), pp. 533–544.
POPL-2012-ZhaoNMZ #formal method #program transformation #representation: Formalizing the LLVM intermediate representation for verified program transformations (JZ, SN, MMKM, SZ), pp. 427–440.
SAC-2012-Affeldt #library #low level #on the: On construction of a library of formally verified low-level arithmetic functions (RA), pp. 1326–1331.
SAC-2012-AtifMO #detection #verification: Formal verification of Unreliable Failure Detectors in Partially Synchronous Systems (MA, MRM, AO), pp. 478–485.
SAC-2012-BeusterG #modelling #policy #security #smarttech: Formal security policy models for smart card evaluations (GB, KG), pp. 1640–1642.
SAC-2012-GrooteOW #case study #experience #formal method: Experience report on developing the Front-end client unit under the control of formal methods (JFG, AO, JHW), pp. 1183–1190.
SAC-2012-PetitLR #data type #query: Revisiting formal ordering in data stream querying (LP, CL, CR), pp. 813–818.
ICSE-2012-AndronickJKKSZZ #perspective #process #scalability #verification: Large-scale formal verification in practice: A process perspective (JA, DRJ, GK, RK, MS, HZ, LZ), pp. 1002–1011.
ICSE-2012-EsteveKNPY #analysis #correctness #dependence #performance #safety: Formal correctness, safety, dependability, and performance analysis of a satellite (MAE, JPK, VYN, BP, YY), pp. 1022–1031.
ICSE-2012-IwamaNT #industrial #natural language #parsing #specification: Constructing parser for industrial software specifications containing formal and natural language description (FI, TN, HT), pp. 1012–1021.
SPLC-2012-El-SharkawyDS #analysis #feature model #modelling: From feature models to decision models and back again an analysis based on formal transformations (SES, SD, KS), pp. 126–135.
SPLC-2012-Heymans #formal method: Formal methods for the masses (PH), p. 4.
CAV-2012-CimattiCLNRRST #industrial #validation #verification: Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System (AC, RC, AL, IN, TR, MR, AS, AT), pp. 378–393.
CAV-2012-Myers #search-based #verification: Formal Verification of Genetic Circuits (CJM), p. 5.
CSL-2012-Cook #complexity #proving: Connecting Complexity Classes, Weak Formal Theories, and Propositional Proof Systems (Invited Talk) (SAC), pp. 9–11.
ICST-2012-AmraniLSCDVTC #approach #model transformation #verification: A Tridimensional Approach for Studying the Formal Verification of Model Transformations (MA, LL, GMKS, BC, JD, HV, YLT, JRC), pp. 921–928.
ICST-2012-FangKDO #formal method #manycore #modelling: Formal Model-Based Test for AUTOSAR Multicore RTOS (LF, TK, TBND, HO), pp. 251–259.
ICST-2012-GrooteOW #formal method #using: Analyzing a Controller of a Power Distribution Unit Using Formal Methods (JFG, AO, JHW), pp. 420–428.
LICS-2012-Constable #on the: On Building Constructive Formal Theories of Computation Noting the Roles of Turing, Church, and Brouwer (RLC), pp. 2–8.
RTA-2012-ThiemannAN #formal method #multi #on the #order #termination: On the Formalization of Termination Techniques based on Multiset Orderings (RT, GA, JN), pp. 339–354.
TAP-2012-CarlierDG #constraints #design #testing: A First Step in the Design of a Formally Verified Constraint-Based Testing Tool: FocalTest (MC, CD, AG), pp. 35–50.
ASE-2011-LiXBLM #formal method #hardware #interface #specification: Formalizing hardware/software interface specifications (JL, FX, TB, VL, CM), pp. 143–152.
ASE-2011-SunL #concept analysis #using: Using Formal Concept Analysis to support change analysis (XS, BL), pp. 641–645.
CASE-2011-BroderickAT #detection #formal method #industrial: Anomaly detection without a pre-existing formal model: Application to an industrial manufacturing system (JAB, LVA, DMT), pp. 169–174.
CASE-2011-ProvostRF #semantics #specification: A formal semantics for Grafcet specifications (JP, JMR, JMF), pp. 488–494.
DAC-2011-HeRK #concept analysis #embedded #generative #testing: Test-case generation for embedded simulink via formal concept analysis (NH, PR, DK), pp. 224–229.
DAC-2011-NguyenWSK #abstraction #hardware: Formal hardware/software co-verification by interval property checking with abstraction (MDN, MW, DS, WK), pp. 510–515.
DATE-2011-ChungCCK: Formal reset recovery slack calculation at the register transfer level (CNC, CWC, KHC, SYK), pp. 571–574.
DATE-2011-SieglHGB #embedded #modelling #specification #testing: Formal specification and systematic model-driven testing of embedded automotive systems (SS, KSJH, RG, CB), pp. 118–123.
CSEET-2011-BareissK #education #formal method #re-engineering: An exploration of knowledge and skills transfer from a formal software engineering curriculum to a capstone practicum project (RB, EPK), pp. 71–80.
FASE-2011-DietrichSS #formal method #industrial #standard: Formalizing and Operationalizing Industrial Standards (DD, LS, ES), pp. 81–95.
FASE-2011-EhrigET #graph #using #version control: A Formal Resolution Strategy for Operation-Based Conflicts in Model Versioning Using Graph Modifications (HE, CE, GT), pp. 202–216.
ICSM-2011-GrooteOW #development #formal method #industrial: Analyzing the effects of formal methods on the development of industrial control software (JFG, AO, JHW), pp. 467–472.
SAS-2011-Feret #formal method #reduction: Formal Model Reduction (JF), p. 6.
DLT-J-2009-BrzozowskiGS11 #formal method #theorem: Closures in Formal Languages and Kuratowski’s Theorem (JAB, EG, JS), pp. 301–321.
FM-2011-BartheBCL #verification: Formally Verifying Isolation and Availability in an Idealized Model of Virtualization (GB, GB, JDC, CL), pp. 231–245.
FM-2011-BowenR #case study #community #formal method: From a Community of Practice to a Body of Knowledge: A Case Study of the Formal Methods Community (JPB, SR), pp. 308–322.
FM-2011-CavalcantiWW #formal method #java #memory management #safety: The Safety-Critical Java Memory Model: A Formal Account (AC, AJW, JW), pp. 246–261.
FM-2011-HaxthausenKB #automation #development #modelling #verification: Formal Development of a Tool for Automated Modelling and Verification of Relay Interlocking Systems (AEH, AAK, MLB), pp. 118–132.
FM-2011-LoosPN #adaptation #distributed #hybrid: Adaptive Cruise Control: Hybrid, Distributed, and Now Formally Verified (SML, AP, LN), pp. 42–56.
SEFM-2011-BlechB #coq #semantics #verification: Verification of PLC Properties Based on Formal Semantics in Coq (JOB, SOB), pp. 58–73.
SEFM-2011-FadlisyahOA #analysis #formal method #hybrid #modelling #object-oriented: Object-Oriented Formal Modeling and Analysis of Interacting Hybrid Systems in HI-Maude (MF, PCÖ, EÁ), pp. 415–430.
SEFM-2011-Hermanns #energy #formal method: Formal Methods in Energy Informatics (HH), pp. 1–2.
SEFM-2011-Metayer #formal method: Formal Methods as a Link between Software Code and Legal Rules (DLM), pp. 3–18.
SEFM-2011-TongSJ #approach #formal method #information management #process: A Formal Approach to Analysing Knowledge Transfer Processes in Developing Countries (JT, SAS, AEJ), pp. 486–501.
GCM-2010-GolasEH11 #graph grammar #model transformation #specification: Formal Specification of Model Transformations by Triple Graph Grammars with Application Conditions (UG, HE, FH).
HCI-DDA-2011-DattaH #design #formal method #interactive: A Formal Model of Mixed-Initiative Interaction in Design Exploration (SD, MH), pp. 185–193.
HCI-MIIE-2011-RiahiRM #generative #human-computer #mobile #specification #verification #xml: XML in Formal Specification, Verification and Generation of Mobile HCI (IR, MR, FM), pp. 92–100.
AdaEurope-2011-CarnevaliLPV #approach #design #formal method #scheduling #verification: A Formal Approach to Design and Verification of Two-Level Hierarchical Scheduling Systems (LC, GL, AP, EV), pp. 118–131.
CAiSE-2011-KhalufGE #constraints #formal method #modelling #process #quality: Pattern-Based Modeling and Formalizing of Business Process Quality Constraints (LK, CG, GE), pp. 521–535.
CAiSE-2011-KofP #feedback #formal method #generative #modelling #requirements: From Requirements to Models: Feedback Generation as a Result of Formalization (LK, BP), pp. 93–107.
ICEIS-J-2011-LezocheAP #concept #information management #model transformation #semantics: Formal Fact-Oriented Model Transformations for Cooperative Information Systems Semantic Conceptualisation (ML, AA, HP), pp. 117–131.
ICEIS-v3-2011-ViriyasitavatM #formal method #requirements #specification #trust #workflow: Formalizing Trust Requirements and Specification in Service Workflow Environments (WV, AM), pp. 196–206.
ICEIS-v3-2011-WangWWL #modelling #using #workflow: Formally Modeling and Analyzing Data-centric Workflow using WFCP-net and ASK-CTL (ZW, JW, LW, GL), pp. 139–144.
KEOD-2011-GerberGM #ambiguity #consistency #development #ontology #standard #using: Using Formal Ontologies for the Development of Consistent and Unambiguous Financial Accounting Standards (MCG, AG, AvdM), pp. 419–424.
KEOD-2011-Karbe #concept #formal method #implementation #information management #representation: Formalizing and Implementing Knowledge Representation on the Basis of Conceptions — Position Statement (TK), pp. 317–321.
SEKE-2011-BagheriS #approach #architecture #formal method: A Formal Approach for Incorporating Architectural Tactics into the Software Architecture (HB, KJS), pp. 770–775.
SEKE-2011-ParkK #approach #automation #formal method #lightweight: Applying Lightweight Formal Approach to Automatic Configuration Inspection (SP, GK), pp. 107–110.
SEKE-2011-SoundarajanBK #aspect-oriented #concurrent #formal method #reuse: Formalizing Reusable Aspect-Oriented Concurrency Control (NS, DB, RK), pp. 111–114.
SEKE-2011-SunHGZWY #detection #novel #petri net #using: A Novel Method for Formally Detecting RFID Event Using Petri Nets (JS, YH, XG, SZ, LW, CYY), pp. 122–125.
MoDELS-2011-HamidGJD #design #formal method #modelling: Enforcing S&D Pattern Design in RCES with Modeling and Formal Approaches (BH, SG, CJ, ND), pp. 319–333.
MoDELS-2011-JacksonLB #automation #metamodelling #proving #reasoning #specification: Reasoning about Metamodeling with Formal Specifications and Automatic Proofs (EKJ, TL, DB), pp. 653–667.
MoDELS-2011-StenzelMR #code generation #qvt #verification: Formal Verification of QVT Transformations for Code Generation (KS, NM, WR), pp. 533–547.
MoDELS-2011-HamidGJD #design #formal method #modelling: Enforcing S&D Pattern Design in RCES with Modeling and Formal Approaches (BH, SG, CJ, ND), pp. 319–333.
MoDELS-2011-JacksonLB #automation #metamodelling #proving #reasoning #specification: Reasoning about Metamodeling with Formal Specifications and Automatic Proofs (EKJ, TL, DB), pp. 653–667.
MoDELS-2011-StenzelMR #code generation #qvt #verification: Formal Verification of QVT Transformations for Code Generation (KS, NM, WR), pp. 533–547.
GPCE-2011-Danvy #semantics: Pragmatics for formal semantics (OD), pp. 93–94.
GPCE-2011-SlattenKH #automation #case study #distributed #generative #industrial #reliability #specification #towards #validation #verification: Towards automatic generation of formal specifications to validate and verify reliable distributed systems: a method exemplified by an industrial case study (VS, FAK, PH), pp. 147–156.
PADL-2011-Kaivola #execution #framework #functional #validation: Intel CoreTM i7 Processor Execution Engine Validation in a Functional Language Based Formal Framework (RK), p. 1.
POPL-2011-RamananandroRL #c++ #inheritance #layout #multi #verification: Formal verification of object layout for c++ multiple inheritance (TR, GDR, XL), pp. 67–80.
RE-2011-DietschAWP #ambiguity #formal method #industrial #standard #visual notation: Disambiguation of industrial standards through formalization and graphical languages (DD, SFA, BW, AP), pp. 265–270.
RE-2011-SampathAR #evolution #specification: Evolving specifications formally (PS, SA, SR), pp. 5–14.
SAC-2011-ClaycombS #analysis #authentication #formal method #ubiquitous: Formal analysis of device authentication applications in ubiquitous computing (WC, DS), pp. 451–452.
SAC-2011-CoupeyF #adaptation #component #framework #functional: A formal framework for a functional language with adaptable components (PC, CF), pp. 1297–1298.
SAC-2011-SchryenVRH #approach #distributed #formal method #towards #trust: A formal approach towards measuring trust in distributed systems (GS, MV, SR, SMH), pp. 1739–1745.
ICSE-2011-Bagheri #approach #architecture #formal method #synthesis: A formal approach to software synthesis for architectural platforms (HB), pp. 1143–1145.
SLE-2011-StappersWRAN #case study #domain-specific language #formal method #industrial #using: Formalizing a Domain Specific Language Using SOS: An Industrial Case Study (FPMS, SW, MAR, SA, IN), pp. 223–242.
SPLC-2011-AsirelliBGF #product line #variability: Formal Description of Variability in Product Families (PA, MHtB, SG, AF), pp. 130–139.
CGO-2011-Leroy #compilation #how #question #verification #why: Formally verifying a compiler: Why? How? How far? (XL).
PPoPP-2011-SiegelZ #automation #parallel #source code #verification: Automatic formal verification of MPI-based parallel programs (SFS, TKZ), pp. 309–310.
CAV-2011-KleinN #automation #behaviour #formal method #rest #verification: Formalization and Automated Verification of RESTful Behavior (UK, KSN), pp. 541–556.
CAV-2011-MullerP #hardware #interface #verification: Complete Formal Hardware Verification of Interfaces for a FlexRay-Like Bus (CAM, WJP), pp. 633–648.
CAV-2011-SinghalA #simulation #using #verification: Using Coverage to Deploy Formal Verification in a Simulation World (VS, PA), pp. 44–49.
CSL-2011-LeCY #complexity #formal method #problem: A Formal Theory for the Complexity Class Associated with the Stable Marriage Problem (DTML, SAC, YY), pp. 381–395.
ICLP-2011-Herranz-NievaM #logic programming #object-oriented #source code #specification #synthesis: Synthesis of Logic Programs from Object-Oriented Formal Specifications (ÁHN, JM), pp. 95–105.
ICTSS-2011-Nunez #probability #testing: Formal Testing of Timed and Probabilistic Systems (MN), pp. 9–14.
ISSTA-2011-BalasubramanianPWKL #analysis #modelling #multi #named #statechart: Polyglot: modeling and analysis for multiple Statechart formalisms (DB, CSP, MWW, GK, MRL), pp. 45–55.
ISSTA-2011-YasmeenG #analysis #automation #framework: Automated framework for formal operator task analysis (AY, ELG), pp. 78–88.
LICS-2011-LeC #algorithm #formal method #random: Formalizing Randomized Matching Algorithms (DTML, SAC), pp. 185–194.
TAP-2011-DegiovanniPAF #abstraction #automation #generative #requirements #specification #testing: Abstraction Based Automated Test Generation from Formal Tabular Requirements Specifications (RD, PP, NA, MFF), pp. 84–101.
VMCAI-2011-SiegelG #analysis #formal method #message passing: Formal Analysis of Message Passing — (Invited Talk) (SFS, GG), pp. 2–18.
ECSA-2010-KacemKD #adaptation #approach #consistency #formal method #self: A Formal Approach to Enforcing Consistency in Self-adaptive Systems (NHK, AHK, KD), pp. 279–294.
ECSA-2010-KiwelekarJ10a #architecture #communication #concept analysis #identification: Identifying Architectural Connectors through Formal Concept Analysis of Communication Primitives (AWK, RKJ), pp. 515–518.
ASE-2010-Green #implementation #specification: Keynote address: the actual implementation will be derived from the formal specification — KBSA, 1983 (CG), pp. 183–184.
ASE-2010-XingSLD #debugging #named #specification: SpecDiff: debugging formal specifications (ZX, JS, YL, JSD), pp. 353–354.
DAC-2010-HazraMDPBG #architecture #modelling #verification: Leveraging UPF-extracted assertions for modeling and formal verification of architectural power intent (AH, SM, PD, AP, DB, KG), pp. 773–776.
DAC-2010-Miskov-ZivanovM #analysis #formal method #modelling #reasoning #reliability: Formal modeling and reasoning for reliability analysis (NMZ, DM), pp. 531–536.
DATE-2010-FerroP #modelling #semantics #transaction #verification: Formal semantics for PSL modeling layer and application to the verification of transactional models (LF, LP), pp. 1207–1212.
DATE-2010-NarayananAZTP #process #verification: Formal verification of analog circuits in the presence of noise and process variation (RN, BA, MHZ, ST, LCP), pp. 1309–1312.
DATE-2010-VerbeekS #concurrent #specification: Formal specification of networks-on-chips: deadlock and evacuation (FV, JS), pp. 1701–1706.
CSEET-2010-Cowling #education #formal method: Stages in Teaching Formal Methods (AJC), pp. 17–24.
ESOP-2010-BlazyRA #graph #verification: Formal Verification of Coalescing Graph-Coloring Register Allocation (SB, BR, AWA), pp. 145–164.
ESOP-2010-KoprowskiB #interpreter #named #parsing: TRX: A Formally Verified Parser Interpreter (AK, HB), pp. 345–365.
FASE-2010-BoronatO #model transformation #realtime: Formal Real-Time Model Transformations in MOMENT2 (AB, PCÖ), pp. 29–43.
FASE-2010-EhrigERBP #analysis #formal method #self #verification: Formal Analysis and Verification of Self-Healing Systems (HE, CE, OR, AB, PP), pp. 139–153.
FoSSaCS-2010-PopescuG #algebra #formal method #incremental #induction #process: Incremental Pattern-Based Coinduction for Process Algebra and Its Isabelle Formalization (AP, ELG), pp. 109–127.
WRLA-2010-SunMS #architecture: A Formal Pattern Architecture for Safe Medical Systems (MS, JM, LS), pp. 157–173.
CIAA-2010-AlmeidaMPS #automaton #coq: Partial Derivative Automata Formalized in Coq (JBA, NM, DP, SMdS), pp. 59–68.
DLT-2010-Rigo #formal method: Numeration Systems: A Link between Number Theory and Formal Language Theory (MR), pp. 33–53.
IFM-2010-AutexierL #c #impact analysis #source code #verification: Adding Change Impact Analysis to the Formal Verification of C Programs (SA, CL), pp. 59–73.
SEFM-2010-LeuxnerSS #formal method: A Formal Model for Work Flows (CL, WS, BS), pp. 135–144.
IFL-2010-SieczkowskiBB #automation #automaton #coq #formal method #reduction #semantics: Automating Derivations of Abstract Machines from Reduction Semantics: — A Generic Formalization of Refocusing in Coq (FS, MB, DB), pp. 72–88.
GT-VMT-2010-MolR #graph #on the #order: On A Graph Formalism for Ordered Edges (MdM, AR).
ICGT-2010-Biermann #emf #formal method #graph transformation #model transformation: EMF Model Transformation Based on Graph Transformation: Formal Foundation and Tool Environment (EB), pp. 381–383.
ICGT-2010-HermannEOG #analysis #behaviour #formal method #functional #graph grammar #model transformation: Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars (FH, HE, FO, UG), pp. 155–170.
ICGT-2010-Modica #analysis #communication #formal method #modelling #petri net: Formal Modeling and Analysis of Communication Platforms Like Skype Based on Petri Net Transformation Systems (TM), pp. 400–402.
CAiSE-2010-LeonardiSSZ #communication #requirements: Ahab’s Leg: Exploring the Issues of Communicating Semi-formal Requirements to the Final Users (CL, LS, AS, MZ), pp. 455–469.
ICEIS-DISI-2010-MoraesZF #algorithm #concept #distributed: A Distributed Algorithm for Formal Concepts Processing based on Search Subspaces (NRMdM, LEZ, HCF), pp. 105–111.
ICEIS-ISAS-2010-RajiD #framework #modelling: User Context Models — A Framework to Ease Software Formal Verifications (AR, PD), pp. 380–383.
ICEIS-J-2010-MoralesTP10a #composition #formal method #process #verification: A Formalization Proposal of Timed BPMN for Compositional Verification of Business Processes (LEMM, MICT, MAP), pp. 388–403.
CIKM-2010-KaytoueANK #concept analysis: Embedding tolerance relations in formal concept analysis: an application in information fusion (MK, ZA, AN, SOK), pp. 1689–1692.
CIKM-2010-ZhangMWW #approach #automation #database #formal method #object-oriented #ontology: Formal approach and automated tool for constructing ontology from object-oriented database model (FZ, ZMM, XW, YW), pp. 1329–1332.
KEOD-2010-FrixioneL #concept #ontology #representation: The Computational Representation of Concepts in Formal Ontologies — Some General Considerations (MF, AL), pp. 396–403.
KR-2010-BalducciniG #formal method #programming #set: Formalizing Psychological Knowledge in Answer Set Programming (MB, SG).
KR-2010-BrafmanRSVW #constraints #information management #representation: Finding the Next Solution in Constraint- and Preference-Based Knowledge Representation Formalisms (RIB, FR, DS, KBV, TW).
SEKE-2010-AsteasuainB #specification: Specification patterns can be formal and still easy (FA, VAB), pp. 430–436.
SEKE-2010-ParkHK #diagrams #sequence chart #uml #verification: Formal Verification of UML 2.0 Sequence Diagram (SP, TH, GK), pp. 411–416.
SEKE-2010-WyethZ #architecture #security #specification: Formal Specification of Software Architecture Security Tactics (AW, CZ), pp. 172–175.
ECMFA-2010-KleinerFA #automation #constraints #formal method #theorem proving: Model Search: Formalizing and Automating Constraint Solving in MDE Platforms (MK, MDDF, PA), pp. 173–188.
MoDELS-v2-2010-GorpE #execution #java #modelling #process: Transforming Process Models: Executable Rewrite Rules versus a Formalized Java Program (PVG, RE), pp. 258–272.
RE-2010-RyanMG: If You Want Innovative RE, Never Ask the Users; A Formal Debate (KR, NAMM, MG), p. 388.
SAC-2010-BelohlavekV #concept analysis #constraints: Background knowledge in formal concept analysis: constraints via closure operators (RB, VV), pp. 1113–1114.
SAC-2010-EspinozaBG #approach #formal method #reuse #traceability: A formal approach to reuse successful traceability practices in SPL projects (AE, GB, JG), pp. 2352–2359.
SAC-2010-KhakpourKSJ #adaptation #analysis #formal method #self: Formal analysis of policy-based self-adaptive systems (NK, RK, MS, SJ), pp. 2536–2543.
SAC-2010-WeinreichB #architecture #development: Paving the road for formally defined architecture description in software development (RW, GB), pp. 2337–2343.
ICSE-2010-Chan #approach #formal method #taxonomy #web #web service: Formal methods for web services: a taxonomic approach (KSMC), pp. 357–360.
ICSE-2010-ChiappiniCMRRSTV #formal method #set #validation: Formalization and validation of a subset of the European Train Control System (AC, AC, LM, OR, MR, AS, ST, BV), pp. 109–118.
ICSE-2010-ErfurthR #aspect-oriented #named #requirements #uml: CUTA4UML: bridging the gap between informal and formal requirements for dynamic system aspects (IE, WR), pp. 171–174.
LDTA-2009-ClarkT10 #formal method: Formalizing Homogeneous Language Embeddings (TC, LT), pp. 75–88.
LDTA-2010-BrandMSH #case study #domain-specific language #experience: Formally specified type checkers for domain specific languages: experience report (MvdB, APvdM, AS, ATH), p. 12.
PLEASE-2010-MamanB #graph #named #product line #towards: SPLGraph: towards a graph-based formalism for software product lines (IM, GB), pp. 40–47.
SPLC-2010-HeuerBKLP #diagrams #process #semantics #syntax #variability: Formal Definition of Syntax and Semantics for Documenting Variability in Activity Diagrams (AH, CJB, SK, KL, KP), pp. 62–76.
CSL-2010-CookF #algebra #linear: Formal Theories for Linear Algebra (SAC, LF), pp. 245–259.
ICLP-J-2010-BalducciniG #formal method #programming #set: Formalization of psychological knowledge in answer set programming and its application (MB, SG), pp. 725–740.
ICST-2010-AsztalosLL #automation #model transformation #towards #verification: Towards Automated, Formal Verification of Model Transformations (MA, LL, TL), pp. 15–24.
ICST-2010-Laurent #concept #formal method #process #testing #using #validation #verification: Using Formal Methods and Testability Concepts in the Avionics Systems Validation and Verification (V&V) Process (OL), pp. 1–10.
ICST-2010-SinnigKC #formal method #functional #generative #testing #user interface: A Formal Model for Generating Integrated Functional and User Interface Test Cases (DS, FK, PC), pp. 255–264.
ISSTA-2010-ArcuriIB #analysis #effectiveness #formal method #predict #random testing #testing: Formal analysis of the effectiveness and predictability of random testing (AA, MZZI, LCB), pp. 219–230.
TAP-2010-ClaessenSH #named #specification #testing #using: QuickSpec: Guessing Formal Specifications Using Testing (KC, NS, JH), pp. 6–21.
CBSE-2009-KiniryF #consistency #design #documentation #implementation #specification: Ensuring Consistency between Designs, Documentation, Formal Specifications, and Implementations (JRK, FF), pp. 242–261.
WICSA-ECSA-2009-SpalazzeseII #formal method #on the fly #towards: Towards a formalization of mediating connectors for on the fly interoperability (RS, PI, VI), pp. 345–348.
ASE-2009-ChenMJR #independence #monitoring #parametricity #performance: Efficient Formalism-Independent Monitoring of Parametric Properties (FC, POM, DJ, GR), pp. 383–394.
ASE-2009-ZhangGTL #probability #sequence chart #syntax: A Formal Syntax for Probabilistic Timed Property Sequence Charts (PZ, LG, AT, BL), pp. 500–504.
CASE-2009-AlenljungL #graph #using #verification: Formal verification of PLC controlled systems using Sensor Graphs (TA, BL), pp. 164–170.
DAC-2009-FeySD #bound #fault tolerance #using: Computing bounds for fault tolerance using formal techniques (GF, AS, RD), pp. 190–195.
DAC-2009-RanjanCS #debugging #verification: Beyond verification: leveraging formal for debugging (RKR, CC, SS), pp. 648–651.
DAC-2009-TsaiH: A false-path aware formal static timing analyzer considering simultaneous input transitions (ST, CYH), pp. 25–30.
DATE-2009-AvnitS #approach #design #formal method #protocol: A formal approach to design space exploration of protocol converters (KA, AS), pp. 129–134.
DATE-2009-BarkeGGHHPSW #formal method #verification: Formal approaches to analog circuit verification (EB, DG, HG, LH, SH, RP, SS, YW), pp. 724–729.
DATE-2009-MukherjeeAPMD #approach #behaviour #formal method #generative: A formal approach for specification-driven AMS behavioral model generation (SM, AA, SKP, RM, PD), pp. 1512–1517.
DATE-2009-YangHMP #behaviour #semantics #towards: Towards a formal semantics for the AADL behavior annex (ZY, KH, DM, LP), pp. 1166–1171.
FASE-2009-AlTurkiDYCI #analysis #specification: Formal Specification and Analysis of Timing Properties in Software Systems (MA, DD, DY, AC, HI), pp. 262–277.
FASE-2009-BottoniGL #formal method #modelling: Formal Foundation for Pattern-Based Modelling (PB, EG, JdL), pp. 278–293.
FASE-2009-HuismanT #automaton #ml #security: A Formal Connection between Security Automata and JML Annotations (MH, AT), pp. 340–354.
FASE-2009-Wachsmuth: A Formal Way from Text to Code Templates (GW), pp. 109–123.
WCRE-1999-LoRRV99a #algorithm #evaluation #mining #quantifier: Mining Quantified Temporal Rules: Formalism, Algorithms, and Evaluation (DL, GR, VPR, KV), pp. 62–71.
WCRE-1999-YangPZ99a #concept analysis #data access #feature model #multi #semantics #using: Domain Feature Model Recovery from Multiple Applications Using Data Access Semantics and Formal Concept Analysis (YY, XP, WZ), pp. 215–224.
CIAA-2009-CaoN #case study #protocol: Formally Synthesising a Protocol Converter: A Case Study (JC, AN), pp. 249–252.
DLT-2009-BrzozowskiGS #formal method #theorem: Closures in Formal Languages and Kuratowski’s Theorem (JAB, EG, JS), pp. 125–144.
ICALP-v2-2009-Boldo #case study #float #verification: Floats and Ropes: A Case Study for Formal Numerical Program Verification (SB), pp. 91–102.
FM-2009-BicarreguiFLW #bibliography #formal method #industrial #perspective: Industrial Practice in Formal Methods: A Review (JB, JSF, PGL, JCPW), pp. 810–813.
FM-2009-BonzanniFFK #biology #formal method #question #what: What Can Formal Methods Bring to Systems Biology? (NB, KAF, WF, EK), pp. 16–22.
FM-2009-GomesO #specification: Formal Specification of a Cardiac Pacing System (AOG, MVMO), pp. 692–707.
FM-2009-HasanAATA #random #reasoning: Formal Reasoning about Expectation Properties for Continuous Random Variables (OH, NA, BA, ST, RA), pp. 435–450.
FM-2009-JeffordsHAL #composition #fault tolerance #formal method #refinement #using: A Formal Method for Developing Provably Correct Fault-Tolerant Systems Using Partial Refinement and Composition (RDJ, CLH, MA, EIL), pp. 173–189.
FM-2009-KohlhaseLSS #process: Formal Management of CAD/CAM Processes (MK, JL, LS, ES), pp. 223–238.
FM-2009-PlatzerC #case study #verification: Formal Verification of Curved Flight Collision Avoidance Maneuvers: A Case Study (AP, EMC), pp. 547–562.
FM-2009-ShaoKP #approach #bound #formal method #incremental #lightweight #using: An Incremental Approach to Scope-Bounded Checking Using a Lightweight Formal Method (DS, SK, DEP), pp. 757–772.
FM-2009-SouyrisWDD #verification: Formal Verification of Avionics Software Products (JS, VW, DD, HD), pp. 532–546.
FM-2009-TschantzW #formal method #privacy: Formal Methods for Privacy (MCT, JMW), pp. 1–15.
IFM-2009-BuiN #random #verification: Formal Verification Based on Guided Random Walks (THB, AN), pp. 72–87.
IFM-2009-HasanAT #analysis #array #configuration management #fault #memory management #probability: Formal Probabilistic Analysis of Stuck-at Faults in Reconfigurable Memory Arrays (OH, NA, ST), pp. 277–291.
SEFM-2009-AndresMN #protocol #testing: Applying Formal Passive Testing to Study Temporal Properties of the Stream Control Transmission Protocol (CA, MGM, MN), pp. 73–82.
SEFM-2009-LienO #analysis #formal method #modelling #multi #protocol: Formal Modeling and Analysis of an IETF Multicast Protocol (EL, PCÖ), pp. 273–282.
SFM-2009-AalstMSW #analysis #formal method #interactive: Service Interaction: Patterns, Formalization, and Analysis (WMPvdA, AJM, CS, KW), pp. 42–88.
ICFP-2009-KleinDE #case study #experience #kernel #verification: Experience report: seL4: formally verifying a high-performance microkernel (GK, PD, KE), pp. 91–96.
HCI-NT-2009-PalanqueLNB #interactive #prototype: High-Fidelity Prototyping of Interactive Systems Can Be Formal Too (PAP, JFL, DN, EB), pp. 667–676.
HIMI-II-2009-FuS #design #formal method #guidelines #web: Formalizing Design Guidelines of Legibility on Web Pages (FLF, CHS), pp. 17–25.
AdaEurope-2009-BerthomieuBCDFV #specification #verification: Formal Verification of AADL Specifications in the Topcased Environment (BB, JPB, CC, SDZ, MF, FV), pp. 207–221.
AdaEurope-2009-Favre #formal method #metamodelling: A Formal Foundation for Metamodeling (LF), pp. 177–191.
SIGAda-2009-Knight #ada #approach #named #verification: Echo: a new approach to formal verification based on Ada (JK), pp. 85–86.
ICEIS-AIDSS-2009-ElzingaPVD #concept analysis #detection: Detecting Domestic Violence — Showcasing a Knowledge Browser based on Formal Concept Analysis and Emergent Self Organizing Maps (PE, JP, SV, GD), pp. 11–18.
KEOD-2009-AlloccadM #formal method #named #ontology #towards: DOOR — Towards a Formalization of Ontology Relations (CA, Md, EM), pp. 13–20.
KEOD-2009-Essert-VillardBS #approach #multi #semantics #towards: Multi-semantic Approach Towards a Generic Formal Solver of Tool Placement for Percutaneous Surgery (CEV, CB, PS), pp. 443–446.
KEOD-2009-Grimm #formal method #ontology #research #semantics #web: A Unifying Formal Ontology Model — A Simple Formal Model for Unifying the Presentation of Ontologies in Semantic Web Research (SG), pp. 327–335.
KEOD-2009-SassiJG09a #consistency #formal method #maintenance #ontology: Z-based Formalization of Kits of Changes to Maintain Ontology Consistency (NS, WJ, FG), pp. 388–391.
KEOD-2009-StanevOW #design #formal method #modelling #validation: Formal Method for Validation of Product Design through Knowledge Modelling (SS, JO, WW), pp. 166–170.
KMIS-2009-MichelinF #formal method #modelling: Formal Modeling for Deploying Improvement and Innovation in Information Technology (PM, MF), pp. 318–323.
MLDM-2009-OkuboH #concept #pseudo: Finding Top-N Pseudo Formal Concepts with Core Intents (YO, MH), pp. 479–493.
SEKE-2009-ChangH #adaptation #approach #aspect-oriented #modelling #towards: Towards Adaptable BDI Agent: A Formal Aspect-oriented Modeling Approach (LC, XH), pp. 189–193.
SEKE-2009-ZhangLSDCL #scalability #verification: Formal Verification of Scalable NonZero Indicators (SJZ, YL, JS, JSD, WC, YAL), pp. 406–411.
MoDELS-2009-DhaussyPCRTB #validation: Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation (PD, PYP, SC, AR, YLT, BB), pp. 438–452.
MoDELS-2009-LaraG #petri net #qvt: Formal Support for QVT-Relations with Coloured Petri Nets (JdL, EG), pp. 256–270.
MoDELS-2009-DhaussyPCRTB #validation: Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation (PD, PYP, SC, AR, YLT, BB), pp. 438–452.
MoDELS-2009-LaraG #petri net #qvt: Formal Support for QVT-Relations with Coloured Petri Nets (JdL, EG), pp. 256–270.
TOOLS-EUROPE-2009-TreharneTPK #automation #formal method #generative #modelling #uml: Automatic Generation of Integrated Formal Models Corresponding to UML System Models (HT, ET, RFP, DSK), pp. 357–367.
POPL-2009-BartheGB #certification #encryption #proving: Formal certification of code-based cryptographic proofs (GB, BG, SZB), pp. 90–101.
SAC-2009-BroyLSSW #adaptation #behaviour #formal method: Formalizing the notion of adaptive system behavior (MB, CL, WS, BS, SW), pp. 1029–1033.
SAC-2009-CentenoBHO #formal method #modelling: Organising MAS: a formal model based on organisational mechanisms (RC, HB, RH, SO), pp. 740–746.
SAC-2009-DecreusP #modelling #process #semantics: Mapping semantically enriched Formal Tropos to business process models (KD, GP), pp. 371–376.
SAC-2009-DiasASP #formal method #web: Formalizing motivational patterns based on colors and their cultural meanings for developing web applications (ALD, JCAS, LMS, RDP), pp. 152–153.
SAC-2009-KrajcaV #formal method #implementation #parallel #performance: Data parallel dialect of scheme: outline of the formal model, implementation, performance (PK, VV), pp. 1938–1939.
SAC-2009-LiuTN #assurance #bibliography #component #integration #quality #specification #testing: Integration of formal specification, review, and testing for software component quality assurance (SL, TT, SN), pp. 415–421.
SAC-2009-MagaudNS #coq #formal method #theorem #using: Formalizing Desargues’ theorem in Coq using ranks (NM, JN, PS), pp. 1110–1115.
SPLC-2009-HubauxCH #feature model #formal method #modelling #workflow: Formal modelling of feature configuration workflows (AH, AC, PH), pp. 221–230.
PPoPP-2009-VoVDGKT #source code #verification: Formal verification of practical MPI programs (AV, SSV, MD, GG, RMK, RT), pp. 261–270.
SOSP-2009-KleinEHACDEEKNSTW #kernel #named #verification: seL4: formal verification of an OS kernel (GK, KE, GH, JA, DC, PD, DE, KE, RK, MN, TS, HT, SW), pp. 207–220.
CAV-2009-KaivolaGNTWPSTFRN #execution #testing #validation #verification: Replacing Testing with Formal Verification in Intel CoreTM i7 Processor Execution Engine Validation (RK, RG, NN, AT, JW, SP, AS, CT, VF, ER, AN), pp. 414–429.
ICLP-2009-ArandaAOPRTV #bibliography #declarative: An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems (JA, GA, CO, JAP, CR, MT, FDV), pp. 509–513.
ICST-2009-AydalPUW #modelling #specification #testing #validation: Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation (EGA, RFP, MU, JW), pp. 131–140.
ISSTA-2009-PecheurRB #analysis #formal method #testing: A formal analysis of requirements-based testing (CP, FR, GB), pp. 47–56.
TAP-2009-Chetali #certification #formal method #security #smarttech #testing: Security Testing and Formal Methods for High Levels Certification of Smart Cards (BC), pp. 1–5.
TestCom-FATES-2009-BentakoukPZ #distributed #framework #testing: A Formal Framework for Service Orchestration Testing Based on Symbolic Transition Systems (LB, PP, FZ), pp. 16–32.
WICSA-2008-ChangMQ #architecture #configuration management #formal method #graph #towards: Towards a Formal Model for Reconfigurable Software Architectures by Bigraphs (ZC, XM, ZQ), pp. 331–334.
ASE-2008-KastnerA #approach #formal method #product line: Type-Checking Software Product Lines — A Formal Approach (CK, SA), pp. 258–267.
CASE-2008-LjungkrantzAF #component #industrial #logic #programming #specification #verification: Formal specification and verification of components for industrial logic control programming (OL, KÅ, MF), pp. 935–940.
DAC-2008-Beers #experience #verification: Pre-RTL formal verification: an intel experience (RB), pp. 806–811.
DAC-2008-HoTDDGS #identification #logic #verification: Early formal verification of conditional coverage points to identify intrinsically hard-to-verify logic (RCH, MT, MMD, ROD, JG, DES), pp. 268–271.
DAC-2008-MilderFHP #implementation #representation: Formal datapath representation and manipulation for implementing DSP transforms (PAM, FF, JCH, MP), pp. 385–390.
DAC-2008-Mitra #verification: Strategies for mainstream usage of formal verification (RSM), pp. 800–805.
DATE-2008-AvnitDSRP #approach #formal method #problem #protocol: A Formal Approach To The Protocol Converter Problem (KA, VD, AS, SR, SP), pp. 294–299.
DATE-2008-ErnstJSBC #analysis #formal method #optimisation #performance: Formal Methods in System and MpSoC Performance Analysis and Optimisation (RE, MJ, HS, MB, SC).
DATE-2008-WeinbergerBB #design #modelling #petri net #process #verification #workflow: Application of Workflow Petri Nets to Modeling of Formal Verification Processes in Design Flow of Digital Integrated Circuits (KW, SB, RB), pp. 937–938.
CSEET-2008-SalamahG #education #model checking #specification #using: A Technique for Using Model Checkers to Teach Formal Specifications (SS, AQG), pp. 181–188.
ESOP-2008-FournetGN #implementation: A Formal Implementation of Value Commitment (CF, NG, FZN), pp. 383–397.
FASE-2008-BruckerW #higher-order #named #ocl #proving #uml: HOL-OCL: A Formal Proof Environment for UML/OCL (ADB, BW), pp. 97–100.
FASE-2008-JanotaB #approach #architecture #formal method #modelling: Formal Approach to Integrating Feature and Architecture Models (MJ, GB), pp. 31–45.
FASE-2008-LambersMEP #adaptation #framework: A Formal Framework for Developing Adaptable Service-Based Applications (LL, LM, HE, MP), pp. 392–406.
FASE-2008-MassoniGB #formal method #modelling #refactoring: Formal Model-Driven Program Refactoring (TM, RG, PB), pp. 362–376.
TACAS-2008-AlkassarSS #pervasive #verification: Formal Pervasive Verification of a Paging Mechanism (EA, NS, AS), pp. 109–123.
CSMR-2008-GlorieZHD #case study #concept analysis #evolution #experience #industrial #scalability #using: Splitting a Large Software Archive for Easing Future Software Evolution — An Industrial Experience Report using Formal Concept Analysis (MG, AZ, LH, AvD), pp. 153–162.
FLOPS-2008-NievaSS #constraints #database #deduction #formal method: Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation (SN, JSH, FSP), pp. 289–304.
DLT-2008-DAlessandroV #formal method: Well Quasi-orders in Formal Language Theory (FD, SV), pp. 84–95.
ICALP-B-2008-Canetti #analysis #composition #performance #security: Composable Formal Security Analysis: Juggling Soundness, Simplicity and Efficiency (RC), pp. 1–13.
ICALP-B-2008-Mathissen #algebra #logic #word: Weighted Logics for Nested Words and Algebraic Formal Power Series (CM), pp. 221–232.
LATA-2008-Domaratzki #formal method #tool support: Formal Language Tools for Template-Guided DNA Recombination (MD), pp. 3–5.
FM-2008-ArvindDK #design #verification: Getting Formal Verification into Design Flow (A, ND, MK), pp. 12–32.
FM-2008-ChetaliN #evaluation #formal method #industrial #security: Industrial Use of Formal Methods for a High-Level Security Evaluation (BC, QHN), pp. 198–213.
FM-2008-Katz #aspect-oriented #formal method: Aspects and Formal Methods (SK), pp. 1–11.
FM-2008-KiniryZ #formal method: Secret Ninja Formal Methods (JRK, DMZ), pp. 214–228.
FM-2008-KuritaCN #development #mobile #specification: Application of a Formal Specification Language in the Development of the “Mobile FeliCa” IC Chip Firmware for Embedding in Mobile Phone (TK, MC, YN), pp. 425–429.
FM-2008-LintelmanRLS #formal method #security: Formal Methods for Trustworthy Skies: Building Confidence in the Security of Aircraft Assets Distribution (SL, RR, ML, KS), pp. 406–410.
FM-2008-VerhulstJM #case study #development #formal method #industrial: An Industrial Case: Pitfalls and Benefits of Applying Formal Methods to the Development of a Network-Centric RTOS (EV, GGdJ, VM), pp. 411–418.
FM-2008-WijbransBRG #case study #development #experience #formal method #re-engineering: Software Engineering with Formal Methods: Experiences with the Development of a Storm Surge Barrier Control System (KW, FB, RR, WG), pp. 419–424.
SEFM-2008-GuoS #finite #impact analysis #proving #state machine #theorem proving #using: Formal Change Impact Analyses of Extended Finite State Machines Using a Theorem Prover (BG, MS), pp. 335–344.
SEFM-2008-PetrenkoP #challenge #formal method: Formal Methods and Innovation Economy: Facing New Challenges (AKP, OLP), pp. 367–371.
SEFM-2008-XavierHM #fault tolerance #source code #using #verification: Using Formal Verification to Reduce Test Space of Fault-Tolerant Programs (KSX, SH, ACVdM), pp. 181–190.
SFM-2008-FagesS #biology: Formal Cell Biology in Biocham (FF, SS), pp. 54–80.
GT-VMT-2006-KovacsG08 #analysis #formal method #modelling #simulation #workflow: Simulation and Formal Analysis of Workflow Models (MK, LG), pp. 221–230.
ICGT-2008-EhrigP #analysis #formal method #graph #kernel #model transformation: Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels (HE, UP), pp. 178–193.
ICEIS-DISI-2008-SalemGB #concept #modelling #multi #specification #verification: Multi-Dimensional Modeling — Formal Specification and Verification of the Hierarchy Concept (AS, FG, HBA), pp. 317–322.
ICEIS-ISAS1-2008-IdaniC #towards #uml: Towards Reverse-Engineering of UML Views from Structured Formal Developments (AI, BC), pp. 94–103.
ICEIS-ISAS2-2008-TobarraCPC #protocol #verification: Formal Verification of the Secure Sockets Layer Protocol (MLT, DC, JJP, FC), pp. 246–252.
ICEIS-ISAS2-2008-VerjusP #agile #approach #architecture #evolution #formal method #information management #named: DIAPASON: A Formal Approach for Supporting Agile and Evolvable Information System Service-Based Architectures (HV, FP), pp. 76–81.
SEKE-2008-Argote-GarciaCHFS #approach #architecture #formal method: A Formal Approach for Translating a SAM Architecture to PROMELA (GAG, PJC, XH, YF, LS), pp. 440–447.
SEKE-2008-GallegosOGRSV #generative #specification: A Property Specification Tool for Generating Formal Specifications: Prospec 2.0 (IG, OO, AQG, SR, SS, CV), pp. 273–278.
SEKE-2008-Mikolajczak #case study #collaboration #object-oriented #petri net #specification: Formal Specification of Object-oriented Systems with Collaborative Objects and Petri Nets — a Case Study (BM), pp. 267–272.
MoDELS-2008-CraneD #execution #formal method #modelling #set #towards #uml: Towards a Formal Account of a Foundational Subset for Executable UML Models (MLC, JD), pp. 675–689.
MoDELS-2008-HateburHS #metamodelling #problem: A Formal Metamodel for Problem Frames (DH, MH, HS), pp. 68–82.
MoDELS-2008-KelsenM #approach #lightweight #modelling #semantics: A Lightweight Approach for Defining the Formal Semantics of a Modeling Language (PK, QM), pp. 690–704.
MoDELS-2008-WeisemollerS #component #composition #metamodelling: Formal Definition of MOF 2.0 Metamodel Components and Composition (IW, AS), pp. 386–400.
MoDELS-2008-CraneD #execution #formal method #modelling #set #towards #uml: Towards a Formal Account of a Foundational Subset for Executable UML Models (MLC, JD), pp. 675–689.
MoDELS-2008-HateburHS #metamodelling #problem: A Formal Metamodel for Problem Frames (DH, MH, HS), pp. 68–82.
MoDELS-2008-KelsenM #approach #lightweight #modelling #semantics: A Lightweight Approach for Defining the Formal Semantics of a Modeling Language (PK, QM), pp. 690–704.
MoDELS-2008-WeisemollerS #component #composition #metamodelling: Formal Definition of MOF 2.0 Metamodel Components and Composition (IW, AS), pp. 386–400.
POPL-2008-AydemirCPPW: Engineering formal metatheory (BEA, AC, BCP, RP, SW), pp. 3–15.
POPL-2008-TristanL #case study #optimisation #scheduling #validation #verification: Formal verification of translation validators: a case study on instruction scheduling optimizations (JBT, XL), pp. 17–27.
RE-2008-WestonCR #approach #aspect-oriented #composition #formal method #requirements #semantics: A Formal Approach to Semantic Composition of Aspect-Oriented Requirements (NW, RC, AR), pp. 173–182.
SAC-2008-Al-MansariHU #on the #semantics: On to formal semantics for path expression pointcuts (MAM, SH, RU), pp. 271–275.
SAC-2008-AndresAN #experience #formal method #information management #using: Using formal methods to develop a complex information system: a practical/theoretical experience (CA, RGA, MN), pp. 848–849.
SAC-2008-BelohlavekV #concept analysis #dependence: Adding background knowledge to formal concept analysis via attribute dependency formulas (RB, VV), pp. 938–943.
SAC-2008-GrutterBH #ontology #reasoning: Extending an ontology-based search with a formalism for spatial reasoning (RG, BBM, MH), pp. 2266–2270.
SAC-2008-LuizVS #framework #specification: Formal specification of DSP gateway for data transmission between processor cores of OMAP platform (SODL, GdMV, LDdS), pp. 1545–1549.
SAC-2008-PereiraM #architecture #coordination #exception: A formal architectural model for exception handling coordination (DPP, ACVdM), pp. 114–118.
SAC-2008-ReynosoCGP #diagrams #metric #ocl #statechart #uml #using: Formal definition of measures for UML statechart diagrams using OCL (LR, JACL, MG, MP), pp. 846–847.
ICSE-2008-BeekGKM #verification: Formal verification of an automotive scenario in service-oriented computing (MHtB, SG, NK, FM), pp. 613–622.
ATEM-J-2006-HeymansSTBMC #diagrams #feature model: Evaluating formal properties of feature diagram languages (PH, PYS, JCT, YB, RM, AC), pp. 281–302.
SLE-2008-Schatz #emf #formal method #modelling #rule-based: Formalization and Rule-Based Transformation of EMF Ecore-Based Models (BS), pp. 227–244.
SPLC-2008-FantechiG #formal method #modelling #product line: Formal Modeling for Product Families Engineering (AF, SG), pp. 193–202.
CC-2008-Schwartzbach #compilation #design #how: Design Choices in a Compiler Course or How to Make Undergraduates Love Formal Notation (MIS), pp. 1–15.
PPoPP-2008-LiDGK #specification #standard: Formal specification of the MPI-2.0 standard in TLA+ (GL, MD, GG, RMK), pp. 283–284.
CAV-2008-KimJRSPKS #analysis #random #simulation: Application of Formal Word-Level Analysis to Constrained Random Simulation (HK, HJ, KR, PS, JP, RPK, FS), pp. 487–490.
ICST-2008-BoulangerH #modelling #multi #simulation: Simulation of Multi-Formalism Models with ModHel’X (FB, CH), pp. 318–327.
ICST-2008-SenBM #model transformation #modelling #multi #on the #testing: On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing (SS, BB, JMM), pp. 328–337.
VMCAI-2008-Goldberg #on the #simulation #verification: On Bridging Simulation and Formal Verification (EG), pp. 127–141.
ECSA-2007-LoulouKJD #architecture #design: Formal Design of Structural and Dynamic Features of Publish/Subscribe Architectural Styles (IL, AHK, MJ, KD), pp. 44–59.
ASE-2007-CabotCR #constraints #modelling #named #ocl #programming #uml #using #verification: UMLtoCSP: a tool for the formal verification of UML/OCL models using constraint programming (JC, RC, DR), pp. 547–548.
ASE-2007-NakagawaTH #approach #generative #model transformation #modelling #requirements #specification: Formal specification generator for KAOS: model transformation approach to generate formal specifications from KAOS requirements models (HN, KT, SH), pp. 531–532.
CASE-2007-RugnoneVNDCPT #design #logic #named #visual notation: HomeTL: A visual formalism, based on temporal logic, for the design of home based care (AR, EV, CDN, MPD, DC, CP, ET), pp. 747–752.
DAC-2007-BhatiaGTMM #equivalence #multi #performance #validation: Leveraging Semi-Formal and Sequential Equivalence Techniques for Multimedia SOC Performance Validation (LB, JG, PT, RSM, SHM), pp. 69–74.
DAC-2007-LongS #verification: Synthesizing SVA Local Variables for Formal Verification (JL, AS), pp. 75–80.
DAC-2007-Vardi #verification: Formal Techniques for SystemC Verification; Position Paper (MYV), pp. 188–192.
DATE-2007-LeGB #pervasive #verification: Formal verification of a pervasive interconnect bus system in a high-performance microprocessor (TL, TG, JB), pp. 219–224.
DocEng-2007-DejeanM #documentation #functional #logic: Logical document conversion: combining functional and formal knowledge (HD, JLM), pp. 135–143.
DocEng-2007-PuginI #semantics: Combination of transformation and schema languages described by a complete formal semantics (CP, RI), pp. 222–224.
CSEET-2007-SobelC #analysis #design #formal method: Supporting the Formal Analysis of Software Designs (AEKS, SC), pp. 123–132.
ITiCSE-2007-RodgerLR #automaton #formal method #interactive: Increasing interaction and support in the formal languages and automata theory course (SHR, JL, SR), pp. 58–62.
FASE-2007-GrammesG #semantics #tool support: SDL Profiles — Formal Semantics and Tool Support (RG, RG), pp. 200–214.
FASE-2007-SilvaM #formal method: A Simulation-Oriented Formalization for a Psychological Theory (PSdS, ACVdM), pp. 42–56.
FoSSaCS-2007-Jagadeesan #aspect-oriented #formal method: Formal Foundations for Aspects (RJ), p. 1.
ICPC-2007-PoshyvanykM #concept analysis #information retrieval #source code: Combining Formal Concept Analysis with Information Retrieval for Concept Location in Source Code (DP, AM), pp. 37–48.
LATA-2007-Bensch #approach #context-sensitive grammar #parallel: An Approach to Parallel Mildly Context-Sensitive Grammar Formalisms (SB), pp. 91–102.
IFM-2007-AuSC #precise #specification: Precise Scenarios — A Customer-Friendly Foundation for Formal Specifications (OA, RS, JC), pp. 21–36.
IFM-2007-KongOF #algebra #analysis #formal method: Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse System (WK, KO, KF), pp. 393–412.
SEFM-2007-AichernigPWW #consistency #formal method #industrial #protocol #testing: Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods (BKA, BP, MW, FW), pp. 215–226.
SEFM-2007-CansellGM #verification: Formal verification of tamper-evident storage for e-voting (DC, JPG, DM), pp. 329–338.
SEFM-2007-Cousot #abstract interpretation #formal method: The Rôle of Abstract Interpretation in Formal Methods (PC), pp. 135–140.
SEFM-2007-Hameurlain #behaviour #component #flexibility #protocol #specification: Flexible Behavioural Compatibility and Substitutability for Component Protocols: A Formal Specification (NH), pp. 391–400.
SEFM-2007-Lano #diagrams #interactive #specification #using: Formal Specification using Interaction Diagrams (KL), pp. 293–304.
SFM-2007-Woodside #design #uml: From Annotated Software Designs (UML SPT/MARTE) to Model Formalisms (CMW), pp. 429–467.
DHM-2007-WertherMR #analysis #petri net #process #simulation: Colored Petri Net Based Formal Airport Control Model for Simulation and Analysis of Airport Control Processes (BW, CM, MR), pp. 1027–1036.
HCI-IDU-2007-CortierdA #java #user interface #validation: Formal Validation of Java/Swing User Interfaces with the Event B Method (AC, Bd, YAA), pp. 1062–1071.
HCI-IDU-2007-DavidCDM #collaboration #mobile #named #process: ORCHESTRA: Formalism to Express Static and Dynamic Model of Mobile Collaborative Activities and Associated Patterns (BTD, RC, OD, GM), pp. 1082–1091.
HCI-IPT-2007-DahlS #interactive #towards #visualisation: Visualizing Interaction in Digitally Augmented Spaces: Steps Toward a Formalism for Location-Aware and Token-Based Interactive Systems (YD, DS), pp. 569–578.
CAiSE-2007-MendlingA #formal method #verification: Formalization and Verification of EPCs with OR-Joins Based on State and Context (JM, WMPvdA), pp. 439–453.
ICEIS-EIS-2007-CombemaleGCTV #case study #process #towards #verification: Towards a Formal Verification of Process Model’s Properties SIMPLEPDL and TOCL Case Study (BC, PLG, XC, XT, FV), pp. 80–89.
ICEIS-HCI-2007-MoubaiddinO #formal method #information management #towards: Towards a Formal Model of Knowledge Acquisition via Cooeperative Dialogue (AM, NO), pp. 182–189.
ICEIS-J-2007-CombemaleCGTV #approach #modelling #process #verification: A Property-Driven Approach to Formal Verification of Process Models (BC, XC, PLG, XT, FV), pp. 286–300.
CIKM-2007-FuXLZM #formal method: A CDD-based formal model for expert finding (YF, RX, YL, MZ, SM), pp. 881–884.
SEKE-2007-LeitaoTB #named #natural language #specification #testing: NLForSpec: Translating Natural Language Descriptions into Formal Test Case Specifications (DL, DT, FdAB), pp. 129–134.
SEKE-2007-MizouniSD #case study #composition #requirements #using: Using Formal Composition of Use Cases in Requirements Engineering (RM, AS, RD), p. 238–?.
SEKE-2007-YeL #product line #specification: A Formal Specification for Product Configuration in Software Product Lines (HY, YL), pp. 221–226.
MoDELS-2007-XuL #interactive #monitoring #visual notation: Formally Defining a Graphical Language for Monitoring and Checking Object Interactions (KX, DL), pp. 620–634.
MoDELS-2007-XuL #interactive #monitoring #visual notation: Formally Defining a Graphical Language for Monitoring and Checking Object Interactions (KX, DL), pp. 620–634.
OOPSLA-2007-BiermanMT #c# #formal method: Lost in translation: formalizing proposed extensions to c# (GMB, EM, MT), pp. 479–498.
TOOLS-EUROPE-2007-RomeroRDV #maude #modelling #tool support: Formal and Tool Support for Model Driven Engineering with Maude (JRR, JER, FD, AV), pp. 187–207.
PPDP-2007-BentonZ #compilation #formal method #semantics #verification: Formalizing and verifying semantic type soundness of a simple compiler (NB, UZ), pp. 1–12.
RE-2007-MetzgerHPSS #analysis #automation #documentation #formal method #product line #variability: Disambiguating the Documentation of Variability in Software Product Lines: A Separation of Concerns, Formalization and Automated Analysis (AM, PH, KP, PYS, GS), pp. 243–253.
SAC-2007-BonenfantCHMWW #cost analysis #towards: Towards resource-certified software: a formal cost model for time and its application to an image-processing example (AB, ZC, KH, GM, AMW, IW), pp. 1307–1314.
SAC-2007-MorimotoSGC #security #specification #verification: Formal verification of security specifications with common criteria (SM, SS, YG, JC), pp. 1506–1512.
SAC-2007-OliveiraAS #component #formal method #model checking #modelling #petri net #using #verification: Formal modelling and verification of a component model using coloured petri nets and model checking (EASO, HOdA, LDdS), pp. 1427–1431.
ICSE-2007-ChalabineK #aspect-oriented #automation #framework #re-engineering #weaving: A Formal Framework for Automated Round-Trip Software Engineering in Static Aspect Weaving and Transformations (MC, CWK), pp. 137–146.
ICSE-2007-GroceHJ #difference #random #testing #verification: Randomized Differential Testing as a Prelude to Formal Verification (AG, GJH, RJ), pp. 621–631.
AMOST-2007-SatpathyR #abstraction #formal method #generative #model checking #modelling #refinement #testing: Test case generation from formal models through abstraction refinement and model checking (MS, SR), pp. 85–94.
CADE-2007-HasanT #formal method #probability: Formalization of Continuous Probability Distributions (OH, ST), pp. 3–18.
CAV-2007-BloemCPRT #analysis #formal method #named #requirements: RAT: A Tool for the Formal Analysis of Requirements (RB, RC, IP, MR, AT), pp. 263–267.
CAV-2007-Kropf #debugging #development #formal method #industrial #question: Software Bugs Seen from an Industrial Perspective or Can Formal Methods Help on Automotive Software Development? (TK), p. 3.
CAV-2007-OuimetL #realtime #simulation #specification #tool support #verification: The TASM Toolset: Specification, Simulation, and Formal Verification of Real-Time Systems (MO, KL), pp. 126–130.
MBT-2007-PaivaFV #formal method #integration #modelling #testing #towards #user interface #visual notation: Towards the Integration of Visual and Formal Models for GUI Testing (ACRP, JCPF, RFAMV), pp. 99–111.
RTA-2007-Leroy #compilation #optimisation #verification: Formal Verification of an Optimizing Compiler (XL), p. 1.
SAT-2007-HertelHU #encoding #formal method #satisfiability: Formalizing Dangerous SAT Encodings (AH, PH, AU), pp. 159–172.
TAP-2007-EngelH #generative #proving #testing: Generating Unit Tests from Formal Proofs (CE, RH), pp. 169–188.
TAP-2007-SatpathyBLR #automation #specification #testing: Automatic Testing from Formal Specifications (MS, MJB, ML, SR), pp. 95–113.
VMCAI-2007-Madhusudan #algorithm #learning #tutorial #verification: Learning Algorithms and Formal Verification (Invited Tutorial) (PM), p. 214.
CBSE-2006-AngelovSMM #component #distributed #embedded #framework: A Formal Component Framework for Distributed Embedded Systems (CA, KS, NM, JM), pp. 206–221.
ASE-2006-LedruB #execution #generative #named #specification: Tobias-Z: An executable formal specification of a test generator (YL, LdB), pp. 353–354.
ASE-2006-PontissoC #automation #formal method #modelling: TOPCASED Combining Formal Methods with Model-Driven Engineering (NP, DC), pp. 359–360.
ASE-2006-WarrenSKW #approach #automation #configuration management #formal method: An Automated Formal Approach to Managing Dynamic Reconfiguration (IW, JS, SK, TW), pp. 37–46.
DAC-2006-BanerjeePDKD #game studies #generative #specification #testing: Test generation games from formal specifications (AB, BP, SD, AK, PD), pp. 827–832.
DAC-2006-FengH #equivalence #verification: Early cutpoint insertion for high-level software vs. RTL formal combinational equivalence verification (XF, AJH), pp. 1063–1068.
DAC-2006-GoraiBBTM #protocol #verification: Directed-simulation assisted formal verification of serial protocol and bridge (SG, SB, LB, PT, RSM), pp. 731–736.
DAC-2006-PillSCRBC #analysis #formal method #hardware #requirements: Formal analysis of hardware requirements (IP, SS, RC, MR, RB, AC), pp. 821–826.
DATE-2006-BalarinP #functional #generative #interface #specification #verification: Functional verification methodology based on formal interface specification and transactor generation (FB, RP), pp. 1013–1018.
DATE-2006-FeyGD #verification: Avoiding false negatives in formal verification for protocol-driven blocks (GF, DG, RD), pp. 1225–1226.
DATE-2006-KarlssonEP #design #petri net #representation #using #verification: Formal verification of systemc designs using a petri-net based representation (DK, PE, ZP), pp. 1228–1233.
DATE-2006-KrautzP0TWV #detection #fault #formal method #logic #using: Evaluating coverage of error detection logic for soft errors using formal methods (UK, MP, CJ, HWT, KW, HTV), pp. 176–181.
DATE-2006-KunzliPBT #analysis #formal method #performance #simulation: Combining simulation and formal methods for system-level performance analysis (SK, FP, LB, LT), pp. 236–241.
DATE-2006-MatulaM #algorithm #float #formal method #generative #performance #standard #traversal #verification: A formal model and efficient traversal algorithm for generating testbenches for verification of IEEE standard floating point division (DWM, LDM), pp. 1134–1138.
DATE-2006-ViehlSBR #analysis #design #modelling #performance #simulation #uml: Formal performance analysis and simulation of UML/SysML models for ESL design (AV, TS, OB, WR), pp. 242–247.
ITiCSE-2006-HielscherW #automaton #education #formal method #learning #named: AtoCC: learning environment for teaching theory of automata and formal languages (MH, CW), p. 306.
ITiCSE-2006-Rodger #automaton #formal method #learning: Learning automata and formal languages interactively with JFLAP (SHR), p. 360.
FASE-2006-FiadeiroL #approach #architecture #formal method: A Formal Approach to Event-Based Architectures (JLF, AL), pp. 18–32.
FASE-2006-OlveczkyC #algorithm #analysis #maude #realtime #scheduling #simulation: Formal Simulation and Analysis of the CASH Scheduling Algorithm in Real-Time Maude (PCÖ, MC), pp. 357–372.
FM-2006-AmalioSP: A Formal Template Language Enabling Metaproof (NA, SS, FP), pp. 252–267.
FM-2006-BacheriniFTZ #formal method: A Story About Formal Methods Adoption by a Railway Signaling Manufacturer (SB, AF, MT, NZ), pp. 179–189.
FM-2006-BackesPW #encryption #formal method: Formal Methods and Cryptography (MB, BP, MW), pp. 612–616.
FM-2006-BlazyDL #c #compilation #verification: Formal Verification of a C Compiler Front-End (SB, ZD, XL), pp. 460–475.
FM-2006-Boute #formal method #independence #problem #using: Using Domain-Independent Problems for Introducing Formal Methods (RTB), pp. 316–331.
FM-2006-LangariT #communication #formal method #graph transformation #modelling #protocol: Formal Modeling of Communication Protocols by Graph Transformation (ZL, RJT), pp. 348–363.
FM-2006-Mostowski #java #logic #reasoning: Formal Reasoning About Non-atomic Java Card Methods in Dynamic Logic (WM), pp. 444–459.
FM-2006-Oheimb #formal method #security: Formal Methods in the Security Business: Exotic Flowers Thriving in an Expanding Niche (DvO), pp. 592–597.
FM-2006-Stephan #formal method #lightweight #plugin #security: Formal Methods for Security: Lightweight Plug-In or New Engineering Discipline (WS), pp. 587–591.
FM-2006-ZhengWWX #approach #case study #development #formal method #object-oriented #using: Partially Introducing Formal Methods into Object-Oriented Development: Case Studies Using a Metrics-Driven Approach (YZ, JW, KW, JX), pp. 190–204.
SEFM-2006-BelblidiaD #aspectj #formal method #weaving: Formalizing AspectJ Weaving for Static Pointcuts (NB, MD), pp. 50–59.
SEFM-2006-Kapoor #formal method #modelling #pipes and filters #verification: Formal Modelling and Verification of an Asynchronous DLX Pipeline (HKK), pp. 118–127.
SEFM-2006-NeoviusSYS #formal method: A Formal Model of Context-Awareness and Context-Dependency (MN, KS, LY, MS), pp. 177–185.
SEFM-2006-Rushby #verification: Harnessing Disruptive Innovation in Formal Verification (JMR), pp. 21–30.
SEFM-2006-Rushby06a #automation #formal method #named #tutorial: Tutorial: Automated Formal Methods with PVS, SAL, and Yices (JMR), p. 262.
CSCW-2006-MunkvoldEK #formal method: Formalizing work: reallocating redundancy (GM, GE, HK), pp. 59–68.
EDOC-2006-MiaoSC #architecture #formal method: Formalizing and analyzing service oriented software architecture style (HM, JS, XC), pp. 387–390.
ICEIS-ISAS-2006-ChengX #approach #behaviour #concurrent #detection #formal method #online: A Formal Approach to Detecting Shilling Behaviors in Concurrent Online Auctions (YTC, HX), pp. 375–381.
ICEIS-ISAS-2006-MansetVMO #approach #architecture #automation #generative #grid #modelling: A Formal Architecture-Centric Model-Driven Approach for the Automatic Generation of Grid Applications (DM, HV, RM, FO), pp. 322–330.
ICEIS-J-2006-HaddadMR06a #semantics #synthesis: A Formal Semantics and a Client Synthesis for a BPEL Service (SH, PM, SR), pp. 388–401.
ICEIS-J-2006-PourrazV #approach #architecture #evolution #using: Managing Service-Based EAI Architectures Evolution Using a Formal Architecture-Centric Approach (FP, HV), pp. 269–280.
SEKE-2006-AprilDD #knowledge-based #maintenance #ontology: A Formalism of Ontology to Support a Software Maintenance Knowledge-based System (AA, JMD, RRD), pp. 331–336.
SEKE-2006-Ding #architecture #mobile: A Formal Architectural Model For Mobile Service Systems (ZD), pp. 670–675.
SEKE-2006-MokhatiBG #approach #diagrams #maude #specification #uml: Translating UML Diagrams Into Maude Formal Specifications: A Systematic Approach (FM, MB, PG), pp. 572–577.
SEKE-2006-SunSADH #analysis #design #formal method #middleware #modelling: Achieving a Better Middleware Design through Formal Modeling and Analysis (WS, TS, GAG, YD, XH), pp. 463–468.
SEKE-2006-ZhangKY #concept analysis #modelling #uml #web: UML Modelling Web Applications via Formal Concept Analysis (ZZ, JK, HY), pp. 532–535.
SEKE-2006-ZhangYLC #formal method #game studies #novel #protocol: A Novel Fairness Property of Electronic Commerce Protocols and Its Game-based Formalization (LZ, JY, ML, JC), pp. 410–415.
SIGIR-2006-BalogAR #corpus #enterprise #formal method #modelling: Formal models for expert finding in enterprise corpora (KB, LA, MdR), pp. 43–50.
MoDELS-2006-ArevaloFHN #abstraction #approach #concept analysis #modelling: Building Abstractions in Class Models: Formal Concept Analysis in a Model-Driven Approach (GA, JRF, MH, CN), pp. 513–527.
MoDELS-2006-Beeck #semantics #uml: A Formal Semantics of UML-RT (MvdB), pp. 768–782.
MoDELS-2006-DiskinD #semantics #towards #uml: Mappings, Maps and Tables: Towards Formal Semantics for Associations in UML2 (ZD, JD), pp. 230–244.
MoDELS-2006-GoldsbyCKK #analysis #assurance #formal method #framework #modelling #visualisation: A Visualization Framework for the Modeling and Formal Analysis of High Assurance Systems (HG, BHCC, SK, SK), pp. 707–721.
MoDELS-2006-ArevaloFHN #abstraction #approach #concept analysis #modelling: Building Abstractions in Class Models: Formal Concept Analysis in a Model-Driven Approach (GA, JRF, MH, CN), pp. 513–527.
MoDELS-2006-Beeck #semantics #uml: A Formal Semantics of UML-RT (MvdB), pp. 768–782.
MoDELS-2006-DiskinD #semantics #towards #uml: Mappings, Maps and Tables: Towards Formal Semantics for Associations in UML2 (ZD, JD), pp. 230–244.
MoDELS-2006-GoldsbyCKK #analysis #assurance #formal method #framework #modelling #visualisation: A Visualization Framework for the Modeling and Formal Analysis of High Assurance Systems (HG, BHCC, SK, SK), pp. 707–721.
OOPSLA-2006-BravenboerTV #aspectj #declarative #syntax: Declarative, formal, and extensible syntax definition for aspectJ (MB, ÉT, EV), pp. 209–228.
OOPSLA-2006-LiuS #component #deployment #framework: A formal framework for component deployment (YDL, SFS), pp. 325–344.
QAPL-2006-ZhangH #analysis #formal method #protocol #streaming: Formal Analysis of Streaming Downloading Protocol for System Upgrading (MZ, DVH), pp. 205–224.
POPL-2006-Leroy #certification #compilation #programming #proving: Formal certification of a compiler back-end or: programming a compiler with a proof assistant (XL), pp. 42–54.
RE-2006-SchobbensHT #bibliography #diagrams #feature model #semantics: Feature Diagrams: A Survey and a Formal Semantics (PYS, PH, JCT), pp. 136–145.
SAC-2006-ColomboPR #architecture #formal method #modelling #realtime #uml: A UML 2-compatible language and tool for formal modeling real-time system architectures (PC, MP, MR), pp. 1785–1790.
SAC-2006-GuelfiM #diagrams #framework #process #specification #uml: A formal framework to generate XPDL specifications from UML activity diagrams (NG, AM), pp. 1224–1231.
SAC-2006-MalgouyresM #approach #consistency #formal method #metamodelling #uml #verification: A UML model consistency verification approach based on meta-modeling formalization (HM, GM), pp. 1804–1809.
ICSE-2006-Abrial #formal method #industrial #problem: Formal methods in industry: achievements, problems, future (JRA), pp. 761–768.
ICSE-2006-Yin #approach #verification: The echo approach to formal verification (XY), pp. 981–984.
ATEM-2006-Garcia #formal method #ocl #uml: Formalizing the Well-Formedness Rules of EJB3QL in UML + OCL (MG), pp. 66–75.
ISMM-2006-DonnellyHK #semantics: Formal semantics of weak references (KD, JJH, AJK), pp. 126–137.
CAV-2006-ColvinGLM #algorithm #concurrent #lazy evaluation #set #verification: Formal Verification of a Lazy Concurrent List-Based Set Algorithm (RC, LG, VL, MM), pp. 475–488.
CAV-2006-Das #specification: Formal Specifications on Industrial-Strength Code-From Myth to Reality (MD), p. 1.
CAV-2006-KloseTWW #performance #sequence chart #verification: Check It Out: On the Efficient Formal Verification of Live Sequence Charts (JK, TT, BW, HW), pp. 219–233.
IJCAR-2006-Boldo #algorithm #float #proving: Pitfalls of a Full Floating-Point Proof: Example on the Formal Proof of the Veltkamp/Dekker Algorithms (SB), pp. 52–66.
IJCAR-2006-Mahboubi #algorithm #implementation #performance #proving: Proving Formally the Implementation of an Efficient gcd Algorithm for Polynomials (AM), pp. 438–452.
IJCAR-2006-Zumkeller #modelling #optimisation: Formal Global Optimisation with Taylor Models (RZ), pp. 408–422.
LICS-2006-Bryant #infinity #using #verification: Formal Verification of Infinite State Systems Using Boolean Methods (REB), pp. 3–4.
MBT-2006-BourdonovKK #consistency #testing: Formal Conformance Testing of Systems with Refused Inputs and Forbidden Actions (IBB, AK, VVK), pp. 83–96.
RTA-2006-Bryant #infinity #using #verification: Formal Verification of Infinite State Systems Using Boolean Methods (REB), pp. 1–3.
ASE-2005-LienhardDA #concept analysis #identification: Identifying traits with formal concept analysis (AL, SD, GA), pp. 66–75.
ASE-2005-Nejati: Formal support for merging and negotiation (SN), pp. 456–460.
DAC-2005-Chatterjee #design #process #verification: Streamline verification process with formal property verification to meet highly compressed design cycle (PC), pp. 674–677.
DAC-2005-Rossi #design #formal method #question #scalability #verification: Can we really do without the support of formal methods in the verification of large designs? (UR), pp. 672–673.
DAC-2005-WolfsthalG #question #verification: Formal verification: is it real enough? (YW, RMG), pp. 670–671.
DATE-2005-BouesseRDG #formal method: DPA on Quasi Delay Insensitive Asynchronous Circuits: Formalization and Improvement (GFB, MR, SD, FG), pp. 424–429.
DATE-2005-JacobiWPB #automation #multi #verification: Automatic Formal Verification of Fused-Multiply-Add FPUs (CJ, KW, VP, JB), pp. 1298–1303.
ICDAR-2005-CostagliolaDR #diagrams #sketching: Sketch Grammars: A Formalism for Describing and Recognizing Diagrammatic Sketch Languages (GC, VD, MR), pp. 1226–1231.
CSEET-2005-Cowling #approach #diagrams #formal method: Translating Diagrams: A New Approach to Introducing Formal Methods (AJC), pp. 121–128.
CSEET-2005-Hislop: Course Module: Formal Technical Reviews (GWH), pp. 233–235.
ITiCSE-2005-WermelingerD #automaton #formal method #prolog #tool support: A prolog toolkit for formal languages and automata (MW, AMD), pp. 330–334.
WRLA-2004-DenkerT05 #dependence: Formal Checklists for Remote Agent Dependability (GD, CLT), pp. 229–248.
ESOP-2005-JanvierLM #encryption: Completing the Picture: Soundness of Formal Encryption in the Presence of Active Adversaries (RJ, YL, LM), pp. 172–185.
FASE-2005-Berry #design #industrial #performance #specification: Esterel v7: From Verified Formal Specification to Efficient Industrial Designs (GB), p. 1.
ICSM-2005-Bollin #composition #maintenance #scalability #specification: Maintaining Formal Specifications — Decomposition of Large Z-Specifications (AB), pp. 443–452.
MSR-2005-HindleG #formal method #named #query #repository: SCQL: a formal model and a query language for source control repositories (AH, DMG), pp. 6–10.
PASTE-2005-BradburyCD #analysis #effectiveness #empirical #formal method #framework #testing: An empirical framework for comparing effectiveness of testing and property-based formal analysis (JSB, JRC, JD), pp. 2–5.
PASTE-2005-Hamlet #formal method #invariant #testing: Invariants and state in testing and formal methods (DH), pp. 48–51.
PLDI-2005-FranchettiVP: Formal loop merging for signal transforms (FF, YV, MP), pp. 315–326.
CIAA-J-2004-DaleyM05 #formal method #modelling: Formal modelling of viral gene compression (MD, IM), pp. 453–469.
FM-2005-AndronickCP #embedded #security #smarttech #source code #verification: Formal Verification of Security Properties of Smart Card Embedded Source Code (JA, BC, CPM), pp. 302–317.
FM-2005-Broadfoot #cost analysis #formal method #industrial: ASD Case Notes: Costs and Benefits of Applying Formal Methods to Industrial Control Software (GHB), pp. 548–551.
FM-2005-Gaudel #approximate #correctness #formal method #testing: Formal Methods and Testing: Hypotheses, and Correctness Approximations (MCG), pp. 2–8.
FM-2005-Johnson #debugging #formal method #using: The Natural History of Bugs: Using Formal Methods to Analyse Software Related Failures in Space Missions (CWJ), pp. 9–25.
FM-2005-Joseph: Formal Aids for the Growth of Software Systems (MJ), p. 1.
FM-2005-KimBC #approach #formal method #modelling #towards: An MDA Approach Towards Integrating Formal and Informal Modeling Languages (SKK, DB, DAC), pp. 448–464.
FM-2005-SalverdaRZ #parallel #verification: Formally Defining and Verifying Master/Slave Speculative Parallelization (PS, GR, CBZ), pp. 123–138.
FM-2005-Zave #formal method #network: A Formal Model of Addressing for Interoperating Networks (PZ), pp. 318–333.
IFM-2005-BodeveixFLM #domain-specific language #formal method: Formal Methods Meet Domain Specific Languages (JPB, MF, JLL, GM), pp. 187–206.
IFM-2005-PaigeB #agile #formal method: Agile Formal Method Engineering (RFP, PJB), pp. 109–128.
SEFM-2005-BlechGG #higher-order #verification: Formal Verification of Dead Code Elimination in Isabelle/HOL (JOB, LG, SG), pp. 200–209.
SEFM-2005-CeroneLC #analysis #formal method #human-computer #interactive #model checking #using: Formal Analysis of Human-computer Interaction using Model-checking (AC, PAL, SC), pp. 352–362.
SEFM-2005-DittmarF: A unified description formalism for complex HCI-systems (AD, PF), pp. 342–351.
SEFM-2005-Hall #formal method: Making Formal Methods Work (AH), pp. 261–262.
SEFM-2005-LeinenbachPP #code generation #compilation #implementation #towards #verification: Towards the Formal Verification of a C0 Compiler: Code Generation and Implementation Correctnes (DL, WJP, EP), pp. 2–12.
SEFM-2005-MesquitaSM #composition #framework: A Strategy for the Formal Composition of Frameworks (WM, AS, ACVdM), pp. 404–413.
SFM-2005-AcquavivaABBBL #formal method #impact analysis #power management #predict: A Methodology Based on Formal Methods for Predicting the Impact of Dynamic Power Management (AA, AA, MB, AB, EB, EL), pp. 155–189.
SIGAda-2005-Davis #formal method #re-engineering: The affordable application of formal methods to software engineering (JFD), pp. 57–62.
EDOC-2005-GovernatoriM #contract #domain-specific language: Dealing with contract violations: formalism and domain specific language (GG, ZM), pp. 46–57.
ICEIS-v1-2005-BaroniCPA #database #metric: A Formal Definition for Object-Relational Database Metrics (ALB, CC, MP, FBeA), pp. 334–339.
ICEIS-v3-2005-CapelH #csp #modelling #specification #visual notation: Transforming SA/RT Graphical Specifications into CSP+T Formalism — Obtaining a Formal Specification from Semi-Formal SA/RT Essential Models (MIC, JAHT), pp. 65–72.
CIKM-2005-WyssR: A formal characterization of PIVOT/UNPIVOT (CMW, ELR), pp. 602–608.
MLDM-2005-GuptaKB #classification #concept analysis #incremental #using: Incremental Classification Rules Based on Association Rules Using Formal Concept Analysis (AG, NK, VB), pp. 11–20.
SEKE-2005-KongOF #analysis #formal method #security #workflow: Formal Analysis of Workflow Systems with Security Considerations (WK, KO, KF), pp. 531–536.
SEKE-2005-LiuBY #development #formal method: A Formal Foundation of Code Pattern Based Development (JL, FBB, ILY), pp. 274–279.
SEKE-2005-SongPCZ #specification #transaction #uml #verification: Formal Verification of Transactional Systems Based on UML Specifications (MAJS, AMP, SVAC, LEZ), pp. 199–204.
SEKE-2005-YuLYH #analysis #aspect-oriented #modelling: Formal Aspect-Oriented Modeling and Analysis by Aspect (HY, DL, LY, XH), pp. 169–174.
SEKE-2005-Zhu #behaviour #multi #reasoning: Formal Reasoning about Emergent Behaviours of Multi-Agent Systems (HZ), pp. 280–285.
MoDELS-2005-Pavlich-MariscalMD #aspect-oriented #data access #framework #programming #using: A Formal Enforcement Framework for Role-Based Access Control Using Aspect-Oriented Programming (JAPM, LM, SAD), pp. 537–552.
MoDELS-2005-Pavlich-MariscalMD #aspect-oriented #data access #framework #programming #using: A Formal Enforcement Framework for Role-Based Access Control Using Aspect-Oriented Programming (JAPM, LM, SAD), pp. 537–552.
PPDP-2005-KirchnerMR #pattern matching #validation: Formal validation of pattern matching code (CK, PEM, AR), pp. 187–197.
SAC-2005-BravettiGLZ #e-commerce #formal method: Supporting e-commerce systems formalization with choreography languages (MB, CG, RL, GZ), pp. 831–835.
SAC-2005-NicolaLM #analysis #formal method #mobile #modelling: Formal modeling and quantitative analysis of KLAIM-based mobile systems (RDN, DL, MM), pp. 428–435.
SAC-2005-RekhisB #automation #forensics #verification: A formal logic-based language and an automated verification tool for computer forensic investigation (SR, NB), pp. 287–291.
SAC-2005-SohrDA #information management #policy #security #specification: Formal specification of role-based security policies for clinical information systems (KS, MD, GJA), pp. 332–339.
SAC-2005-TrainaFT #formal method #image #retrieval: Image domain formalization for content-based image retrieval (CTJ, JMdF, AJMT), pp. 604–609.
ESEC-FSE-2005-ShenSHJSM #component #formal method #towards: Towards a unified formal model for supporting mechanisms of dynamic component update (JS, XS, GH, WJ, YS, HM), pp. 80–89.
COCV-J-2005-BlechGLM #code generation #comparison #correctness #higher-order #optimisation #proving: Optimizing Code Generation from SSA Form: A Comparison Between Two Formal Correctness Proofs in Isabelle/HOL (JOB, SG, JL, SM), pp. 33–51.
CADE-2005-BryantS #verification: Decision Procedures Customized for Formal Verification (REB, SAS), pp. 255–259.
CAV-2005-AronsEFMMSSTVZ #verification: Formal Verification of Backward Compatibility of Microcode (TA, EE, LF, SMH, MM, JS, ES, AT, MYV, LDZ), pp. 185–198.
CAV-2005-BarnerGR #concurrent #debugging #formal method #named #using: Wolf — Bug Hunter for Concurrent Software Using Formal Methods (SB, ZG, IR), pp. 153–157.
CAV-2005-Kaivola #component #induction #invariant #simulation #verification: Formal Verification of Pentium® 4 Components with Symbolic Simulation and Inductive Invariants (RK), pp. 170–184.
CSL-2005-Baaz #reasoning: Note on Formal Analogical Reasoning in the Juridical Context (MB), pp. 18–26.
ICLP-2005-Chesani #formal method #interactive #protocol #verification: Formalization and Verification of Interaction Protocols (FC), pp. 437–438.
TestCom-2005-KrichenT05a #framework #realtime #testing: An Expressive and Implementable Formal Framework for Testing Real-Time Systems (MK, ST), pp. 209–225.
TLCA-2005-MatwinFHC #data mining #formal method #mining #privacy #using: Privacy in Data Mining Using Formal Methods (SM, APF, ITH, VC), pp. 278–292.
ASE-2004-Haydar #analysis #automation #framework #verification: Formal Framework for Automated Analysis and Verification of Web-Based Applications (MH), pp. 410–413.
ASE-2004-KhorG #algorithm #automation #branch #concept analysis #search-based #testing #using: Using a Genetic Algorithm and Formal Concept Analysis to Generate Branch Coverage Test Data Automatically (SK, PG), pp. 346–349.
DAC-2004-KappS #automation #behaviour #control flow #scheduling #synthesis: Automatic correct scheduling of control flow intensive behavioral descriptions in formal synthesis (KK, VKS), pp. 61–66.
DATE-DF-2004-ChenLHBB #design #network: Utilizing Formal Assertions for System Design of Network Processors (XC, YL, HH, LNB, FB), pp. 126–133.
DATE-DF-2004-KruppMO #model checking #refinement: Formal Refinement and Model Checking of an Echo Cancellation Unit (AK, WM, IO), pp. 102–107.
DATE-v1-2004-BasuDDCMF #architecture #design #question #verification: Formal Verification Coverage: Are the RTL-Properties Covering the Design’s Architectural Intent? (PB, SD, PD, PPC, CRM, LF), pp. 668–669.
DATE-v1-2004-SeceleanuW #aspect-oriented #design #visual notation: Aspects of Formal and Graphical Design of a Bus System (TS, TW), pp. 396–403.
DATE-v1-2004-Velev #performance #verification: Exploiting Signal Unobservability for Efficient Translation to CNF in Formal Verification of Microprocessors (MNV), pp. 266–271.
DATE-2005-UmezawaS04 #verification: A Formal Verification Methodology for Checking Data Integrity (YU, TS), pp. 284–289.
SIGMOD-2004-MiklauS #analysis #formal method: A Formal Analysis of Information Disclosure in Data Exchange (GM, DS), pp. 575–586.
CSEET-2004-KonskyRN #design #education #re-engineering: Integrating Design Formalisms in Software Engineering Education (BRvK, MR, SN), pp. 78–83.
ITiCSE-2004-ChesnevarGM #automaton #formal method #learning: Didactic strategies for promoting significant learning in formal languages and automata theory (CIC, MPG, AGM), pp. 7–11.
FASE-2004-ChoppyR #case study #requirements #specification #using: Improving Use Case Based Requirements Using Formally Grounded Specifications (CC, GR), pp. 244–260.
FASE-2004-RomanJP: A Formal Treatment of Context-Awareness (GCR, CJ, JP), pp. 12–36.
SCAM-2004-BinkleyDGHKO #execution #formal method #slicing: Formalizing Executable Dynamic and Forward Slicing (DB, SD, TG, MH, ÁK, LO), pp. 43–52.
SCAM-2004-TourweM #concept analysis #mining #using: Mining Aspectual Views using Formal Concept Analysis (TT, KM), pp. 97–106.
WCRE-2004-TonellaC #concept analysis #execution #mining: Aspect Mining through the Formal Concept Analysis of Execution Traces (PT, MC), pp. 112–121.
DLT-2004-ChoffrutGL #on the: On the Maximum Coefficients of Rational Formal Series in Commuting Variables (CC, MG, VL), pp. 114–126.
ICALP-2004-Katsumata: A Generalisation of Pre-logical Predicates to Simply Typed Formal Systems (SyK), pp. 831–845.
IFM-2004-BallCLR #formal method #verification: SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft (TB, BC, VL, SKR), pp. 1–20.
IFM-2004-Boute #abstraction #formal method: Integrating Formal Methods by Unifying Abstractions (RTB), pp. 441–460.
IFM-2004-CurzonB #case study #design #fault: Formally Justifying User-Centred Design Rules: A Case Study on Post-completion Errors (PC, AB), pp. 461–480.
IFM-2004-DongQS #generative #specification: Generating MSCs from an Integrated Formal Specification Language (JSD, SQ, JS), pp. 168–186.
IFM-2004-LanoCA #modelling #object-oriented #uml #verification: UML to B: Formal Verification of Object-Oriented Models (KL, DC, KA), pp. 187–206.
IFM-2004-PickinJ #diagrams #sequence chart #uml #using: Using UML Sequence Diagrams as the Basis for a Formal Test Description Language (SP, JMJ), pp. 481–500.
SEFM-2004-KazhamiakinPR #case study #requirements #using #verification #web #web service: Formal Verification of Requirements using SPIN: A Case Study on Web Services (RK, MP, MR), pp. 406–415.
SEFM-2004-KhedriB #architecture #design #functional: Formal Derivation of Functional Architectural Design (RK, IB), pp. 356–265.
SEFM-2004-MoisanRR #behaviour #component #formal method #framework #towards: Towards Formalizing Behavioral Substitutability in Component Frameworks (SM, AR, JPR), pp. 122–131.
SEFM-2004-NguyenM #analysis #consistency: A Formalism for Conformance Analysis and Its Applications (TNN, EVM), pp. 330–339.
SEFM-2004-RouffVHTR #behaviour #formal method #predict: Properties of a Formal Method for Prediction of Emergent Behaviors in Swarm-Based Systems (CR, AV, MGH, WT, JLR), pp. 24–33.
SEFM-2004-Sinnott #development #realtime #tool support: The Formal, Tool Supported Development of Real Time Systems (ROS), pp. 388–395.
SEFM-2004-WenD #design #requirements: From Requirements Change to Design Change: A Formal Path (LW, RGD), pp. 104–113.
SEFM-2004-Yoshiura #specification: Finding the Causes of Unrealizability of Reactive System Formal Specifications (NY), pp. 34–43.
AdaEurope-2004-Gogolla #formal method #problem: Benefits and Problems of Formal Methods (MG), pp. 1–15.
EDOC-2004-RomeroV #formal method #maude #specification: Formalizing ODP Computational Viewpoint Specifications in Maude (JRR, AV), pp. 212–223.
ICEIS-v3-2004-Ohki #analysis #formal method: Formalization of Class Structure Extraction through Lifetime Analysis (MO), pp. 635–642.
ICEIS-v3-2004-SchuetzelhoferG #domain model #modelling #specification #verification #xml: Formal Specification and Verification of XML-Based Business Domain Models (WS, KMG), pp. 209–216.
ICEIS-v3-2004-Shinkawa #approach #enterprise #formal method #modelling: A Formal Approach to Enterprise Modeling (YS), pp. 663–668.
CIKM-2004-ChenZ #formal method #logic programming #mobile #multi: An extended logic programming based multi-agent system formalization in mobile environments (JC, YZ), pp. 166–167.
CIKM-2004-MasonCV #on the #traceability: On structuring formal, semi-formal and informal data to support traceability in systems engineering environments (PM, KC, PV), pp. 642–651.
ICPR-v2-2004-NakagawaZO #constraints #formal method #online #recognition: A Formalization of On-line Handwritten Japanese Text Recognition free from Line Direction Constraint (MN, BZ, MO), pp. 359–362.
SEKE-2004-MouhoubSS: Formal Description Techniques for CSPs and TCSPs (MM, SS, AS), pp. 406–410.
SIGIR-2004-FangTZ #formal method #heuristic #information retrieval: A formal study of information retrieval heuristics (HF, TT, CZ), pp. 49–56.
SIGIR-2004-MetzlerLC #modelling #multi: Formal multiple-bernoulli models for language modeling (DM, VL, WBC), pp. 540–541.
UML-2004-GieseH #specification #uml: From Informal to Formal Specifications in UML (MG, RH), pp. 197–211.
PPDP-2004-AntoyJ #formal method #implementation: Formalization and abstract implementation of rewriting with nested rules (SA, SJ), pp. 144–154.
POPL-2004-YuKS #dot-net #formal method #runtime: Formalization of generics for the .NET common language runtime (DY, AK, DS), pp. 39–51.
SAC-J-2003-BorgerCR04 #formal method #on the #state machine #uml #using: On formalizing UML state machines using ASM (EB, AC, ER), pp. 287–292.
SAC-J-2003-TraoreAY04 #development #distributed #framework: An integrated framework for formal development of open distributed systems (IT, DBA, HY), pp. 281–286.
SAC-2004-CavarraRS #framework #modelling #simulation #uml: A framework to simulate UML models: moving from a semi-formal to a formal environment (AC, ER, PS), pp. 1519–1523.
SAC-2004-OuyangB #internet #specification: An improved formal specification of the Internet Open Trading Pprotocol (CO, JB), pp. 779–783.
SAC-2004-Rodriguez #specification: Formal specification of autonomous commerce agents (IR), pp. 774–778.
ICSE-2004-PrietoA #formal method #multi #named #requirements #specification: chi-SCTL/MUS: A Formal Methodology to Evolve Multi-Perspective Software Requirements Specifications (ABBM, JJPA), pp. 72–74.
ICSE-2004-Tenzer #design #game studies #tool support #uml: Improving UML Design Tools by Formal Games (JT), pp. 75–77.
ICSE-2004-Tonella #concept analysis #re-engineering: Formal Concept Analysis in Software Engineering (PT), pp. 743–744.
ATEM-2003-LinH04 #fact extraction #formal method: Formalizing Fact Extraction (YL, RCH), pp. 93–102.
LDTA-2004-GoldreiS #attribute grammar #formal method #off the shelf #using #verification: Using Off-the-Shelf Formal Methods to Verify Attribute Grammar Properties (SG, AMS), pp. 33–54.
ASPLOS-2004-WuJMC #multi #online: Formal online methods for voltage/frequency control in multiple clock domain microprocessors (QW, PJ, MM, DWC), pp. 248–259.
LCTES-2004-QinRM #architecture #concurrent #development #modelling #synthesis #tool support: A formal concurrency model based architecture description language for synthesis of software development tools (WQ, SR, SM), pp. 47–56.
CAV-2004-ChangBD #design #interface #refinement #using #verification: Using Interface Refinement to Integrate Formal Verification into the Design Cycle (JC, SB, DLD), pp. 122–134.
CAV-2004-FarzanCMR #analysis #formal method #java #source code: Formal Analysis of Java Programs in JavaFAN (AF, FC, JM, GR), pp. 501–505.
CAV-2004-FuBS #analysis #formal method #named #web #web service: WSAT: A Tool for Formal Analysis of Web Services (XF, TB, JS), pp. 510–514.
CAV-2004-GaoH #algorithm #parallel #reduction: A Formal Reduction for Lock-Free Parallel Algorithms (HG, WHH), pp. 44–56.
FATES-2004-ArtsCS #development #erlang #fault tolerance #protocol: Semi-formal Development of a Fault-Tolerant Leader Election Protocol in Erlang (TA, KC, HS), pp. 140–154.
FATES-2004-BordbarO #approach #formal method #realtime #testing: Testing Deadlock-Freeness in Real-Time Systems: A Formal Approach (BB, KO), pp. 95–109.
IJCAR-2004-AvigadD #formal method #higher-order: Formalizing O Notation in Isabelle/HOL (JA, KD), pp. 357–371.
IJCAR-2004-BartheCT #formal method #random: A Machine-Checked Formalization of the Generic Model and the Random Oracle Model (GB, JC, ST), pp. 385–399.
IJCAR-2004-Farmer #calculus #formal method: Formalizing Undefinedness Arising in Calculus (WMF), pp. 475–489.
IJCAR-2004-MeseguerR #analysis #formal method #logic #semantics #specification #tool support: Rewriting Logic Semantics: From Language Specifications to Formal Analysis Tools (JM, GR), pp. 1–44.
DAC-2003-GuptaRSBBFPOS #verification: Formal verification — prove it or pitch it (RKG, SR, SKS, BB, DKB, MF, CP, JO, FS), pp. 710–711.
DAC-2003-Schubert #verification: High level formal verification of next-generation microprocessors (TS), pp. 1–6.
DAC-2003-TasiranYB #model checking #monitoring #simulation #specification #using: Using a formal specification and a model checker to monitor and direct simulation (ST, YY, BB), pp. 356–361.
DATE-2003-JersakREBJW #formal method #integration: Formal Methods for Integration of Automotive Software (MJ, KR, RE, JCB, ZYJ, FW), pp. 20045–20050.
DATE-2003-QinM #flexibility #formal method #modelling #simulation: Flexible and Formal Modeling of Microprocessors with Application to Retargetable Simulation (WQ, SM), pp. 10556–10561.
DATE-2003-RoychoudhuryMK #debugging #protocol #using: Using Formal Techniques to Debug the AMBA System-on-Chip Bus Protocol (AR, TM, SRK), pp. 10828–10833.
DATE-2003-Salem #semantics: Formal Semantics of Synchronous SystemC (AS), pp. 10376–10381.
DocEng-2003-ScheffczykBRS #consistency #documentation #formal method #repository #type safety: Consistent document engineering: formalizing type-safe consistency rules for heterogeneous repositories (JS, UMB, PR, LS), pp. 140–149.
SIGMOD-2003-Bierman #analysis #query #semantics: Formal semantics and analysis of object queries (GMB), pp. 407–418.
ESOP-2003-DanosL #biology: Core Formal Molecular Biology (VD, CL), pp. 302–318.
ESOP-2003-Meadows #analysis #encryption #evolution #protocol #requirements #specification #what: What Makes a Cryptographic Protocol Secure? The Evolution of Requirements Specification in Formal Cryptographic Protocol Analysis (CM), pp. 10–21.
FASE-2003-AttiogbePS #data type #diagrams #integration: Integration of Formal Datatypes within State Diagrams (CA, PP, GS), pp. 341–355.
FASE-2003-BiancoLMO #component #realtime #specification #towards #uml: Towards UML-Based Formal Specifications of Component-Based Real-Time Software (VDB, LL, MM, GO), pp. 118–134.
CSMR-2003-Villavicencio #slicing: Formal Program Reversing by Conditioned Slicing (GV), pp. 368–378.
CIAA-2003-FuBS #protocol #specification #verification: Conversation Protocols: A Formalism for Specification and Verification of Reactive Electronic Services (XF, TB, JS), pp. 188–200.
DLT-2003-AnselmoM #formal method #perspective #problem: Covering Problems from a Formal Language Point of View (MA, MM), pp. 122–133.
ICALP-2003-DrosteK: Skew and Infinitary Formal Power Series (MD, DK), pp. 426–438.
FME-2003-BouquetL #case study #execution #generative #java #testing #transaction: Reification of Executable Test Scripts in Formal Specicifation-Based Test Generation: The Java Card Transaction Mechanism Case Study (FB, BL), pp. 778–795.
FME-2003-MarinescuR #composition #design #framework: A Formal Framework for Modular Synchronous System Design (MCVM, MCR), pp. 482–502.
FME-2003-StidolphW #formal method: Managerial Issues for the Consideration and Use of Formal Methods (DCS, EJWJ), pp. 170–186.
FME-2003-WassyngL #formal method #implementation #industrial #lessons learnt: Lessons Learned from a Successful Implementation of Formal Methods in an Industrial Project (AW, ML), pp. 133–153.
SEFM-2003-BouassidaBGH #design #formal method #framework: Formalizing the Framework Design Language F-UML (NB, HBA, FG, ABH), pp. 164–172.
SEFM-2003-CarboneNS #formal method #network #trust: A Formal Model for Trust in Dynamic Networks (MC, MN, VS), p. 54–?.
SEFM-2003-Dromey #design #formal method #requirements: From Requirements to Design: Formalizing the Key Steps (RGD), p. 2–?.
SEFM-2003-GawanmehTW #design #using #verification: Formal Verification of ASM Designs Using the MDG Tool (AG, ST, KW), pp. 210–219.
SEFM-2003-NgB #csp #diagrams #formal method #towards #uml: Towards Formalizing UML State Diagrams in CSP (MYN, MJB), p. 138–?.
SFM-2003-BertolinoIM #architecture #formal method #testing: Formal Methods in Testing Software Architectures (AB, PI, HM), pp. 122–147.
SFM-2003-Garlan #analysis #architecture #component #formal method #modelling: Formal Modeling and Analysis of Software Architecture: Components, Connectors, and Events (DG), pp. 1–24.
AdaEurope-2003-Mikkonen #case study #experience #specification #tool support #using: Experiences on Developing and Using a Tool Support for Formal Specification (TM), pp. 297–308.
ICEIS-v1-2003-MorzyW #approach #formal method #modelling #multi: Modeling a Multiversion Data Warehouse: A Formal Approach (TM, RW), pp. 120–127.
ICEIS-v1-2003-PequenoA #database #formal method: A Formal Model for Object-Relational Databases (VMP, JNA), pp. 327–333.
ICEIS-v1-2003-RossiterNH #formal method #information management #middleware #tool support: Formalizing Types with Ultimate Closure for Middleware Tools in Information Systems Engineering (BNR, DAN, MAH), pp. 366–373.
SEKE-2003-YuHGD #architecture #design #distributed #formal method: Formal Software Architecture Design of Secure Distributed Systems (HY, XH, SG, YD), pp. 450–457.
UML-2003-ShankarA #realtime #semantics #uml: Formal Semantics of UML with Real-Time Constructs (SS, SA), pp. 60–75.
LOPSTR-2003-BerghammerM #algorithm #approximate #development #using #verification: Formal Development and Verification of Approximation Algorithms Using Auxiliary Variables (RB, MMO), pp. 59–74.
LOPSTR-2003-Ruiz-ReinaJHM #case study #data type #performance #reasoning: Formal Reasoning about Efficient Data Structures: A Case Study in ACL2 (JLRR, JAAJ, MJH, FJMM), pp. 75–91.
PPDP-2003-EncinaP: Formally deriving an STG machine (AdlE, RP), pp. 102–112.
PPDP-2003-NielsenK #towards #trust: Towards a formal notion of trust (MN, KK), pp. 4–7.
RE-2003-CovveyZBCS #health #quality #specification: Formal Structure for Specifying the Content and Quality of the Electronic Health Record (HDC, DZ, DMB, DDC, MAS), pp. 162–168.
RE-2003-RifautMMPSLV #analysis #formal method #named #specification #tool support #using: FAUST: Formal Analysis Using Specification Tools (AR, PM, JFM, CP, PS, AvL, HTV), p. 350.
SAC-2003-TraoreYA #development #distributed #framework: An Integrated Framework for Formal Development of Open Distributed Systems (IT, DBA, HY), pp. 1078–1085.
ICSE-2003-SpitznagelG #composition #formal method: A Compositional Formalization of Connector Wrappers (BS, DG), pp. 374–384.
LDTA-2003-Lee #framework: A Formally Verified Register Allocation Framework (KL), pp. 515–531.
LDTA-2003-SanchezCMN #coordination #named #specification: CoordMaude: Simplifying Formal Coordination Specifications of Cooperation Environment (MS, PJC, JMM, JHN), pp. 643–658.
FATES-2003-BadriBN #approach #case study #collaboration #diagrams #formal method #process #testing #towards #uml: A Use Case Driven Testing Process: Towards a Formal Approach Based on UML Collaboration Diagrams (MB, LB, MN), pp. 223–235.
ICLP-2003-LangevineDD #implementation #performance #prolog: A Propagation Tracer for GNU-Prolog: From Formal Definition to Efficient Implementation (LL, MD, PD), pp. 269–283.
LICS-2003-Harrison #verification: Formal Verification at Intel (JH), p. 45–?.
VMCAI-2003-OgataF #protocol #verification: Formal Verification of the Horn-Preneel Micropayment Protocol (KO, KF), pp. 238–252.
ASE-2002-AndrewsFL #testing: Adding Value to Formal Test Oracles (JHA, RF, VDL), pp. 275–248.
ASE-2002-CsertanHMPPV #automation #modelling #named #uml #validation #verification #visual notation: VIATRA — Visual Automated Transformations for Formal Verification and Validation of UML Models (GC, GH, IM, ZP, AP, DV), pp. 267–270.
DAC-2002-ChakrabartiDCB #interface #realtime #specification #verification: Formal verification of module interfaces against real time specifications (AC, PD, PPC, AB), pp. 141–145.
DAC-2002-DillJRBFFRSW #verification: Formal verification methods: getting around the brick wall (DLD, NJ, SR, GB, LF, HF, RKR, GS, CW), pp. 576–577.
DAC-2002-ShimizuD #generative #metric #simulation #specification: Deriving a simulation input generator and a coverage metric from a formal specification (KS, DLD), pp. 801–806.
DAC-2002-WolfSE #analysis #formal method: Associative caches in formal software timing analysis (FW, JS, RE), pp. 622–627.
DATE-2002-BlasquezHFLBHB #industrial #verification: Formal Verification Techniques: Industrial Status and Perspectives (JB, MvH, AF, JLL, DB, CH, PB), p. 1050.
DATE-2002-KaivolaN #float #multi #verification: Formal Verification of the Pentium ® 4 Floating-Point Multiplier (RK, NN), pp. 20–27.
DATE-2002-Velev #similarity #using #verification: Using Rewriting Rules and Positive Equality to Formally Verify Wide-Issue Out-of-Order Microprocessors with a Reorder Buffer (MNV), pp. 28–35.
ITiCSE-2002-English #experience #programming: Experience with a computer-assisted formal programming examination (JE), pp. 51–54.
ITiCSE-2002-SkevoulisF #education #formal method #tool support: Integrating formal methods tools into undergraduate computer science curriculum (SS, MF), p. 232.
WRLA-J-1996-WirsingK02 #approach #formal method #object-oriented #re-engineering: A formal approach to object-oriented software engineering (MW, AK), pp. 519–560.
FASE-2002-AhrendtBBGHHMMS #design #formal method #object-oriented: The KeY System: Integrating Object-Oriented Design and Formal Methods (WA, TB, BB, MG, EH, RH, WM, WM, PHS), pp. 327–330.
FASE-2002-DavidMY #realtime #uml #verification: Formal Verification of UML Statecharts with Real-Time Extensions (AD, MOM, WY), pp. 218–232.
FASE-2002-HahnleJR #authoring #requirements #specification: An Authoring Tool for Informal and Formal Requirements Specifications (RH, KJ, AR), pp. 233–248.
FASE-2002-LaraV #metamodelling #multi #named: AToM3: A Tool for Multi-formalism and Meta-modelling (JdL, HV), pp. 174–188.
FASE-2002-NavarroFFS #concept #hypermedia #prototype: Formal-Driven Conceptualization and Prototyping of Hypermedia Applications (AN, BFM, AFV, JLS), pp. 308–322.
FASE-2002-NonnengartRS #modelling #requirements #using: Formal Requirements Engineering Using Observer Models (AN, GR, WS), pp. 264–278.
TACAS-2002-KimSC #functional #requirements #specification #using #verification: Formal Verification of Functional Properties of an SCR-Style Software Requirements Specification Using PVS (TK, DWJSC, SDC), pp. 205–220.
CSMR-2002-Leitao #lisp #pattern matching #refactoring #source code: A Formal Pattern Language for Refactoring of Lisp Programs (APTdMCL), pp. 186–192.
ICSM-2002-RedondoAVB #approximate #retrieval #reuse #specification: Approximate Retrieval of Incomplete and Formal Specifications Applied to Vertical Reuse (RPDR, JJPA, AFV, ABBM), pp. 618–627.
ICSM-2002-WaqarKV #approach #formal method #maintenance: A Formal Approach for Software Maintenance (UW, FK, DV), pp. 608–617.
FLOPS-2002-Futatsugi #formal method: Formal Methods in CafeOBJ (KF), pp. 1–20.
ICALP-2002-Senizergues #decidability: L(A) = L(B)? Decidability Results from Complete Formal Systems (GS), p. 37.
FME-2002-BackesJP #bisimulation #composition #encryption #implementation #using: Deriving Cryptographically Sound Implementations Using Composition and Formally Verified Bisimulation (MB, CJ, BP), pp. 310–329.
FME-2002-Burguillo-RialIGN #case study #heuristic #specification #testing: Heuristic-Driven Test Case Selection from Formal Specifications. A Case Study (JCBR, MJFI, FJGC, MLN), pp. 57–76.
FME-2002-Casset #development #embedded #formal method #java #using #verification: Development of an Embedded Verifier for Java Card Byte Code Using Formal Methods (LC), pp. 290–309.
FME-2002-CatanoH #java #specification #static analysis #using: Formal Specification and Static Checking of Gemplus’ Electronic Purse Using ESC/Java (NC, MH), pp. 272–289.
FME-2002-DongSW #semantics #web: Semantic Web for Extending and Linking Formalisms (JSD, JS, HHW), pp. 587–606.
FME-2002-Hall #correctness #development #process: Correctness by Construction: Integrating Formality into a Commercial Development Process (AH), pp. 224–233.
FME-2002-HendersonP #classification #communication #verification: The Formal Classification and Verification of Simpson’s 4-Slot Asynchronous Communication Mechanism (NH, SP), pp. 350–369.
FME-2002-Wildman #compilation #proving: A Formal Basis for a Program Compilation Proof Tool (LW), pp. 491–510.
IFM-2002-AkbarpourDT #fixpoint #formal method: Formalization of Cadence SPW Fixed-Point Arithmetic in HOL (BA, AD, ST), pp. 185–204.
IFM-2002-JohnsenZOA #development #distributed #visual notation: Combining Graphical and Formal Development of Open Distributed Systems (EBJ, WZ, OO, DBA), pp. 319–338.
IFM-2002-XiongCTB: Formally Linking MDG and HOL Based on a Verified MDG System (HX, PC, ST, AB), pp. 205–224.
ICFP-2002-Moore #formal method #functional: Functional formal methods (JSM), p. 123.
ICGT-2002-Varro #semantics #uml: A Formal Semantics of UML Statecharts by Model Transition Systems (DV), pp. 378–392.
EDOC-2002-KoehlerTK #consistency #implementation #process #verification: From Business Process Model to Consistent Implementation: A Case for Formal Verification Methods (JK, GT, SK), p. 96–?.
SEKE-2002-ArandaM #design pattern #formal method #verification: A formal model for verifying compound design patterns (GNA, RM), pp. 213–214.
SEKE-2002-BryantBARO #assembly #component #generative #specification #two-level grammar #using: Formal specification of generative component assembly using two-level grammar (BRB, CCB, MA, RRR, AMO), pp. 209–212.
SEKE-2002-KhazaeiT #usability: Applying cognitive dimensions to evaluate and improve the usability of Z formalism (BK, ET), pp. 571–577.
SEKE-2002-NakkrasaeS #approach #classification #component #formal method #specification: A formal approach for specification and classification of software components (SN, PS), pp. 773–780.
ECOOP-2002-AnconaLZ #compilation #framework #java: A Formal Framework for Java Separate Compilation (DA, GL, EZ), pp. 609–636.
OOPSLA-2002-Pucella #calculus #formal method #towards: Towards a formalization for COM part i: the primitive calculus (RP), pp. 331–342.
TOOLS-USA-2002-PaigeKOL #automation #named #reasoning #specification: BON-CASE: An Extensible CASE Tool for Formal Specification and Reasoning (RFP, LK, JSO, JL), pp. 77–96.
POPL-2002-Manohar #design #scalability: Scalable formal design methods for asynchronous VLSI (RM), pp. 245–246.
RE-2002-DulacVLS #on the #requirements #specification #visualisation: On the Use of Visualization in Formal Requirements Specification (ND, TV, NGL, MADS), pp. 71–80.
SAC-2002-DascaluH #approach #specification: An approach to integrating semi-formal and formal notations in software specification (SD, PH), pp. 1014–1020.
SAC-2002-HoomanP #architecture #distributed #replication #verification: Formal verification of replication on a distributed data space architecture (JH, JvdP), pp. 351–358.
SAC-2002-LeeB #automation #documentation #object-oriented #requirements #specification: Automated conversion from requirements documentation to an object-oriented formal specification language (BSL, BRB), pp. 932–936.
ICSE-2002-ZimmermanLL #readability #requirements #specification: Investigating the readability of state-based formal requirements specification languages (MKZ, KL, NGL), pp. 33–43.
LCTES-SCOPES-2002-FengH #automation #verification: Automatic formal verification for scheduled VLIW code (XF, AJH), pp. 85–92.
CADE-2002-FordS #verification: Formal Verification of a Combination Decision Procedure (JF, NS), pp. 347–362.
CADE-2002-Strecker #compilation #java #verification: Formal Verification of a Java Compiler in Isabelle (MS), pp. 63–77.
CAV-2002-BinghamH #bound #model checking: Semi-formal Bounded Model Checking (JDB, AJH), pp. 280–294.
CAV-2002-Jacobi #model checking #pipes and filters #verification: Formal Verification of Complex Out-of-Order Pipelines by Combining Model-Checking and Theorem-Proving (CJ0), pp. 309–323.
LICS-2002-Cook #complexity #proving: Complexity Classes, Propositional Proof Systems, and Formal Theories (SAC), p. 311.
TestCom-2002-Ahtiainen #formal method #mobile #protocol #testing: Applying Formal Method in Mobile Protocol Testing (AA), p. 187–?.
VMCAI-2002-BartheDJS #virtual machine: A Formal Correspondence between Offensive and Defensive JavaCard Virtual Machines (GB, GD, LJ, SMdS), pp. 32–45.
CBSE-2001-Lau #certification #component #predict: Component Certification and System Prediction: Is There a Role for Formality (KKL), p. 16.
ASE-2001-HutterS #development #formal method #towards: Towards an Evolutionary Formal Software Development (DH, AS), pp. 417–420.
ASE-2001-JurjensW #protocol #testing: Formally Testing Fail-Safety of Electronic Purse Protocols (JJ, GW), pp. 408–411.
ASE-2001-Lee #automation #documentation #execution #requirements #specification: Automated Conversion from a Requirements Document to an Executable Formal Specification (BSL), p. 437.
ASE-2001-LegeardP #case study #functional #generative #industrial #sequence #testing: Generation of Functional Test Sequences from B Formal Specifications-Presentation and Industrial Case Study (BL, FP), pp. 377–381.
ASE-2001-Rayadurgam #automation #formal method #generative #modelling #testing: Automated Test-Data Generation from Formal Models of Software (SR), p. 438.
DAC-2001-DushinaBG #generative #testing: Semi-Formal Test Generation with Genevieve (JD, MB, DG), pp. 617–622.
DAC-2001-VelevB #effectiveness #satisfiability #verification: Effective Use of Boolean Satisfiability Procedures in the Formal Verification of Superscalar and VLIW Microprocessors (MNV, REB), pp. 226–231.
DAC-2001-WangHLKZMD #abstraction #hybrid #refinement #simulation #verification: Formal Property Verification by Abstraction Refinement with Formal, Simulation and Hybrid Engines (DW, PHH, JL, JHK, YZ, HKTM, RFD), pp. 35–40.
VLDB-2001-ChirkovaHS #formal method #problem: A Formal Perspective on the View Selection Problem (RC, AYH, DS), pp. 59–68.
FASE-J-1998-BradleyHKR01 #design #realtime: A formal design language for real-time systems with data (SB, WH, DK, AR), pp. 3–29.
ESOP-2001-BartheDJSS #execution #framework #semantics: A Formal Executable Semantics of the JavaCard Platform (GB, GD, LJ, BPS, SMdS), pp. 302–319.
FASE-2001-SharyginaBK #analysis #design #object-oriented #reliability #verification: A Formal Object-Oriented Analysis for Software Reliability: Design for Verification (NS, JCB, RPK), pp. 318–332.
FoSSaCS-2001-RocklHB #formal method #higher-order #induction #syntax #π-calculus: Higher-Order Abstract Syntax with Induction in Isabelle/HOL: Formalizing the π-Calculus and Mechanizing the Theory of Contexts (CR, DH, SB), pp. 364–378.
TACAS-2001-Velev #abstraction #automation #verification: Automatic Abstraction of Memories in the Formal Verification of Superscalar Microprocessors (MNV), pp. 252–267.
ICSM-2001-Mens #evolution #formal method #object-oriented: A Formal Foundation for Object-Oriented Software Evolution (TM), pp. 549–552.
IWPC-2001-GannodC #formal method #reverse engineering #tool support #using: A Suite of Tools for Facilitating Reverse Engineering Using Formal Methods (GCG, BHCC), pp. 221–232.
SCAM-2001-Ward #analysis #approach #source code: The Formal Transformation Approach to Source Code Analysis and Manipulation (MPW), pp. 187–195.
DLT-2001-DomaratzkiSY #formal method: Minimal Covers of Formal Languages (MD, JS, SY), pp. 319–329.
ICALP-2001-DrosteZ: Rational Transformations of Formal Power Series (MD, GQZ), pp. 555–566.
FME-2001-FloresMR #design pattern #formal method #object-oriented: A Formal Model of Object-Oriented Design and GoF Design Patterns (AF, RM, LR), pp. 223–241.
FME-2001-Jackson #formal method #lightweight: Lightweight Formal Methods (DJ), p. 1.
FME-2001-JohnsonR #modelling #specification: View Updatability Based on the Models of a Formal Specification (MJ, RDR), pp. 534–549.
FME-2001-LaurentMW #simulation #using #verification: Using Formal Verification Techniques to Reduce Simulation and Test Effort (OL, PM, VW), pp. 465–477.
FME-2001-VenkatasubramanianTA #adaptation #formal method #middleware #reasoning: A Formal Model for Reasoning about Adaptive QoS-Enabled Middleware (NV, CLT, GA), pp. 197–221.
AdaEurope-2001-Gaudel #approach #specification #testing: Testing from Formal Specifications, a Generic Approach (MCG), pp. 35–48.
AdaEurope-2001-Lamsweerde #modelling #reliability #requirements: Building Formal Requirements Models for Reliable Software (AvL), pp. 1–20.
EDOC-2001-JainCIR #approach #component #formal method #identification: Business Component Identification — A Formal Approach (HKJ, NC, NI, BR), pp. 183–187.
EDOC-2001-MarjanovicM #formal method #modelling #towards: Towards Formal Modeling of e-Contracts (OM, ZM), pp. 59–68.
ICEIS-v2-2001-Dawson #formal method #modelling #object-oriented #requirements: The Use of Formal and Informal Models in Object-Oriented Requirements Engineering (LD), pp. 753–760.
SEKE-2001-GruerHKC #analysis #design #framework #multi: A Formal Framework for Multi-Agent Systems Analysis and Design (PG, VH, AK, KC), pp. 276–282.
UML-2001-ApvrilleSLSC #design #realtime #uml #validation: A New UML Profile for Real-Time System Formal Design and Validation (LA, PdSS, CL, PS, JPC), pp. 287–301.
UML-2001-Beeck #formal method #uml: Formalization of UML-Statecharts (MvdB), pp. 406–421.
UML-2001-CengarleK #ocl #semantics: A Formal Semantics for OCL 1.4 (MVC, AK), pp. 118–133.
UML-2001-Kuske #graph transformation #semantics #state machine #uml: A Formal Semantics of UML State Machines Based on Structured Graph Transformation (SK), pp. 241–256.
UML-2001-LatronicoK #diagrams #embedded #formal method #representation #sequence chart: Representing Embedded System Sequence Diagrams as a Formal Language (EL, PK), pp. 302–316.
TOOLS-USA-2001-AlagarP #formal method #named #specification #transaction: BTOZ: A Formal Specification Language for Formalizing Business Transactions (VSA, KP), pp. 240–252.
RE-2001-ChengC #analysis #formal method #modelling #requirements: Integrating Informal and Formal Approaches to Requirements Modeling and Analysis (BHCC, LAC), pp. 294–295.
RE-2001-Jackson: Formalism and Informality in RE (MJ), p. 269.
SAC-2001-ChenW #specification #user interface #visual notation: A graphical user interface for executing formal specifications (XC, TW), pp. 648–652.
SAC-2001-ViroliMO #coordination #framework #on the #ontology #paradigm: On observation as a coordination paradigm: an ontology and a formal framework (MV, GM, AO), pp. 166–175.
SAC-2001-WahlsL #algorithm #concurrent #constraints #modelling #semantics #source code #specification: Formal semantics of an algorithm for translating model-based specifications to concurrent constraint programs (TW, GTL), pp. 567–575.
SAC-2001-XingS #formal method #interactive: Formalization of commitment-based agent interaction (JX, MPS), pp. 115–120.
ESEC-FSE-2001-BasinRV #corba #security: A formal data-model of the CORBA security service (DAB, FR, LV), pp. 303–304.
ESEC-FSE-2001-ConradiD #empirical #experience: An empirical study on the utility of formal routines to transfer knowledge and experience (RC, TD), pp. 268–276.
ESEC-FSE-2001-LavazzaQV #modelling #realtime #uml: Combining UML and formal notations for modelling real-time systems (LL, GQ, MV), pp. 196–206.
ESEC-FSE-2001-Wendorff #approach #assessment #formal method #information management #modelling: A formal approach to the assessment and improvement of terminological models used in information systems engineering (PW), pp. 83–87.
ICSE-2001-BerstelCRP #automation #design #formal method #scalability #user interface: A Scalable Formal Method for Design and Automatic Checking of User Interfaces (JB, SCR, GR, PSP), pp. 453–462.
ICSE-2001-Campbell #analysis #diagrams #uml #visualisation: Visualizaiton an Interpretation of Analysis Results within the Context of Formalized UML Diagrams (LAC), pp. 785–786.
ICSE-2001-McUmberC #formal method #framework #uml: A General Framework for Formalizing UML with Formal Languages (WEM, BHCC), pp. 433–442.
ICSE-2001-MenziesPH #analysis #diagrams #formal method #performance #requirements: Fast Formal Analysis of Requirements via “Topoi Diagrams” (TM, JDP, MEH), pp. 391–400.
ICSE-2001-RedondoA #incremental #process #reuse #specification: Reuse of Verificatino Efforts and Incomplete Specifications in a Formalized, Iterative and Incremental Software Process (RPDR, JJPA), pp. 801–802.
ICSE-2001-SitaramanLWHW #approach #component #education #evaluation #formal method #re-engineering: A Formal Approach to Component-Based Software Engineering: Education and Evaluation (MS, TJL, BWW, EJH, LW), pp. 601–609.
ICSE-2001-StirewaltD #analysis #approach #component #formal method #tool support: A Component-Based Approach to Building Formal Analysis Tools (KS, LKD), pp. 167–176.
CAV-2001-Bertot #formal method #proving #theorem proving #verification: Formalizing a JVML Verifier for Initialization in a Theorem Prover (YB), pp. 14–24.
IJCAR-2001-ReifST #detection #specification: Flaw Detection in Formal Specifications (WR, GS, AT), pp. 642–657.
ASE-2000-ChaudetO #algebra #architecture #evolution #named #process: pi-SPACE: A Formal Architecture Description Language Based on Process Algebra for Evolving Software Systems (CC, FO), pp. 245–248.
ASE-2000-MartinWTG #kernel: Formal Construction of the Mathematically Analyzed Separation Kernel (WM, PW, FST, AG), pp. 133–142.
DAC-2000-AagaardJKKS #algorithm #verification: Formal verification of iterative algorithms in microprocessors (MA, RBJ, RK, KRK, CJHS), pp. 201–206.
DAC-2000-CurrieHR #automation #verification: Automatic formal verification of DSP software (DWC, AJH, SPR), pp. 130–135.
DAC-2000-EisnerSHNNV #design #hardware #protocol: A methodology for formal design of hardware control with application to cache coherence protocols (CE, IS, RH, WGN, KLN, KV), pp. 724–729.
DAC-2000-GoelL #verification: Formal verification of an IBM CoreConnect processor local bus arbiter core (AG, WRL), pp. 196–200.
DAC-2000-VelevB #branch #exception #functional #multi #predict #verification: Formal verification of superscale microprocessors with multicycle functional units, exception, and branch prediction (MNV, REB), pp. 112–117.
DATE-2000-VermeulenCMV #embedded #reuse: Formalized Three-Layer System-Level Reuse Model and Methodology for Embedded Data-Dominated Applications (FV, FC, HDM, DV), pp. 92–98.
CSEET-2000-AbernethyKSKP #formal method #specification: Technology Transfer Issues for Formal Methods of Software Specification (KA, JCK, AEKS, JDK, JDP), pp. 23–31.
CSEET-2000-SobelSSH #education #formal method #re-engineering: Teaching Formal Methods Early in the Software Engineering Curriculum (panel) (AEKS, HS, AMS, PBH), p. 55–?.
CSEET-2000-Tremblay #formal method #question #re-engineering: Formal Methods: Mathematics, Computer Science, or Software Engineering? (GT), pp. 273–282.
ESOP-2000-Danvy #continuation #formal method #implementation: Formalizing Implementation Strategies for First-Class Continuations (OD), pp. 88–103.
FASE-2000-BalserRSST #development: Formal System Development with KIV (MB, WR, GS, KS, AT), pp. 363–366.
FASE-2000-DondossolaB #fault tolerance #formal method #specification: System Fault Tolerance Specification: Proposal of a Method Combining Semi-formal and Formal Approaches (GD, OB), pp. 82–96.
FASE-2000-EgyedM #approach #formal method #modelling: A Formal Approach to Heterogeneous Software Modeling (AE, NM), pp. 178–192.
FASE-2000-LuthW #development #tool support: More About TAS and IsaWin — Tools for Formal Program Development (CL, BW), pp. 367–370.
FASE-2000-Overgaard #metamodelling #object-oriented #specification: Formal Specification of Object-Oriented Meta-modelling (GÖ), pp. 193–207.
FASE-2000-ReggioACH #approach #formal method #lightweight #state machine #uml: Analysing UML Active Classes and Associated State Machines — A Lightweight Formal Approach (GR, EA, CC, HH), pp. 127–146.
FASE-2000-Wehrheim #automation #case study #formal method #specification #using: Specification of an Automatic Manufacturing System: A Case Study in Using Integrated Formal Methods (HW), pp. 334–348.
TACAS-2000-BraunLSS #consistency #formal method #integration: Consistent Integration of Formal Methods (PB, HL, BS, OS), pp. 48–62.
TACAS-2000-GnesiLLAAM #fault #specification #validation: A Formal Specification and Validation of a Critical System in Presence of Byzantine Errors (SG, DL, GL, CA, AMA, PM), pp. 535–549.
IWPC-2000-DeprezL: A Formalism to Automate Mapping from Program Features to Code (JCD, AL), pp. 69–78.
WCRE-2000-Ward #assembly #program transformation #reverse engineering #specification: Reverse Engineering from Assembler to Formal Specifications via Program Transformations (MPW), p. 11–?.
ICALP-2000-EngelsH #concept #evolution #framework #graph transformation #modelling: Graph Transformation as a Conceptual and Formal Framework for System Modeling and Model Evolution (GE, RH), pp. 127–150.
IFM-2000-Ameur #development #formal method #process: Cooperation of Formal Methods in an Engineering Based Software Development Process (YAA), pp. 136–155.
IFM-2000-FischerC #dependence #diagrams #formal method #verification: Formalizing Timing Diagrams as Causal Dependencies for Verification Purposes (JF, SC), pp. 45–60.
IFM-2000-Schulte #formal method #question #why: Why Doesn’t Anyone Use Formal Methods? (WS), pp. 297–298.
CAiSE-2000-KoubarakisP #design #formal method #modelling #process: A Formal Model for Business Process Modeling and Design (MK, DP), pp. 142–156.
ICEIS-2000-Laleau #database #formal method #on the #specification #uml: On the Interest of Combining UML with the B Formal Method for the Specification of Database Applications (RL), pp. 56–63.
OOPSLA-2000-BastidePSN #corba #experience #lessons learnt #specification: Formal specification of CORBA services: experience and lessons learned (RB, PAP, OS, DN), pp. 105–117.
OOPSLA-2000-QianGC #java #specification: A formal specification of Java^TM class loading (ZQ, AG, AC), pp. 325–336.
TOOLS-ASIA-2000-JiangLX #process #type system #uml: Embedding UML and Type Theory to Formalize the Process of Requirement Engineering (HJ, DL, XX), pp. 32–39.
TOOLS-ASIA-2000-MiaoYL #component: A Formalized Abstract Component Object Mode — Z-COM (HM, CY, LL), pp. 250–259.
LOPSTR-2000-AvelloneFF #framework #logic programming #source code #synthesis #verification: A formal framework for synthesis and verification of logic programs (AA, MF, CF).
LOPSTR-J-2000-AvelloneFF #framework #logic programming #source code #synthesis #verification: A Formal Framework for Synthesis and Verification of Logic Programs (AA, MF, CF), pp. 1–17.
ICRE-2000-Parnas #documentation #requirements #why: Requirements Documentation: Why a Formal Basis is Essential (DLP), pp. 81–84.
SAC-2000-CavarraRZ #formal method #parallel #semantics: A Formal Model for the Parallel Semantics of P3L (AC, ER, AZ), pp. 804–812.
SAC-2000-TrujilloPG #database #multi #object-oriented #specification: The GOLD Definition Language (GDL): An Object Oriented Formal Specification Language for Multidimensional Databases (JT, MP, JG), pp. 346–350.
FoSE-2000-Lamsweerde00a #roadmap #specification: Formal specification: a roadmap (AvL), pp. 147–159.
FSE-2000-BernardoCD #algebra #architecture #formal method #on the #process: On the formalization of architectural types with process algebras (MB, PC, LD), pp. 140–148.
ICSE-2000-Iosif #concurrent #java #verification: Formal verification applied to Java concurrent software (RI), pp. 707–709.
ICSE-2000-PradellaRMC #approach #corba #design #formal method: A formal approach for designing CORBA based applications (MP, MR, DM, ACP), pp. 188–197.
ICSE-2000-Whalen #code generation: High-integrity code generation for state-based formalisms (MWW), pp. 725–727.
CADE-2000-Gillard #calculus #concurrent #formal method: A Formalization of a Concurrent Object Calculus up to alpha-Conversion (GG), pp. 417–432.
CADE-2000-Harrison #proving #theorem proving #using #verification: High-Level Verification Using Theorem Proving and Formalized Mathematics (JH), pp. 1–6.
CAV-2000-AbarbanelBGKW #automation #generative #named #simulation #specification: FoCs: Automatic Generation of Simulation Checkers from Formal Specifications (YA, IB, LG, SK, YW), pp. 538–542.
CAV-2000-Meadows #analysis #encryption #formal method #protocol: Invited Address: Applying Formal Methods to Cryptographic Protocol Analysis (CM), p. 2.
CAV-2000-Velev #execution #verification: Formal Verification of VLIW Microprocessors with Speculative Execution (MNV), pp. 296–311.
CL-2000-BexMN #formal method: A Formal Model for an Expressive Fragment of XSLT (GJB, SM, FN), pp. 1137–1151.
CL-2000-NakamuraB #database #declarative #maintenance: Invariance, Maintenance, and Other Declarative Objectives of Triggers — A Formal Characterization of Active Databases (MN, CB), pp. 1210–1224.
ISSTA-2000-BhargavanGKLOSV #analysis #formal method #named #network #simulation: Verisim: Formal analysis of network simulations (KB, CAG, MK, IL, DO, OS, MV), pp. 2–13.
TestCom-2000-BousquetRSVBV #automation #protocol #testing: Formal Test Automation: The Conference Protocol with TGV/TORX (LdB, SR, SS, CV, AB, RGdV), pp. 221–228.
TestCom-2000-HeerinkFT #automation #protocol #testing: Formal Test Automation: The Conference Protocol with PHACT (LH, JF, JT), pp. 211–220.
ASE-1999-EmersonB #constraints #development #specification #synthesis: Development of a Constraint-Based Airlift Scheduler by Program Synthesis from Formal Specifications (TE, MHB), pp. 267–270.
ASE-1999-WeltyF #architecture #documentation #ontology: A Formal Ontology for Re-Use of Software Architecture Documents (CAW, DAF), pp. 259–262.
DAC-1999-VelevB #pipes and filters #similarity #verification: Exploiting Positive Equality and Partial Non-Consistency in the Formal Verification of Pipelined Microprocessors (MNV, REB), pp. 397–401.
DATE-1999-HendricxC: Formally Verified Redundancy Removal (SH, LJMC), p. 150–?.
DATE-1999-HorethD #specification #verification: Formal Verification of Word-Level Specifications (SH, RD), pp. 52–57.
DATE-1999-Sasaki #semantics #simulation #state machine: A Formal Semantics for Verilog-VHDL Simulation Interoperability by Abstact State Machine (HS), p. 353–?.
FASE-1999-AnconaCZ #framework: A Formal Framework with Late Binding (DA, MC, EZ), pp. 30–44.
FASE-1999-CosicaR #concurrent #named: JTN: A Java-Targeted Graphic Formal Notation for Reactive and Concurrent Systems (EC, GR), pp. 77–97.
ICSM-1999-ChuHLH #approach #design #formal method #reuse: A Semi-Formal Approach to Assist Software Design with Reuse (WCC, CPH, CWL, XH), pp. 256–264.
WCRE-1999-GannodC99a #approach #case study #formal method #reverse engineering: A Formal Approach for Reverse Engineering: A Case Study (GCG, BHCC), pp. 100–111.
SAS-1999-HatcliffCDSZ #concurrent #formal method #multi #slicing #source code #thread #virtual machine: A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives (JH, JCC, MBD, SS, HZ), pp. 1–18.
DLT-1999-Petre #on the: On semilinearity in formal power series (IP), pp. 220–231.
ICALP-1999-Miculan #calculus #formal method #induction #lazy evaluation #proving #μ-calculus: Formalizing a Lazy Substitution Proof System for μ-calculus in the Calculus of Inductive Constructions (MM), pp. 554–564.
FM-v1-1999-AlurEKKL #analysis #case study #coordination #formal method #hybrid #modelling #multi: Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination (RA, JME, MK, VK, IL), pp. 212–232.
FM-v1-1999-BurdonovKPG #automation #generative #named #specification #testing: KVEST: Automated Generation of Test Suites from Formal Specifications (IBB, AK, AP, DG), pp. 608–621.
FM-v1-1999-ConquetM #automation #design #testing: Formal Design for Automatic Coding and Testing: The ESSI/SPACES Project (EC, JLM), pp. 57–75.
FM-v1-1999-HerbertDRS #architecture #formal method: A Formalization of Software Architecture (JH, BD, RAR, VS), pp. 116–133.
FM-v1-1999-Jackson: The Role of Formalism in Method (MJ), p. 56.
FM-v1-1999-Liu #consistency #specification #testing #verification: Verifying Consistency and Validity of Formal Specifications by Testing (SL), pp. 896–914.
FM-v1-1999-LotzKW #hardware #security: A Formal Security Model for Microprocessor Hardware (VL, VK, GW), pp. 718–737.
FM-v1-1999-MatthewsL #database #development: Formal Development of Databases in ASSO and B (BM, EL), pp. 388–410.
FM-v1-1999-PaigeO #formal method: Developing BON as an Industrial-Strength Formal Method (RFP, JSO), pp. 834–853.
FM-v1-1999-Rushby #formal method #question: Mechanized Formal Methods: Where Next? (JMR), pp. 48–51.
FM-v1-1999-SabatierL #design #formal method #smarttech #transaction #validation: The Use of the B Formal Method for the Design and the Validation of the Transaction Mechanism for Smart Card Applications (DS, PL), pp. 348–368.
FM-v1-1999-SyversonS #formal method: Group Principals and the Formalization of Anonymity (PFS, SGS), pp. 814–833.
FM-v1-1999-WongC #case study #formal method #modelling: Formal Modeling in a Commercial Setting: A Case Study (AW, MC), pp. 590–607.
FM-v1-1999-ZhouC #analysis #communication #formal method #protocol: Formal Analysis of a Secure Communication Channel: Secure Core-Email Protocol (DZ, SKC), pp. 758–775.
FM-v2-1999-BoerHR #approach #concurrent #paradigm #semantics: Formal Justification of the Rely-Guarantee Paradigm for Shared-Variable Concurrency: A Semantic Approach (FSdB, UH, WPdR), pp. 1245–1265.
FM-v2-1999-ChaudronTW #design #formal method #lessons learnt: Lessons from the Application of Formal Methods to the Design of a Storm Surge Barrier Control System (MRVC, JT, KW), pp. 1511–1526.
FM-v2-1999-CimattiPSTV #communication #protocol #specification #validation: Formal Specification and Validation of a Vital Communication Protocol (AC, PLP, RS, PT, AV), pp. 1584–1604.
FM-v2-1999-ClavelDEMS #maude: Maude as a Formal Meta-tool (MC, FD, SE, JM, MOS), pp. 1684–1703.
FM-v2-1999-DunstanKML #formal method: Formal Methods for Extensions to CAS (MD, TK, UM, SL), pp. 1758–1777.
FM-v2-1999-HabriasPL #case study #collaboration #specification: A Study of Collaborative Work: Answers to a Test on Formal Specification in B (HH, PP, JYL), pp. 1856–1857.
FM-v2-1999-HaxthausenP #development #distributed #verification: Formal Development and Verification of a Distributed Railway Control System (AEH, JP), pp. 1546–1563.
FM-v2-1999-HorlA #communication #specification: Formal Specification of a Voice Communication System Used in Air Traffic Control (JH, BKA), p. 1868.
FM-v2-1999-HorsteS #formal method #modelling #petri net #simulation #using: Formal Modelling and Simulation of Train Control Systems Using Petri Nets (MMzH, ES), p. 1867.
FM-v2-1999-KnightFH #tool support: Tool Support for Production Use of Formal Techniques (JCK, PTF, BRH), p. 1854.
FM-v2-1999-Krieg-BrucknerPOB #development #formal method: The UniForM Workbench, a Universal Development Environment for Formal Methods (BKB, JP, ERO, AB), pp. 1186–1205.
FM-v2-1999-RandimbivololonaSBPRS #approach #proving: Applying Formal Proof Techniques to Avionics Software: A Pragmatic Approach (FR, JS, PB, AP, JR, DS), pp. 1798–1815.
FM-v2-1999-SchatzH: Integrating Formal Description Techniques (BS, FH), pp. 1206–1225.
FM-v2-1999-SereT #analysis #safety #specification: Safety Analysis in Formal Specification (KS, ET), pp. 1564–1583.
FM-v2-1999-SousaG #component #enterprise #formal method #framework #integration #modelling: Formal Modeling of the Enterprise JavaBeansTM Component Integration Framework (JPS, DG), pp. 1281–1300.
IFM-1999-Deiss #approach: An Approach to the Combination of Formal Description Techniques: Statecharts and TLA (TD), pp. 231–250.
IFM-1999-Fidge #behaviour #modelling: Modelling Discrete Behaviour in a Continuous-Time Formalism (CJF), pp. 170–188.
IFM-1999-PolHJ #behaviour #composition #specification: Modular Formal Specification of Data and Behaviour (JvdP, JH, EDdJ), pp. 109–128.
IFM-1999-ReedSG #deduction #development #formal method #model checking #reasoning: Deductive Reasoning versus Model Checking: Two Formal Approaches for System Development (JNR, JES, FG), pp. 375–394.
AGTIVE-1999-BaresiP #analysis #graph grammar #programmable: A Formal Definition of Stuctured Analysis with Programmable Graph Grammars (LB, MP), pp. 193–208.
AGTIVE-1999-Mens #evolution #graph grammar #independence: Conditional Graph Rewriting as a Domain-Independent Formalism for Software Evolution (TM), pp. 127–143.
AGTIVE-1999-Schleicher #formal method #graph transformation #modelling #process #uml #using: Formalizing UML-Based Process Models Using Graph Transformations (AS), pp. 341–357.
AGTIVE-1999-ZamperoniE #aspect-oriented #exclamation #experience #graph grammar #integration #re-engineering #term rewriting #using: Formal Integration of Software Engineering Aspects Using Graph Rewrite Systems — A Typical Experience?! (AZ, GE), pp. 359–367.
HCI-CCAD-1999-Puerta #formal method: Formalization as a path to universal accessibility (ARP), pp. 908–912.
HCI-CCAD-1999-Raikundalia #case study #distributed: Results of experiments in text-based, synchronous, distributed, formal electronic meetings (GKR), pp. 507–511.
AdaEurope-1999-LundqvistAM #ada #formal method: A Formal Model of the Ada Ravenscar Tasking Profile; Protected Objects (KL, LA, SM), pp. 12–25.
SIGAda-1999-GedelaSX #ada #concurrent #formal method #modelling: Formal modeling of synchronization methods for concurrent objects in Ada 95 (RKG, SMS, HX), pp. 211–220.
SIGAda-1999-LundqvistA #ada #formal method: A formal model of the Ada Ravenscar tasking profile; delay until (KL, LA), pp. 15–21.
UML-1999-KimC #diagrams #formal method #uml #using: Formalizing the UML Class Diagram Using Object-Z (SKK, DAC), pp. 83–98.
UML-1999-Knapp #interactive #semantics #uml: A Formal Semantics for UML Interactions (AK), pp. 116–130.
UML-1999-Overgaard #approach #formal method #modelling: A Formal Approach to Collaborations in the Unified Modeling Language (GÖ), pp. 99–115.
ECOOP-1999-BastideSP #corba #prototype #specification: Formal Specification and Prototyping of CORBA Systems (RB, OS, PAP), pp. 474–494.
OOPSLA-1999-FreundM #bytecode #framework #java #verification: A Formal Framework for the Java Bytecode Language and Verifier (SNF, JCM), pp. 147–166.
TOOLS-ASIA-1999-CheungCC #modelling #object-oriented #specification: Extending Formal Specification To Object-Oriented Models Through Level-View Structured Schemas (KSC, KOC, TYC), pp. 118–125.
TOOLS-ASIA-1999-WangLPZZ #approach #calculus #development #formal method #refinement: A Formal Software Development Approach Based on COOZ and Refinement Calculus (YW, BL, JP, MZ, GZ), pp. 261–266.
LOPSTR-1999-DucasseR #consistency #formal method #proving: Proof Obligations of the B Formal Method: Local Proofs Ensure Global Consistency (MD, LR), pp. 10–29.
RE-1999-WielsE #formal method #modelling #using: Formal Modeling of Space Shuttle Software Change Requests using SCR (VW, SME), pp. 114–122.
SAC-1999-LeavensWB #data flow #diagrams #semantics #specification: Formal Semantics for SA Style Data Flow Diagram Specification Languages (GTL, TW, ALB), pp. 526–532.
ESEC-FSE-1999-BrabermanF #automation #design #realtime #scheduling #verification: Verification of Real-Time Designs: Combining Scheduling Theory with Automatic Formal Verification (VAB, MF), pp. 494–510.
CADE-1999-Artemov #on the #proving #theorem proving #verification: On Explicit Reflection in Theorem Proving and Formal Verification (SNA), pp. 267–281.
CADE-1999-FeltyHR #abstraction #syntax #using: Formal Metatheory using Implicit Syntax, and an Application to Data Abstraction for Asynchronous Systems (APF, DJH, AR), pp. 237–251.
CADE-1999-Prost #analysis #formal method #system f: A formalization of Static Analyses in System F (FP), pp. 252–266.
CAV-1999-Brinksma #consistency #formal method #testing: Formal Methods for Conformance Testing: Theory Can Be Practical (EB), pp. 44–45.
IWTCS-1999-BelinfanteFVTGFMH #automation #empirical #testing: Formal Test Automation: A Simple Experiment (AB, JF, RGdV, JT, NG, LMGF, SM, LH), pp. 179–196.
IWTCS-1999-Willcock #syntax #towards: New Directions in ASN.1: Towards a Formal Notation for Transfer Syntax (CW), pp. 31–42.
RTA-1999-Otto #formal method #on the: On the Connections between Rewriting and Formal Language Theory (FO), pp. 332–355.
DAC-1998-Dill #simulation #verification #what: What’s Between Simulation and Formal Verification? (Extended Abstract) (DLD), pp. 328–329.
DAC-1998-WangAK #array #automation #evaluation #generative #using #verification: Automatic Generation of Assertions for Formal Verification of PowerPC Microprocessor Arrays Using Symbolic Trajectory Evaluation (LCW, MSA, NK), pp. 534–537.
DAC-1998-YoungMSTHN #design #embedded #java #refinement #specification #using: Design and Specification of Embedded Systems in Java Using Successive, Formal Refinement (JSY, JM, MS, AT, PNH, ARN), pp. 70–75.
DATE-1998-ChandramouliWS #analysis #functional #named: AFTA: A Formal Delay Model for Functional Timing Analysis (VC, JW, KAS), pp. 350–355.
DATE-1998-HedrichB #approach #formal method #linear #parametricity #verification: A Formal Approach to Verification of Linear Analog Circuits with Parameter Tolerances (LH, EB), pp. 649–654.
DATE-1998-HsiehL #abstraction #verification: Model Abstraction for Formal Verification (YWH, SPL), pp. 140–147.
DATE-1998-Kazmierski: A Formal Description of VHDL-AMS Analogue Systems (TJK), pp. 916–920.
DATE-1998-MendiasH #formal method #perspective #synthesis: Correct High-Level Synthesis: a Formal Perspective (JMM, RH), pp. 977–978.
DATE-1998-ReetzSK #hardware #specification #verification: Formal Specification in VHDL for Hardware Verification (RR, KS, TK), pp. 257–263.
DATE-1998-Rosenstiel #design #industrial #standard #verification: Formal Verification: A New Standard CAD Tool for the Industrial Design Flow (WR), p. 422.
HT-1998-PauloTOM #formal method #hypermedia #named #specification: XHMBS: A Formal Model to Support Hypermedia Specification (FBP, MAST, MCFdO, PCM), pp. 161–170.
FASE-1998-Dubois #formal method #named #requirements #tool support: ALBERT: A Formal Language and Its Supporting Tools for Requirements Engineering (ED), pp. 322–325.
FASE-1998-ReedJDR #analysis #automation #formal method #modelling #network: Automated Formal Analysis of Networks: FDR Models of Arbitrary Topologies and Flow-Control Mechanisms (JNR, DMJ, BD, GMR), pp. 239–254.
FASE-1998-Sucrow #graph grammar #interactive #specification: Refining Formal Specifications of Human Computer Interaction by Graph Rewrite Rules (BS), pp. 302–317.
TACAS-1998-Bryant #pipes and filters #verification: Formal Verification of Pipelined Processors (REB), pp. 1–4.
TACAS-1998-LindahlPY #analysis #design: Formal Design and Analysis of a Gear Controller (ML, PP, WY), pp. 281–297.
TACAS-1998-RegensburgerB #mobile #verification: Formal Verification of SDL Systems at the Siemens Mobile Phone Department (FR, AB), pp. 439–455.
WRLA-1998-Borovansky #implementation: Controlling rewriting: study and implementation of a strategy formalism (PB), pp. 299–310.
CSMR-1998-Kleuker #distributed #formal method #re-engineering #using: Reengineering of Distributed Systems Using Formal Methods (SK), pp. 189–192.
FM-1998-AgerholmL #approach #formal method #lightweight: A Lightweight Approach to Formal Methods (SA, PGL), pp. 168–183.
FM-1998-AgerholmL98a #formal method #lightweight #tool support: The IFAD VDM Tools: Lightweight Formal Methods (SA, PGL), pp. 326–329.
FM-1998-BroyS #development #formal method #process: Enriching the Software Development Process by Formal Methods (MB, OS), pp. 44–61.
FM-1998-FujitaRH #case study #experience #parallel #protocol #verification: Two Real Formal Verification Experiences: ATM Switch Chip and Parallel Cache Protocol (MF, SPR, AJH), pp. 281–295.
FM-1998-GeserK #verification: Structured Formal Verification of a Fragment of the IBM S/390 Clock Chip (AG, WK), pp. 92–106.
FM-1998-HutterMRSWBRSS #complexity #formal method #named: VSE: Controlling the Complexity in Formal Software Developments (DH, HM, GR, WS, AW, MB, WR, GS, KS), pp. 351–358.
FM-1998-KoobUW #formal method #modelling #policy #process #security #topic #using: The New Topicality of Using Formal Models of Security Policy within the Security Engineering Process (FK, MU, SW), pp. 302–310.
FM-1998-Krieg-Bruckner #formal method: UniForM Perspectives for Formal Methods (BKB), pp. 251–265.
FM-1998-MeulenC #formal method #specification: Formal Methods in the Specification of the Emergency Closing System of the Eastern Scheldt Storm Surge Barrier (MvdM, TC), pp. 296–301.
FM-1998-PuitgD #development #geometry #modelling: Formal Program Development in Geometric Modeling (FP, JFD), pp. 62–76.
TAGT-1998-Hrischuk #automation #graph grammar #process #using: A Model Making Automation Process (MMAP) Using a Graph Grammar Formalism (CEH), pp. 442–454.
CAiSE-1998-Dahchour #approach #formal method #using: Formalizing Materialization Using a Metaclass Approach (MD), pp. 401–421.
KR-1998-Kamps #automation #formal method #reasoning #tool support #using: Formal Theory Building Using Automated Reasoning Tools (JK), pp. 478–487.
UML-1998-EvansFLR #formal method #modelling #uml: The UML as a Formal Modeling Notation (AE, RBF, KL, BR), pp. 336–348.
UML-1998-KleppeWC #constraints #metamodelling #ocl #uml: Informal Formality? The Object Constraint Language and Its Application in the UML Metamodel (AK, JW, SC), pp. 148–161.
UML-1998-Morand #modelling #named #question: Modeling: Is it Turning Informal into Formal? (BM), pp. 37–48.
UML-1998-OvergaardP #approach #case study #formal method: A Formal Approach to Use Cases and Their Relationships (GÖ, KP), pp. 406–418.
TOOLS-USA-1998-Periyasamy #object-oriented #specification: Object-Oriented Formal Specifications (KP), p. 428–?.
FSE-1998-AllenG #analysis #component #formal method #integration #modelling #standard: Formal Modeling and Analysis of the HLA Component Integration Standard (RA, DG), pp. 70–79.
FSE-1998-KrishnamurthiF #formal method #towards: Toward a Formal Theory of Extensible Software (SK, MF), pp. 88–98.
ICSE-1998-Mikkonen #design pattern #formal method: Formalizing Design Patterns (TM), pp. 115–124.
CADE-1998-Pnueli #deduction #verification: Deductive vs. Model-Theoretic Approaches to Formal Verification (Abstract of Invited Talk) (AP), p. 301.
CAV-1998-Bolignano #encryption #model checking #protocol #verification: Integrating Proof-Based and Model-Checking Techniques for the Formal Verification of Cryptographic Protocols (DB), pp. 77–87.
CAV-1998-CourturierM #empirical #formal method #using: An Experiment in Parallelizing an Application Using Formal Methods (RC, DM), pp. 345–356.
CAV-1998-Cuellar #formal method #industrial: Formal Methods in an Industrial Environment (JC), pp. 57–60.
CAV-1998-HoffmanP #experience #formal method: A Formal Method Experience at Secure Computing Corporation (JH, CP), pp. 49–56.
CAV-1998-NalumasuGMG #approach #memory management #model checking #modelling #multi #verification: The “Test Model-Checking” Approach to the Verification of Formal Memory Models of Multiprocessors (RN, RG, AM, GG), pp. 464–476.
CAV-1998-SkakkebaekJD #execution #incremental #using #verification: Formal Verification of Out-of-Order Execution Using Incremental Flushing (JUS, RBJ, DLD), pp. 98–109.
ASE-1997-BlazyF #development #formal method #maintenance: Application of Formal Methods to the Development of a Software Maintenance Tool (SB, PF), pp. 162–171.
ASE-1997-GannodC #approach #automation #pointer #reverse engineering #source code: A Formal Automated Approach for Reverse Engineering Programs with Pointers (GCG, BHCC), pp. 219–226.
ASE-1997-GoguenLMRS #distributed #formal method #tool support: Distributed Cooperative Formal Methods Tools (JAG, KL, AM, GR, AS), pp. 55–62.
ASE-1997-PunshonTSF #case study #natural language #specification: From Formal Specifications to Natural Language: A Case Study (JMP, JPT, PGS, PSF), pp. 309–310.
ASE-1997-Sucrow #graph grammar #human-computer #interactive #specification: Formal Specification of Human-Computer Interaction by Graph Grammars under Consideration of Information Resources (BS), pp. 28–35.
ASE-1997-WilliamsonH #design #specification: Formally Specifying Engineering Design Rationale (KEW, MH), pp. 317–318.
DAC-1997-GuptaMA #formal method #simulation #towards #using #validation: Toward Formalizing a Validation Methodology Using Simulation Coverage (AG, SM, PA), pp. 740–745.
DAC-1997-JangQKP #case study #verification: Formal Verification of FIRE: A Case Study (JYJ, SQ, MK, CP), pp. 173–177.
DAC-1997-Kurshan #verification: Formal Verification in a Commercial Setting (RPK), pp. 258–262.
DAC-1997-NelsonJB #execution #verification: Formal Verification of a Superscalar Execution Unit (KLN, AJ, REB), pp. 161–166.
DAC-1997-PandeyRBA #evaluation #using #verification: Formal Verification of Content Addressable Memories Using Symbolic Trajectory Evaluation (MP, RR, REB, MSA), pp. 167–172.
EDTC-1997-HendricxC #approach #verification: A symbolic core approach to the formal verification of integrated mixed-mode applications (SH, LJMC), pp. 432–436.
PODS-1997-MendelzonM #formal method #modelling #query #web: Formal Models of Web Queries (AOM, TM), pp. 134–143.
ITiCSE-WGR-1997-DagdilelisS #programming #using: Using Emil Post’s machine for an introduction to formal programming (poster) (VD, MS), p. 147.
TACAS-1997-Boulton #reasoning: A Tool to Support Formal Reasoning about Computer Languages (RJB), pp. 81–95.
TACAS-1997-PhilippsS #verification: Formal Verification of Statecharts with Instantaneous Chain Reaction (JP, PS), pp. 224–238.
CSMR-1997-Lowe #formal method: Formal Methods (ML), p. 43.
WCRE-1997-Balmas #concept #framework #source code #towards: Toward a Framework for Conceptual and Formal Outlines of Programs (FB), pp. 226–235.
ICSM-2000-YoungerBL #concurrent #refinement #source code: A Formal Transformation and Refinement Method for Concurrent Programs (EJY, KHB, ZL), p. 287–?.
DLT-1997-IkedaA #complexity #on the: On the Complexity of Languages Definable by Hereditary Elementary Formal Systems (DI, HA), pp. 223–235.
DLT-1997-Kuich97a: Formal Power Series over Trees (WK), pp. 61–101.
ICALP-1997-DrosteG #on the: On Recognizable and Rational Formal Power Series in Partially Commuting Variables (MD, PG), pp. 682–692.
FME-1997-DevauchelleLV #named #specification: PICGAL: Practical Use of Formal Specification to Develop a Complex Critical System (LD, PGL, HV), pp. 221–236.
FME-1997-DoldHPR #optimisation #verification: Formal Verification of Transformations for Peephole Optimization (AD, FWvH, HP, HR), pp. 459–472.
FME-1997-Gregoire #protocol #proving #using: TLA + PROMELA: Conjecture, Check, Proof, Engineering New Protocols Using Methods and Formal Notations (JCG), pp. 378–397.
FME-1997-Kleuker #diagrams #distributed #formal method #requirements: Formalizing Requirements for Distributed Systems with Trace Diagrams (SK), pp. 102–121.
FME-1997-MichelW #composition #framework #specification #verification: A Framework for Modular Formal Specification and Verification (PM, VW), pp. 533–552.
FME-1997-Paige #formal method #integration: A Meta-Method for Formal Method Integration (RFP), pp. 473–494.
FME-1997-ReggioL #specification: A Graphic Notation for Formal Specifications of Dynamic Systems (GR, ML), pp. 40–61.
ICFP-1997-UngureanuG #distributed #formal method #memory management #modelling: Formal Models of Distributed Memory Management (CU, BG), pp. 280–291.
CHI-1997-Muller #analysis #collaboration #human-computer: Translation in HCI: Formal Representations for Work Analysis and Collaboration (MJM), pp. 544–545.
HCI-SEC-1997-Ntuen #formal method: A Formal Method for Deriving Command Production Language from Human Intents (CAN), pp. 257–260.
HCI-SEC-1997-Stary97a #interactive #modelling #question #specification: The Role of Interaction Modeling in Future Cognitive Ergonomics: Do Interaction Models Lead to Formal Specification of Involved Machine Intelligence? (CS), pp. 91–94.
CAiSE-1997-PastorIPRM #formal method #named #object-oriented: OO-METHOD: An OO Software Production Environment Combining Conventional and Formal Methods (OP, EI, VP, JRR, JM), pp. 145–158.
CAiSE-1997-WieringaDH #requirements: Integrating Semi-formal and Formal Requirements (RW, ED, SH), pp. 19–32.
UML-1997-SchurrW #concept #uml: Formal Definition of UML’s Package Concept (AS, AJW), pp. 144–159.
ECOOP-1997-BreuHHKPRT #formal method #modelling #towards: Towards a Formalization of the Unified Modeling Language (RB, UH, CH, CK, BP, BR, VT), pp. 344–366.
TOOLS-ASIA-1997-MisicM #approach #metamodelling #metric #object-oriented: From Formal Metamodels to Metrics: An Object-Oriented Approach (VBM, SM), pp. 330–339.
TOOLS-ASIA-1997-NguyenD #approach #modelling #object-oriented: A Practical Formally-Based Approach to Object-Oriented Modeling of Control Systems (KN, TSD), pp. 404–415.
TOOLS-ASIA-1997-Zhang #development #finite #generative #specification: Finite Model Generation and Formal Specification Development (JZ0), pp. 350–355.
TOOLS-PACIFIC-1997-Hoffman #analysis #object-oriented: A Practical Notation for Object Oriented Analysis with a Formal Meaning (JH), pp. 225–237.
TOOLS-PACIFIC-1997-LakosL #java #specification #using: Animating Formal Specifications Using Java Applets (CL, GL), pp. 196–209.
TOOLS-PACIFIC-1997-Sellers #formal method #modelling #towards: Towards the Formalization of Relationships for Object Modeling (BHS), pp. 267–285.
PLILP-1997-JanousekM #lr: Formal Translations Described by Translation Grammars with LR(k) Input Grammars (JJ, BM), pp. 421–422.
RE-1997-BoisDZ #on the #problem: On the Use of a Formal R. E. Language — The Generalized Railroad Crossing Problem (PDB, ED, JMZ), p. 128–?.
RE-1997-EasterbrookC #experience #formal method #specification: Formal Methods for V&V of Partial Specifications: An Experience RSeport (SME, JRC), pp. 160–168.
RE-1997-Liu #industrial #named: SOFL: A Formal Engineering Methodology for Industrial Applications (SL), p. 41.
SAC-1997-CoppaNT #formal method #representation: A formal model for the discrete representation of spatial objects (FC, EN, MT), pp. 144–151.
ESEC-FSE-1997-DiniBM #architecture #experience #formal method #industrial: Formalizing Software Architectures: An Industrial Experience (PD, AB, WLM), pp. 527–529.
ICSE-1997-BaresiOP #industrial #specification: Introducing Formal Specification Methods in Industrial Practice (LB, AO, MP), pp. 56–66.
ICSE-1997-FischerL #formal method #multi #tutorial: Formal Methods for Broadband and Multimedia Systems (Tutorial) (SF, SL), pp. 665–666.
ICSE-1997-HeitmeyerKL #requirements #specification #tool support #validation #verification: The SCR Method for Formally Specifying, Verifying, and Validating Requirements: Tool Support (CLH, JK, BGL), pp. 610–611.
ICSE-1997-JacquotQ #approach #formal method #interface #specification #towards: Early Specification of User-Interfaces: Toward a Formal Approach (JPJ, DQ), pp. 150–160.
ICSE-1997-PezzeY #analysis #modelling #multi #semantics #tool support #using: Constructing Multi-Formalism State-Space Analysis Tools: Using Rules to Specify Dynamic Semantics of Models (MP, MY), pp. 239–249.
ICSE-1997-PodorizhnyO #case study #comparison #design #experience #modelling: The Criticality of Modeling Formalisms in Software Design Method Comparison: Experience Report (RMP, LJO), pp. 303–313.
ICSE-1997-SullivanSM #architecture #formal method #standard #using: Using Formal Methods to Reason about Architectural Standards (KJS, JS, MM), pp. 503–513.
ICSE-1997-WangRC #formal method: Formalizing and Integrating the Dynamic Model within OMT (EYW, HAR, BHCC), pp. 45–55.
ASF+SDF-1997-AnlauffKP #aspect-oriented #development: Formal aspects of and development environments for Montages (MA, PWK, AP), p. 1.
CAV-1997-CamposCM #approach #realtime #verification: The Verus Tool: A Quantitative Approach to the Formal Verification of Real-Time Systems (SVAC, EMC, MM), pp. 452–455.
CAV-1997-Hughes #approach #verification: Formal Verification of Digital Systems, from ASICs to HW/SW Codesign — a Pragmatic Approach (RBH), pp. 3–6.
CAV-1997-Marschner #challenge #industrial #tool support #verification: Practical Challenges for Industrial Formal Verification Tools (FEM), pp. 1–2.
CAV-1997-Rowe #case study #verification: Formal Verification — Applications & Case Studies (MR), p. 11.
CAV-1997-YuanSAA #on the #verification: On Combining Formal and Informal Verification (JY, JS, JAA, AA), pp. 376–387.
DAC-1996-BalarinHJLS #embedded #network #verification: Formal Verification of Embedded Systems based on CFSM Networks (FB, HH, AJ, LL, ALSV), pp. 568–571.
DAC-1996-BeerBEL #named #verification: RuleBase: An Industry-Oriented Formal Verification Tool (IB, SBD, CE, AL), pp. 655–660.
DAC-1996-Eiriksson #design #verification: Integrating Formal Verification Methods with A Conventional Project Design Flow (ÁTE), pp. 666–671.
DAC-1996-LevittO #pipes and filters #scalability #verification: A Scalable Formal Verification Methodology for Pipelined Microprocessors (JRL, KO), pp. 558–563.
DAC-1996-PandeyRBB #array #evaluation #using #verification: Formal Verification of PowerPC Arrays Using Symbolic Trajectory Evaluation (MP, RR, DLB, REB), pp. 649–654.
KBSE-1996-Jullig #composition #named #tutorial: SPECWARE: Formal Support for Software Composition (Tutorial) (RJ), p. 2.
KBSE-1996-Ledru #specification: Complementing semi-formal specifications with Z (YL), p. 10.
RWLW-1996-WirsingK #approach #formal method #object-oriented #re-engineering: A formal approach to object-oriented software engineering (MW, AK), pp. 322–360.
TACAS-1996-ChouP #model checking #partial order #reduction #verification: Formal Verification of a Partial-Order Reduction Technique for Model Checking (CTC, DP), pp. 241–257.
ICSM-1996-ChuYL #formal method #maintenance: A Formal Method for Software Maintenance (WCC, HY, PL), pp. 206–216.
ICSM-1996-GannodC #c #reverse engineering #source code #using: Using Informal and Formal Techniques for the Reverse Engineering of C Programs (GCG, BHCC), pp. 265–274.
ICSM-1996-MortimerB #abstraction #maintenance #using: Maintenance and abstraction of program data using formal transformations (REM, KHB), p. 301–?.
ICSM-1996-YoungerLBB #analysis #concurrent #formal method #modelling #reverse engineering #source code #using: Reverse Engineering Concurrent Programs using Formal Modelling and Analysis (EJY, ZL, KHB, TMB), pp. 255–264.
WCRE-1996-GannodC #c #reverse engineering #source code #using: Using Informal and Formal Techniques for the Reverse Engineering of C Programs (GCG, BHCC), pp. 249–258.
WCRE-1996-YoungerLBB #analysis #concurrent #formal method #modelling #reverse engineering #source code #using: Reverse Engineering Concurrent Programs Using Formal Modelling and Analysis (EJY, ZL, KHB, TMB), pp. 239–248.
WPC-1996-AlencarCKL #approach #comprehension #design pattern: A Formal Architectural Design Patterns-Based Approach to Software Understanding (PSCA, DDC, TK, CJPdL), pp. 154–163.
WPC-1996-Graham #testing #tool support #visualisation: A Method for The Formal Testing of Program Visualization Tools (TCNG), pp. 45–54.
ICALP-1996-CowenFK #framework #heuristic #source code: A Formal Framework for Evaluating Heuristic Programs (LC, JF, SK), pp. 634–645.
WIA-1996-Rodger #formal method #programming #tool support: Integrating Hands-on Work into the Formal Languages Course via Tools and Programming (SHR), pp. 132–148.
FME-1996-AlencarL #approach #design pattern #formal method: A Formal Approach to Architectural Design Patterns (PSCA, DDC, CJPdL), pp. 576–594.
FME-1996-ArnoldBR #debugging #embedded #formal method: An Example of Use of Formal Methods to Debug an Embedded Software (AA, DB, JPR), pp. 649–661.
FME-1996-BicarreguiDW #analysis #formal method: Quantitative Analysis of an Application of Formal Methods (JB, JD, EW), pp. 60–73.
FME-1996-BrookesFL #case study #comparative #component #specification: Formal and Informal Specifications of a Secure System Component: Final Results in a Comparative Study (TMB, JSF, PGL), pp. 214–227.
FME-1996-GroenboomSRL #case study #formal method #specification: Formalizing Anaesthesia: a case study in formal specification (RG, ES, ER, GRRdL), pp. 120–139.
FME-1996-KannikeswaranRFAW #algorithm #specification #verification: Formal Specification and Verification of the pGVT Algorithm (BK, RR, PF, PA, PAW), pp. 405–424.
FME-1996-MartinsH #evaluation #performance #specification: A New System Engineering Methodology Coupling Formal Specification and Performance Evaluation (JJM, JPH), pp. 140–159.
FME-1996-Sivertsen #case study #development #safety: A Case Study on the Formal Development of a Reactor Safety System (TS), pp. 18–38.
FME-1996-Vito #formal method #navigation #requirements: Formalizing New Navigation Requirements for NASA’s Space Shuttle (BLDV), pp. 160–178.
AdaEurope-1996-FletcherS #framework #object-oriented #specification #testing #using: A Framework for Testing Object-Oriented Software Using Formal Specifications (RF, ASMS), pp. 159–170.
TRI-Ada-1996-YuEM #ada #object-oriented #reuse #specification: Object Oriented Formal Specifications to Support Ada 95 Reuse (HY, ACE, JM), pp. 125–131.
CAiSE-1996-BatesBFL #analysis #formal method #guidelines #object-oriented: Guidelines for Formalizing Fusion Object-Oriented Analysis Methods (BWB, JMB, RBF, MMLP), pp. 222–233.
ICPR-1996-Bobrowski #classification #learning #set: Piecewise-linear classifiers, formal neurons and separability of the learning sets (LB), pp. 224–228.
KR-1996-CadoliDLS #information management #performance #representation: Comparing Space Efficiency of Propositional Knowledge Representation Formalisms (MC, FMD, PL, MS), pp. 364–373.
KR-1996-Gottlob #complexity #power of: Complexity and Expressive Power of KR Formalisms (Invited Talk Abstract) (GG), pp. 647–649.
SEKE-1996-Balmas96a #formal method #named #programming #source code: PRISME: Formalizing Programming Strategies as a Way to Understand Programs (FB), pp. 361–368.
SEKE-1996-CiancariniCM #analysis #requirements #testing: Engineering Formal Requirements: Analysis and Testing (PC, SC, CM), pp. 385–392.
SEKE-1996-DengDAE #architecture #distributed #modelling #realtime: A Formalism for Architectural Modeling of Distributed Real-Time Systems (YD, WD, PCA, ME), pp. 408–417.
SEKE-1996-LiaoCSC #object-oriented #source code #specification #testing: Testing Object-Oriented Programs Based on Usage Profiles and Formal Specifications (SSL, KHC, SBS, CYC), pp. 9–16.
SEKE-1996-ZengTW #specification #testing #verification: Verification Criterion Directed Testing for Formal Specifications (ZZ, JJPT, TJW), pp. 393–399.
OOPSLA-1996-KlarlundKS #constraints #design: Formal Design Constraints (NK, JK, MIS), pp. 370–383.
PLILP-1996-Mateos-LagoR #algebra #inheritance #specification: GOTA Algebras: A Specification Formalism for Inheritance and Object Hierarchies (JML, MRA), pp. 62–76.
ICRE-1996-Cheng #formal method #how #question #requirements: Where and How do Formal Methods Fit in Requirements Engineering? (BHCC), pp. 154–156.
ICRE-1996-Goguen #requirements: Formality and Informality in Requirements Engineering (JAG), pp. 102–109.
ICRE-1996-LeathrumL #approach #formal method #requirements #standard #testing: A formal approach to requirements based testing in open systems standards (JFL, KAL), pp. 94–101.
FSE-1996-DarimontL #refinement #requirements: Formal Refinement Patterns for Goal-Driven Requirements Elaboration (RD, AvL), pp. 179–190.
ICSE-1996-Hoare #how #proving #reliability: The Role of Formal Techniques: Past, Current and Future or How Did Software Get so Reliable without Proof? (Extended Abstract) (CARH), pp. 233–234.
CADE-1996-Ruess #deduction #framework: Reflection of Formal Tactics in a Deductive Reflection Framework (HR), pp. 628–642.
CAV-1996-Rushby #automation #deduction #formal method: Automated Deduction and Formal Methods (JMR), pp. 169–183.
ISSTA-1996-BarjaktarovicCJ #functional #kernel #protocol #specification #using #verification: Formal Specification and Verification of the Kernel Functional Unit of the OSI Session Layer Protocol and Service Using CCS (MB, SKC, KJ), pp. 270–279.
ISSTA-1996-CrowleyLL #automation #formal method #testing: Issues in the Full Scale Use of Formal Methods for Automated Testing (JLC, JFL, KAL), pp. 71–78.
ISSTA-1996-GodefroidPS #concurrent #industrial #partial order #source code #using #validation: Using Partial-Order Methods in the Formal Validation of Industrial Concurrent Programs (PG, DP, MGS), pp. 261–269.
ISSTA-1996-PezzeY #analysis #generative #multi #tool support: Generation of Multi-Formalism State-Space Analysis Tools (MP, MY), pp. 172–179.
JICSLP-1996-SchwitterF: Attempto Controlled English (ACE) A Seemingly Informal Bridgehead in Formal Territory (Poster Abstract) (RS, NEF), p. 536.
ICDAR-v1-1995-CherietSS #documentation #formal method: A formal model for document processing of business forms (MC, JNS, CYS), pp. 210–213.
VLDB-1995-AmmannJR #formal method #semantics #transaction #using: Using Formal Methods to Reason about Semantics-Based Decompositions of Transactions (PA, SJ, IR), pp. 218–227.
CSEE-1995-FranceL #comprehension #requirements #specification: Understanding the Role of Formal Specification Techniques in Requirements Engineering (RBF, MMLP), pp. 207–221.
WCRE-1995-GannodC #reverse engineering #semantics: Strongest Postcondition Semantics as the Formal Basis for Reverse Engineering (GCG, BHCC).
WCRE-1995-TjandraB #representation #reuse: Formal Representation of Reusable Software Modules (IAT, GB), pp. 198–202.
FPCA-1995-CousotC #abstract interpretation #constraints #formal method #program analysis: Formal Language, Grammar and Set-Constraint-Based Program Analysis by Abstract Interpretation (PC, RC), pp. 170–181.
CAiSE-1995-ViehstaedtM #formal method #representation #visual notation: Graphical Representation and Manipulation of Complex Structures Based on a Formal Model (GV, MM), pp. 243–254.
CIKM-1995-BuvacF #declarative #formal method: A Declarative Formalization of Knowledge Translation (SB, RF), pp. 340–347.
SEKE-1995-Ait-AmeurBGPP #metaprogramming #specification: Formal Specification and Metaprogramming in the EXPRESS Language (YAA, FB, PG, GP, JCP), pp. 181–188.
SEKE-1995-CiacciaCP #design #requirements: From Formal Requirements to Formal Design (PC, PC, WP), pp. 23–30.
SEKE-1995-He #formal method #petri net: PZ Nets- A Formal Method Integrating Petri Nets with Z (XH), pp. 173–180.
SEKE-1995-Lin #protocol #verification: Formal Verification of the File Transfer Protocol (FL), pp. 117–122.
SEKE-1995-LinL #message passing #model checking #protocol #verification: Formal Verification of a Message-Passing Protocol with Model Checking (AL, FL), pp. 296–302.
SEKE-1995-Patsouris #approach #framework #information management #object-oriented #representation: A Unified Framework for Knowledge Representation: A Formal Object-Oriented Approach (PAP), pp. 131–135.
SEKE-1995-Pons #object-oriented #semantics: Formal Semantics for Object Oriented Systems (CP), pp. 87–94.
ECOOP-1995-ArditiC #framework #object-oriented #verification: An Object-Oriented Framework for the Formal Verification of Processors (LA, HC), pp. 215–234.
OOPSLA-1995-AllenC #scheduling #statechart: Extending the Statechart Formalism: Event Scheduling & Disposition (AA, DdC), pp. 1–16.
POPL-1995-BaileyD #formal method: A Formal Model of Procedure Calling Conventions (MWB, JWD), pp. 298–310.
RE-1995-BustardL #analysis #formal method #modelling: Enhancing soft systems analysis with formal modelling (DWB, PJL), pp. 164–171.
ESEC-1995-Coen-PorisiniKM #framework #proving: A Formal Framework for ASTRAL Inter-level Proof Obligations (ACP, RAK, DM), pp. 90–108.
ESEC-1995-GaskellP #ambiguity #analysis #execution #semantics: A Structured Analysis Formalism with Execution Semantics to Allow Unambiguous Model Interpretation (CG, RP), pp. 235–253.
ESEC-1995-Glinz #formal method: An Integrated Formal Model of Scenarios Based on Statecharts (MG), pp. 254–271.
ESEC-1995-HeiselSZ #architecture #development #formal method #tool support: Tool Support for Formal Software Development: A Generic Architecture (MH, TS, DZ), pp. 272–293.
FSE-1995-FiadeiroM #composition #reuse: Interconnecting Formalisms: Supporting Modularity, Reuse and Incrementality (JLF, TSEM), pp. 72–80.
FSE-1995-KaplanW #formal method: Formalization and Application of a Unifying Model for Name Management (AK, JCW), pp. 161–172.
ICSE-1995-Janicki #semantics #towards: Towards a Formal Semantics of Parnas Tables (RJ), pp. 231–240.
ASF+SDF-1995-Visser #product line #syntax: A Family of Syntax Definition Formalisms (EV), pp. 89–126.
CAV-1995-EirikssonM #analysis #case study #design #using #verification: Using Formal Verification/Analysis Methods on the Critical Path in System Design: A Case Study (ÁTE, KLM), pp. 367–380.
ILPS-1995-LauO #approach #constraints #deduction #formal method #logic programming #source code #synthesis: A Formal Approach to Deductive Synthesis of Constraint Logic Programs (KKL, MO), pp. 543–557.
TLCA-1995-BellucciAC #morphism #parametricity #polymorphism: A Model for Formal Parametric Polymorphism: A PER Interpretation for System R (RB, MA, PLC), pp. 32–46.
DAC-1994-AzizBCHKKRSSTWBS #named #verification: HSIS: A BDD-Based Environment for Formal Verification (AA, FB, STC, RH, TK, SCK, RKR, TRS, VS, ST, HYW, RKB, ALSV), pp. 454–459.
DAC-1994-BeattyB #simulation #using #verification: Formally Verifying a Microprocessor Using a Simulation Methodology (DLB, REB), pp. 596–602.
DAC-1994-McMillan #design #formal method: Fitting Formal Methods into the Design Cycle (KLM), pp. 314–319.
EDAC-1994-BreuerFK #semantics: Clean formal semantics for VHDL (PTB, LSF, CDK), pp. 641–647.
KBSE-1994-ChilenskiN #analysis #specification #test coverage #tool support: Formal Specification Tools for Test Coverage Analysis (JC, PN), pp. 59–68.
KBSE-1994-JengC #approach #component #formal method #reuse: A Formal Approach to Reusing More General Components (JJJ, BHCC), pp. 90–97.
KBSE-1994-LowryPPU94a #approach #design #formal method: A Formal Approach to Domain-Oriented Software Design Environments (MRL, AP, TP, IU), pp. 48–57.
KBSE-1994-WildR #evolution #reuse #specification #using: Evolution and Reuse of Formal Specification Using Decision Structures (JCW, DR), pp. 108–115.
HT-ECHT-1994-HaakeNS #flexibility #hypermedia #requirements: Coexistence and Transformation of Informal and Formal Structures: Requirements for More Flexible Hypermedia Systems (JMH, CN, NAS), pp. 1–12.
SIGMOD-1994-FlokstraKS #database #design #specification: The IMPRESS DDT: A Database Design Toolbox Based on a Formal Specification Language (JF, MvK, JS), p. 506.
CSEE-1994-Dodani #formal method #re-engineering: Formal Methods for Software Engineering (MD), p. 597.
CSEE-1994-HartrumB #analysis #education #object-oriented: Teaching Formal Extensions of Informal-Based Object-Oriented Analysis Methodologies (TCH, PDB), pp. 389–409.
FME-1994-AnlauffJS #reasoning: An experimental support system for formal mathematical reasoning (MA, SJ, MS), pp. 421–440.
FME-1994-Barros #database #relational #source code #specification: Deriving Relational Database Programs from Formal Specifications (RSMdB), pp. 703–723.
FME-1994-BowenH #formal method: Seven More Myths of Formal Methods (JPB, MGH), pp. 105–117.
FME-1994-DehboneiM #formal method #industrial: Formal Methods in the Railways Signalling Industry (BD, FM), pp. 26–34.
FME-1994-Fidge #development #realtime: Adding Real Time to Formal Program Development (CJF), pp. 618–638.
FME-1994-FitzgeraldBGL #case study #comparative #component #specification: Formal and Informal Specifications of a Secure System Component: first results in a comparative study (JSF, TMB, MAG, PGL), pp. 35–44.
FME-1994-GuttmanJ #formal method: Three Applications of Formal Methods at MITRE (JDG, DMJ), pp. 55–65.
FME-1994-KeaneSW #concurrent #framework #modelling #process: Applying a Concurrent Formal Framework to Process Modelling (JAK, JS, BW), pp. 291–305.
FME-1994-MaungHM #formal method #towards: Towards a Formalization of Programming-by-Difference (IM, JH, RJM), pp. 134–153.
FME-1994-MensMS #approach #formal method #named #object-oriented: OPUS: a Formal Approach to Object-Orientation (TM, KM, PS), pp. 326–345.
FME-1994-Simpson #automation #specification: A Formal Specification of an Automatic Train Protection System (AS), pp. 602–617.
TAGT-1994-KorffR #graph grammar #petri net: Formal Relationship between Graph Grammars and Petri Nets (MK, LR), pp. 288–303.
CHI-1994-ShipmanM94a #evolution #formal method #incremental #knowledge base: Supporting knowledge-base evolution with incremental formalization (FMSI, RM), pp. 285–291.
AdaEurope-1994-BarbeyB #ada #data type #specification #testing #using: Testing Ada Abstract Data Types Using Formal Specifications (SB, DB), pp. 76–89.
AdaEurope-1994-Taylor #development #formal method: Formal Methods for a Space Software Development Environment (PT), pp. 90–103.
TRI-Ada-1994-Cherry #ada #formal method #paradigm #re-engineering #visualisation: Software Engineering with Ada in a New Key: Formalizing and Visualizing the Object Paradigm (GWC), pp. 309–320.
TRI-Ada-1994-HollowayVGS #formal method: Formal Methods Fact vs. Fiction (CMH, BLDV, DG, MS), pp. 256–258.
CAiSE-1994-JacksonEW #automation #development #object-oriented #requirements #specification: Automated Support for the Development of Formal Object-Oriented Requirements Specifications (RBJ, DWE, SNW), pp. 135–148.
KR-1994-CalvaneseLN #framework #representation: A Unified Framework for Class-Based Representation Formalisms (DC, ML, DN), pp. 109–120.
SEKE-1994-Abd-El-HafizB #comprehension #development: A tool for assisting the understanding and formal development of software (SKAEH, VRB), pp. 36–45.
SEKE-1994-CairoGB #formal method #multi #representation: A formal methodology for acquiring and representing knowledge from multiple experts (OC, SG, TB), pp. 281–288.
SEKE-1994-JacksonLP #automation #constraints #modelling #performance #specification #towards: Towards automatic building of performance models: Formal specification of performance constraints (KJ, AL, RP), pp. 148–155.
SEKE-1994-ZajicekB #constraints #design #interactive #interface #resource management #specification #visual notation: Investigating formal specification of graphical interface design for an interactive constraint based resource allocation system (MZ, KWB), pp. 217–224.
SIGIR-1994-Cooper #information retrieval #probability #question: The Formalism of Probability Theory in IR: A Foundation for An Encumbrance? (WSC), pp. 242–247.
ECOOP-1994-MoreiraC #analysis #object-oriented: Combining Object-Oriented Analysis and Formal Description Techniques (AMDM, RGC), pp. 344–364.
LOPSTR-1994-HoekMT #semantics: Formal Semantics of Temporal Epistemic Reflection (WvdH, JJCM, JT), pp. 332–352.
POPL-1994-HengleinJ: Formally Optimal Boxing (FH, JJ), pp. 213–226.
ICRE-1994-BelkhoucheG #named #prototype: Ripple: a formally specified prototyping system (BB, BJG), pp. 150–153.
ICRE-1994-BubenkoRLA #fuzzy #modelling #requirements: Facilitating “fuzzy to formal” requirements modelling (JABJ, CR, PL, VDA), pp. 154–157.
ICRE-1994-ReizerAMP #formal method #requirements #specification #standard #using: Using formal methods for requirements specification of a proposed POSIX standard (NRR, GDA, BCM, PRHP), pp. 118–125.
ICRE-1994-SalekSTP #bibliography #natural language #specification: The REVIEW system: from formal specifications to natural language (AS, PGS, JPT, JMP), pp. 220–229.
SAC-1994-FlorianiMP #bibliography #formal method #modelling: Hierarchical terrain models: survey and formalization (LDF, PM, EP), pp. 323–327.
FSE-1994-AbowdD #interactive #specification: Integrating Status and Event Phenomena in Formal Specifications of Interactive Systems (GDA, AJD), pp. 44–52.
ICSE-1994-AllenG #architecture #formal method: Formalizing Architectural Connection (RJA, DG), pp. 71–80.
ICSE-1994-Gaudel #specification: Formal Specification Techniques (Extended Abstract) (MCG), pp. 223–227.
ICSE-1994-GreenspanMB #modelling #on the #requirements #revisited: On Formal Requirements Modeling Languages: RML Revisited (SJG, JM, AB), pp. 135–147.
ICSE-1994-Johnson #approach #bibliography #perspective #quality: An Instrumented Approach to Improving Software Quality Through Formal Technical Review (PMJ), pp. 113–122.
ICSE-1994-KeaneH #approach #case study #experience #formal method #parallel: A Formal Approach to Determining Parallel Resource Bindings: Experience Report (JAK, WH), pp. 15–22.
CC-1994-Poetzsch-Heffter #formal method #performance #specification: Developing Efficient Interpreters Based on Formal Language Specifications (APH), pp. 233–247.
CAV-1994-BeerBGGY #hardware #verification: Methodology and System for Practical Formal Verification of Reactive Hardware (IB, SBD, DG, RG, MY), pp. 182–193.
ISSTA-1994-DouglasK #execution #named #specification #symbolic computation #testing: Aslantest: A Symbolic Execution Tool for Testing Aslan Formal Specifications (JD, RAK), pp. 15–27.
VLDB-1993-PonceletTCL #approach #database #design #formal method #towards: Towards a Formal Approach for Object Database Design (PP, MT, RC, LL), pp. 278–289.
CSM-1993-Drew #formal method #process: Developing Formal Software Process Definitions (DWD), pp. 12–20.
WCRE-1993-LanoH #reverse engineering: Integrating Formal and Structured Methods in Reverse Engineering (KL, HPH), pp. 17–26.
DLT-1993-Kudlek: General Formal Systems (MK), pp. 461–471.
DLT-1993-Kuich: Lindenmayer Systems Generalized to Formal Power Series and Their Growth Functions (WK), pp. 171–178.
DLT-1993-MerzenichS #formal method: Fractals, Dimension, and Formal Languages (WM, LS), pp. 262–277.
FME-1993-AstesianoR #metalanguage #specification: A Metalanguage for the Formal Requirement Specification of Reactive Systems (EA, GR), pp. 110–128.
FME-1993-BowenS #formal method #industrial #perspective #safety: The Industrial Take-up of Formal Methods in Safety-Critical and Other Areas: A Perspective (JPB, VS), pp. 183–195.
FME-1993-CraigenGR #formal method #industrial: Formal Methods Reality Check: Industrial Usage (DC, SLG, TR), pp. 250–267.
FME-1993-GuntherSW #database #execution #on the #source code #specification: On the Derivation of Executable Database Programs from Formal Specifications (TG, KDS, IW), pp. 351–366.
FME-1993-OwreRSH #architecture #fault tolerance #lessons learnt #verification: Formal Verification for Fault-Tolerant Architectures: Some Lessons Learned (SO, JMR, NS, FWvH), pp. 482–500.
FME-1993-RossL #consistency #maintenance #specification: Maintaining Consistency Under Changes to Formal Specifications (KJR, PAL), pp. 558–577.
FME-1993-Weber-Wulff #formal method #industrial: Selling Formal Methods to Industry (DWW), pp. 671–678.
HCI-ACS-1993-Moray #modelling: Formalisms for Cognitive Modeling (NM), pp. 581–586.
HCI-ACS-1993-PacholskiW #evaluation #formal method #modelling: Formal Modelling of the Ergonomicity Level Evaluation of Man-Microcomputer Systems (LP, MW), pp. 1029–1032.
HCI-SHI-1993-PalanqueBD #design #for free: Contextual Help for Free with Formal Dialogue Design (PAP, RB, LD), pp. 615–620.
INTERCHI-1993-NielsenP #empirical #heuristic #interface #usability: Estimating the relative usability of two interfaces: heuristic, formal, and empirical methods compared (JN, VLP), pp. 214–221.
SEKE-1993-Ameur #development #non-functional #source code: Formal Program Development by Transformation and Non-Functional Properties Evaluations. An Application to Numerical Programs (YAA), pp. 703–710.
SEKE-1993-HurleyC #design #towards #user interface: Towards a Formalized Context for Designing User Interface Management Systems (WDH, NVC), pp. 406–413.
SEKE-1993-KhanM #abstraction #flexibility: Formalism for Hierarchical Organization and Flexible Abstraction of Program Knowledge (JIK, IM), pp. 301–303.
SEKE-1993-LauxBC #development #ide #specification: An Integrated Development Environment for Formal Specifications (MRL, RHB, BHCC), pp. 681–688.
SEKE-1993-SuhST #information management #named #representation: INTEK: A Software Tool for an Intermediate Knowledge Representation Formalism (SCS, CFS, MMT), pp. 288–290.
TOOLS-EUROPE-1993-LewerentzC #formal method #object-oriented: Formal Methods and Object-Orientation (CL, EC), p. 329.
TOOLS-PACIFIC-1993-Duke #design #formal method #object-oriented #specification: Formal Methods for the Design and Specification of Object-Oriented Systems (RD), p. 324.
LOPSTR-1993-LauO #deduction #logic programming #source code #specification #synthesis: A Formal View of Specification, Deductive Synthesis and Transformation of Logic Programs (KKL, MO), pp. 10–31.
POPL-1993-AbadiCC #morphism #parametricity #polymorphism: Formal Parametric Polymorphism (MA, LC, PLC), pp. 157–170.
ICRE-1993-FenselAS #analysis #semantics: Giving Structured Analysis Techniques a Formal and Operational Semantics with KARL (DF, JA, RS), pp. 267–286.
RE-1993-IshiharaSK #dependence #natural language #specification #using: A translation method from natural language specifications into formal specifications using contextual dependencies (YI, HS, TK), pp. 232–239.
RE-1993-KentMQ #constraints #fault #specification: Formally specifying temporal constraints and error recovery (SK, TSEM, WJQ), pp. 208–215.
ESEC-1993-BustardW #requirements #specification: Making Changes to Formal Specifications: Requirements and an Example (DWB, ACW), pp. 115–126.
ESEC-1993-Coen-PorisiniM #framework #proving: A Formal Framework for ASTRAL Intra-Level Proof Obligations (ACP, DM), pp. 483–500.
ESEC-1993-GhezziFB #bibliography #realtime #specification #verification: Real-Time Systems: A Survey of Approaches to Formal Specification and Verification (CG, MF, CB), pp. 11–36.
ESEC-1993-HagelsteinRW #requirements: Formal Requirements Made Practical (JH, DR, PW), pp. 127–144.
ESEC-1993-JengC #component #formal method #library #using: Using Formal Methods to Construct a Software Component Library (JJJ, BHCC), pp. 397–417.
FSE-1993-BahsounMS #concurrent #formal method #framework #programming: A Framework for Programming and Formalizing Concurrent Objects (JPB, SM, CS), pp. 126–137.
FSE-1993-CarringtonDHW #composition #design #specification: Deriving Modular Designs from Formal Specifications (DAC, DJD, IJH, JW), pp. 89–98.
ICSE-1993-GerhartCR #formal method #industrial #using: Observations on Industrial Practice Using Formal Methods (SLG, DC, TR), pp. 24–33.
HPDC-1993-MullinTDS #communication #formal method #protocol #scheduling: Formal Method for Scheduling, Routing and Communication Protocol (LMRM, ST, DRD, EAS), pp. 234–242.
CAV-1993-LincolnR #algorithm #consistency #fault #hybrid #interactive #verification: The Formal Verification of an Algorithm for Interactive Consistency under a Hybrid Fault Model (PL, JMR), pp. 292–304.
ICLP-1993-LeviR #formal method #metaprogramming: A Formalization of Metaprogramming for real (GL, DR), pp. 354–373.
ILPS-1993-MorenoPM #logic programming #natural language: The Incorporation of Logic Formalisms to Natural Language Through Logic Programming (LM, MP, AM), p. 671.
IWPTS-1993-CavalliFP #consistency #formal method #testing: Formal Methods for Conformance Testing: Results and Perspectives (ARC, JPF, MP), pp. 3–17.
IWPTS-1993-HennigerSB #generative #protocol #specification #testing: Test Suite Generation for Application Layer Protocols from Formal Specifications in Estelle (OH, BS, SB), pp. 67–85.
IWPTS-1993-Tretmans #approach #consistency #formal method #testing: A Formal Approach to Conformance Testing (JT), pp. 257–276.
TLCA-1993-Altenkirch #formal method #normalisation #proving #system f: A Formalization of the Strong Normalization Proof for System F in LEGO (TA), pp. 13–28.
TLCA-1993-McKinnaP #type system: Pure Type Systems Formalized (JM, RP), pp. 289–305.
KBSE-1992-AlmeidaRRA #specification: Transformation of a Semi-formal Specification to VDM (JD, AR, TR, VA), p. 7.
KBSE-1992-Feather #design #distributed: Explorations on the Formal Frontier of Distributed System Design (MSF), p. 23.
SEI-1992-Garlan #design #education #formal method #trade-off: Formal Methods for Software Engineers: Tradeoffs in Curriculum Design (DG), pp. 131–142.
SEI-1992-Lutz #formal method #paradigm: Formal Methods and the Engineering Paradigm (MJL), pp. 121–130.
SEI-1992-Pewle #approach #formal method #process: Software Process Training: A Formal and Informal Approach at McDonnell Douglas Electronic Systems Company (KLP), pp. 308–312.
ICALP-1992-SannellaT #algebra #development #source code #specification #towards: Towards Formal Development of Programs from Algebraic Specifications: Model-Theoretic Foundations (DS, AT), pp. 656–671.
TRI-Ada-C-1992-Cherry #ada #behaviour: Stimulus Response Machines: An Ada-based Graphic Formalism for Describing Class and Object Behavior (GWC), pp. 321–332.
CAiSE-1992-DuboisBR #requirements: Elaborating, Structuring and Expressing Formal Requirements of Composite Systems (ED, PDB, AR), pp. 327–347.
KR-1992-BaaderH #information management #representation: Embedding Defaults into Terminological Knowledge Representation Formalisms (FB, BH), pp. 306–317.
SEKE-1992-Ameur #evaluation: Formal Program Developments Directed by Operational Properties Evaluation (YAA), pp. 1–8.
SEKE-1992-ToddS #rule-based #specification: Formal Specification of a Rule-Based Expert System (BST, RS), pp. 333–340.
OOPSLA-1992-ClydeEW #analysis #object-oriented: Tunable Formalism in Object-Oriented Systems Analysis: Meeting the Needs of Both Theoreticians and Practitioners (SWC, DWE, SNW), pp. 452–465.
OOPSLA-1992-SatohT #concurrent #object-oriented #realtime: A Formalism for Real-Time Concurrent Object-Oriented Computing (IS, MT), pp. 315–326.
TOOLS-EUROPE-1992-DurrK #design #object-oriented #specification: VDM++, A Formal Specification Language for OO Designs (ED, JvK), pp. 63–77.
TOOLS-EUROPE-1992-NilssonB #object-oriented #specification #tool support: Tools for Object Oriented Formal Specification Technique (GN, PB), pp. 349–358.
TOOLS-PACIFIC-1992-Duke #case study #object-oriented #specification: Case Studies in Object-Oriented Formal Specification (RD), p. 236.
ICSE-1992-WangME #distributed #realtime #specification: Formal Specification of Ssynchronous Distributed Real-Time Systems by APTL (FW, AKM, EAE), pp. 188–198.
CADE-1992-WangG #automation #named #verification: RVF: An Automated Formal Verification System (TCW, AG), pp. 735–739.
IWPTS-1992-CavalliMK #automation #consistency #formal method #generative #protocol #specification #testing: Automated Protocol Conformance Test Generation Based on Formal Methods for LOTOS Specifications (ARC, PM, SUK), pp. 237–248.
LICS-1992-Nakano #formal method: A Constructive Formalization of the Catch and Throw Mechanism (HN), pp. 82–89.
DAC-1991-BryantBS #evaluation #hardware #verification: Formal Hardware Verification by Symbolic Ternary Trajectory Evaluation (REB, DLB, CJHS), pp. 397–402.
VLDB-1991-ChrysanthisR #transaction: A Formalism for Extended Transaction Model (PKC, KR), pp. 103–112.
PLDI-1991-KishonHC #execution #framework #implementation #monitoring #reasoning #semantics #specification: Monitoring Semantics: A Formal Framework for Specifying, Implementing, and Reasoning about Execution Monitors (AK, PH, CC), pp. 338–352.
VDME-1991-1-Arthan #on the #proving #specification: On Formal Specification of a Proof Tool (RDA), pp. 356–370.
VDME-1991-1-GarlanN #design #formal method: Formalizing Design Spaces: Implicit Invocation Mechanisms (DG, DN), pp. 31–44.
VDME-1991-1-Goldschlag #formal method: A Mechanical Formalization of Several Fairness Notions (DMG), pp. 125–148.
VDME-1991-1-Lavalette #development: Formal Development of a Serial Copy Management System (GRRdL), pp. 477–495.
VDME-1991-1-PennyHG #specification: Formal Specification in Metamorphic Programing (DAP, RCH, MWG), pp. 11–30.
VDME-1991-1-PlatKP #analysis #design: A Case for Structured Analysis/Formal Design (NP, JvK, KP), pp. 81–105.
VDME-1991-1-SmithK #development #transaction: The Formal Development of a Secure Transaction Mechanism (PS, RK), pp. 457–476.
VDME-1991-1-WingZ #specification: Unintrusive Ways to Integrate Formal Specifications in Practice (JMW, AMZ), pp. 545–569.
VDME-1991-2-DahlO #development: Formal Development with ABEL (OJD, OO), pp. 320–362.
AdaEurope-1991-Guaspari #automation #logic #specification: Formally Specifying the Logic of an Automatic Guidance Controller (DG), pp. 372–383.
KR-1991-DierbachC #reasoning: A Formal Basis for Analogical Reasoning (CD, DLC), pp. 139–150.
KR-1991-Kaufman #formal method #reasoning: A Formal Theory of Spatial Reasoning (SGK), pp. 347–356.
TOOLS-USA-1991-Duke #object-oriented #specification: Formal Specification of Object-Oriented Systems (RD), pp. 463–464.
LOPSTR-1991-MiglioliMO #specification #synthesis: Program Specification and Synthesis in Constructive Formal Systems (PM, UM, MO), pp. 13–26.
LOPSTR-1991-ReadK #case study #composition #development #prolog: Formal Program Development in Modular Prolog: A Case Study (MGR, EAK), pp. 69–93.
LOPSTR-1991-Waldau #validation: Formal Validation of Transformation Schemata (MW), pp. 97–110.
ESEC-1991-DickL #approach #formal method #visual notation: Integrating Structured and Formal Methods: A Visual Approach to VDM (JD, JL), pp. 37–59.
ICSE-1991-Craigen #formal method #tool support: Tool Support for Formal Methods (DC), pp. 184–185.
ICSE-1991-Gerhart #formal method #perspective: Formal Methods: An International Perspective (SLG), pp. 36–37.
CAV-1991-GjessingKM #approach #specification #top-down: A Top Down Approach to the Formal Specification of SCI Cache Coherence (SG, SK, EMK), pp. 83–91.
CAV-1991-HamaguchiHY #branch #logic #model checking #using #verification: Formal Verification of Speed-Dependent Asynchronous Cicuits Using Symbolic Model Checking of branching Time Regular Temporal Logic (KH, HH, SY), pp. 410–420.
CAV-1991-SegerJ #using #verification: A Two-Level Formal Verification Methodology using HOL and COSMOS (CJHS, JJJ), pp. 299–309.
IWPTS-1991-Hogrefe #consistency #development #on the #standard #testing: On the Development of a Standard for Conformance Testing Based on Formal Specifictations (DH), pp. 59–66.
IWPTS-1991-Hogrefe91a #consistency #formal method #requirements: Session on Conformance Requirements and Test Purposes in the Context of Formal Methods (DH), pp. 289–290.
IWPTS-1991-TretmansKB #consistency #formal method #protocol #testing: Protocol Conformance Testing: A Formal Perspective on ISO IS-9646 (JT, PK, EB), pp. 131–142.
TAV-1991-GhezziK #approach #specification: Executing Formal Specifications: The ASTRAL to TRIO Translation Approach (CG, RAK), pp. 112–122.
TAV-1991-Young #formal method #question #re-engineering: Formal Methods versus Software Engineering: Is There a Conflict? (WDY), pp. 188–189.
DAC-1990-IshiuraYY #behaviour #design #hardware #named #semantics: NES: The Behavioral Model for the Formal Semantics of a Hardware Design Language UDL/I (NI, HY, SY), pp. 8–13.
PODS-1990-ConsensM #named #recursion #visual notation: GraphLog: a Visual Formalism for Real Life Recursion (MPC, AOM), pp. 404–416.
PODS-1990-YouY #formal method #logic programming #question: Three-Valued Formalization of Logic Programming: Is It Needed? (JHY, LYY), pp. 172–182.
VLDB-1990-KorthLS #approach #formal method #transaction: A Formal Approach to Recovery by Compensating Transactions (HFK, EL, AS), pp. 95–106.
ICALP-1990-Watanabe #formal method #learning #query: A Formal Study of Learning via Queries (OW0), pp. 139–152.
VDME-1990-Dahl #object-oriented: Object Orientation and Formal Techniques (OJD), pp. 1–11.
VDME-1990-DiepenH #algebra #relational #semantics: A Formal Semantics for Z and the Link between Z and the Relational Algebra (MJvD, KMvH), pp. 526–551.
VDME-1990-FitzgeraldJ #database: Modularizing the Formal Description of a Database System (JSF, CBJ), pp. 189–210.
VDME-1990-GarlanD #framework #reuse #specification: Formal Specifications as Reusable Frameworks (DG, NMD), pp. 150–163.
VDME-1990-Lange #approach #formal method #hypermedia #prototype #specification #using: A Formal Approach to Hypertext using Post-Prototype Formal Specification (DBL), pp. 99–121.
ICSE-1990-Bush90b #case study #experience #quality: Improving Software Quality: The Use of Formal Inspections at the JPL (Experience Report) (MWB), pp. 196–199.
ICSE-1990-Glynn #process: Semi Formal Process Model for Technology Transfer (GG), pp. 334–335.
ICSE-1990-LafontaineLS #case study #development #empirical #formal method #proving #theorem proving #using: An Experiment in Formal Software Development: Using the B Theorem Prover on a VDM Case Study (CL, YL, PYS), pp. 34–42.
CAV-1990-BryantS #modelling #using #verification: Formal Verification of Digital Circuits Using Symbolic Ternary System Models (REB, CJHS), pp. 33–43.
CSL-1990-BorgerS #prolog #semantics: A Formal Operational Semantics for Languages of Type Prolog III (EB, PHS), pp. 67–79.
DAC-1989-BenkoskiS #interactive #modelling #multi #verification: Timing Verification by Formal Signal Interaction Modeling in a Multi-level Timing Simulator (JB, AJS), pp. 668–673.
PODS-1989-Bry #database #formal method #logic programming: Logic Programming as Constructivism: A Formalization and its Application to Databases (FB), pp. 34–50.
ICALP-1989-LiV89a #approach #complexity #formal method: A New Approach to Formal Language Theory by Kolmogorov Complexity (Preliminary Version) (ML, PMBV), pp. 506–520.
KR-1989-Przymusinski #formal method #logic programming #reasoning: Three-Valued Formalizations of Non-Monotonic Reasoning and Logic Programming (TCP), pp. 341–348.
KR-1989-RaoF: Formal Theories of Belief Revision (ASR, NYF), pp. 369–380.
ML-1989-Greiner #analysis #formal method #towards: Towards a Formal Analysis of EBL (RG), pp. 450–453.
ML-1989-Kaelbling #embedded #framework #learning: A Formal Framework for Learning in Embedded Systems (LPK), pp. 350–353.
ML-1989-MuggletonBMM #comparison #machine learning: An Experimental Comparison of Human and Machine Learning Formalisms (SM, MB, JHM, DM), pp. 113–118.
SEKE-1989-MohanK #abstraction #modelling #object-oriented #representation: Abstractions in Object-oriented Data Models: A Formalized Representation Scheme (LM, RLK), pp. 79–84.
ESEC-1989-DeitersGS #development #formal method #modelling #process: Systematic Development of Formal Software Process Models (WD, VG, WS), pp. 100–117.
ESEC-1989-Dix #re-engineering #refinement: Software Engineering Implications for Formal Refinement (AJD), pp. 243–259.
ESEC-1989-FranceD #analysis #specification #using: Formal Specification Using Structured Systems Analysis (RBF, TWGD), pp. 293–310.
ESEC-1989-NorrisS #formal method: Industrialising Formal Methods for Telecommunications (MTN, SGS), pp. 159–175.
ESEC-1989-Wordsworth #experience #interface #programming #specification: Practical Experience of Formal Specification: A Programming Interface for Communications (JW), pp. 140–158.
ICSE-1989-InoueOKT #adaptation #process: A Formal Adaptation Method for Process Descriptions (KI, TO, TK, KT), pp. 145–153.
ICSE-1989-PatelONB #formal method #tool support: Tools to Support Formal Methods (SP, RAO, MTN, DWB), pp. 123–132.
TAV-1989-BalcerHO #automation #generative #specification #testing: Automatic Generation of Test Scripts from Formal Test Specifications (MJB, WMH, TJO), pp. 210–218.
TAV-1989-Gerhart #assessment #formal method #summary: Preliminary Summary: FM89 Assessment of Formal Methods for Trustworthy Computer Systems (SLG), pp. 152–155.
DAC-1988-MadreB #behaviour #comparison #correctness #proving #using: Proving Circuit Correctness Using Formal Comparison Between Expected and Extracted Behaviour (JCM, JPB), pp. 205–210.
DAC-1988-NarendranS #image #verification: Formal Verification of the Sobel Image Processing Chip (PN, JS), pp. 211–217.
DAC-1988-StavridouBE #case study #comparative #hardware #specification #verification: Formal Specification and Verification of Hardware: A Comparative Case Study (VS, HB, DAE), pp. 197–204.
SIGMOD-1988-KorthS #correctness #formal method: Formal Model of Correctness Without Serializability (HFK, GDS), pp. 379–386.
VLDB-1988-ShekarSD #execution #formal method #optimisation #query #semantics #trade-off: A Formal Model of Trade-off between Optimization and Execution Costs in Semantic Query Optimization (SS, JS, SD), pp. 457–467.
ESOP-1988-BahlkeS #formal method #interactive #programming: The PSG System: From Formal Language Definitions to Interactive Programming Environments (RB, GS), pp. 374–375.
VDME-1988-AndrewsGLP #interpreter: The Formal Definition of Modula-2 and Its Associated Interpreter (DJA, AG, SPAL, JRP), pp. 167–177.
VDME-1988-JonesL #reasoning #requirements: A Support System for Formal Reasoning: Requirements and Status (CBJ, PAL), pp. 139–152.
VDME-1988-Ruggles #standard #towards: Towards a Formal Definition of GKS and other Graphic Standards (CR), pp. 64–73.
VDME-1988-Ruggles88a #formal method #standard: Formal Methods in Standards — A Report from the BCS Working Group (CR), pp. 79–85.
PLILP-1988-Dang #definite clause grammar #interactive #specification #using: Formal Specification of Interactive Languages Using Definite Clause Grammars (WD), pp. 283–291.
PLILP-1988-Hanus #compilation #prolog #specification: Formal Specification of a Prolog Compiler (MH), pp. 273–282.
CADE-1988-Griffin #interactive #named: EFS — An Interactive Environment for Formal Systems (TG), pp. 740–741.
CADE-1988-SubrahmanianU #approximate #consistency #named #reasoning: QUANTLOG: A System for Approximate Reasoning in Inconsistent Formal Systems (VSS, ZDU), pp. 746–747.
LICS-1988-Griffin #formal method: Notational definition — a formal account (TG), pp. 372–383.
DAC-1987-Subrahmanyam #deduction #named: LCS — A Leaf Cell Synthesizer Employing Formal Deduction Techniques (PAS), pp. 459–465.
PODS-1987-Delgrande #automation #constraints #generative #maintenance: Formal Limits on the Automatic Generation and Maintenance of Integrity Constraints (JPD), pp. 190–196.
ICALP-1987-Karhumaki #formal method #on the #roadmap: On Recent Trends in Formal Language Theory (JK), pp. 136–162.
VDME-1987-Jones87b #data flow #semantics #using: A Formal Semantics for a DataFlow Machine — Using VDM (KDJ), pp. 331–355.
VDME-1987-MinkowitzH #object-oriented #programming #using: A Formal Description of Object-Oriented Programming Using VDM (CM, PBH), pp. 237–259.
VDME-1987-Pedersen: VDM in Three Generations of Ada* Formal Descriptions (JSP), pp. 33–48.
SIGIR-1987-MorrisseyR: A Formal Treatment of Missing and Imprecise Information (JMM, CJvR), pp. 149–156.
ESEC-1987-Choppy #integration #prototype #specification #testing: Formal Specifications, Prototyping and Integration Tests (CC), pp. 172–179.
ESEC-1987-FantechiGIM #ada: An Executon Environment for the Formal Definiton of Ada (AF, SG, PI, UM), pp. 327–335.
ESEC-1987-HekmatpourW #specification #tool support #visual notation: Formal Specification of Graphical Notations and Graphical Software Tools (SH, MW), pp. 297–305.
ICSE-1987-Bjorner #development #formal method #on the: On the Use of Formal Methods in Software Development (DB), pp. 17–29.
ICSE-1987-Kramer #data type #distributed #named #petri net #specification: SEGRAS — A Formal and Semigraphical Language Combining Petri Nets and Abstract Data Types for the Specification of Distributed Systems (BJK), pp. 116–125.
SOSP-1987-BirrellGHL #multi #specification: Synchronization Primitives for a Multiprocessor: A Formal Specification (AB, JVG, JJH, RL), pp. 94–102.
LICS-1987-HarelPSS #on the #semantics: On the Formal Semantics of Statecharts (Extended Abstract) (DH, AP, JPS, RS), pp. 54–64.
SLP-1987-DeransartF87 #prolog: An Operational Formal Definition of PROLOG (PD, GF), pp. 162–172.
SIGMOD-1986-BiskupC #integration: A Formal View Integration Method (JB, BC), pp. 398–407.
GG-1986-Fitzhorn #modelling: A Linguistic Formalism for Engineering Solid Modeling (PF), pp. 202–215.
CRAI-1986-AstesianoR #approach #programming language #semantics #tutorial: The SMoLCS Approach to the Formal Semantics of Programming Languages — A Tutorial Introduction (EA, GR), pp. 81–116.
CRAI-1986-Jones #development #formal method: Software Development Based on Formal Methods (CBJ), pp. 153–172.
ICLP-1986-Beckman86 #concurrent #logic programming #programming language #semantics #towards: Towards a Formal Semantics for Concurrent Logic Programming Languages (LB), pp. 335–349.
LICS-1986-KnoblockC #type system: Formalized Metareasoning in Type Theory (TBK, RLC), pp. 237–248.
SIGIR-1985-Rijsbergen #semantics: Formal Semantics for Text and Data (CJvR), p. 9.
POPL-1985-Cooper #alias #parametricity: Analyzing Aliases of Reference Formal Parameters (KDC), pp. 281–290.
ICSE-1985-Chen #development #formal method #functional #implementation #programming: Extending the Implementation Scheme of Functional Programming System FP for Supporting the Formal Software Development Methodology (QC), pp. 50–54.
DAC-1984-WojcikKS #automation #design #reasoning #verification: A formal design verification system based on an automated reasoning system (ASW, JKJ, NCES), pp. 641–647.
PODS-1984-AbiteboulH #database #named #semantics: IFO: A Formal Semantic Database Model (SA, RH), pp. 119–132.
PODS-1984-CasanovaVF #database #perspective #specification: Formal Data Base Specification — An Eclectic Perspective (MAC, PASV, ALF), pp. 110–118.
SCC-1984-Pleban #compilation #prototype #semantics #using: Compiler prototyping using formal semantics (UFP), pp. 94–105.
ICALP-1984-RestivoR #formal method #permutation: Cancellation, Pumping and Permutation in Formal Languages (AR, CR), pp. 414–422.
ICSE-1984-BidoitBGGG #exception #specification: Exception Handling: Formal Specification and Systematic Program Construction (MB, BB, MCG, CG, GDG), pp. 18–29.
ICSE-1984-ClemmensenO #ada #case study #compilation #development #specification: Formal Specification and Development of an Ada Compiler — A VDM Case Study (GBC, ONO), pp. 430–440.
SLP-1984-UeharaOKT84 #bibliography #bottom-up #implementation #logic #parsing: A Bottom-Up Parser Based on Predicate Logic: A Survey of the Formalism and its Implementation Technique (KU, RO, OK, JT), pp. 220–227.
DAC-1983-UmrigarP #design #hardware #realtime #verification: Formal verification of a real-time hardware design (ZDU, VP), pp. 221–227.
DAC-1983-Wojcik #design #verification: Formal design verification of digital systems (ASW), pp. 228–234.
VLDB-1983-BrownP #design #logic #named: LAURA: A Formal Data Model and her Logical Design Methodology (RB, DSPJ), pp. 206–218.
STOC-1983-Iwama #communication #multi #string: Unique Decomposability of Shuffled Strings: A Formal Treatment of Asynchronous Time-Multiplexed Communication (KI), pp. 374–381.
Ada-1983-Uhl: A Formal Definition of Diana (JU), pp. 35–47.
RE-1983-Partsch #algebra #on the #requirements: On the Use of Algebraic Methods for Formal Requirements Definitions (HP), pp. 138–158.
DAC-1982-MuellerV #automation #semantics: Formal semantics for the automated derivation of micro-code (RAM, JV), pp. 815–824.
DAC-1982-PitchumaniS #design #formal method #verification: A formal method for computer design verification (VP, EPS), pp. 809–814.
VLDB-1982-BjornerL #database #formal method: Formalization of Database Systems — and a Formal Definition of IMS (Invited Paper) (DB, HHL), pp. 334–347.
VLDB-1982-Xu #concurrent #formal method #transaction: A Formal Model for Maximum Concurrency in Transaction Systems with Predeclared Writesets (JX), pp. 77–90.
GG-1982-Pratt #semantics #specification #using: Formal specification of software using H-graph semantics (TWP), pp. 314–332.
ICSE-1982-AgusaOO #requirements #verification: Verification System for Formal Requirements Description (KA, AO, YO), pp. 120–126.
ICSE-1982-Bauer #reasoning #specification: From Specifications to Machine Code: Program Construction through Formal Reasoning (FLB), pp. 84–93.
DAC-1981-Burdick #design #formal method #process #what: What to do when the seat of your pants wears out — the formalization of the VLSI design process (EB), pp. 708–709.
DAC-1981-HaferP #analysis #design #formal method #logic #specification: A formal method for the specification, analysis, and design of register-transfer level digital logic (LJH, ACP), pp. 846–853.
PS-1981-Guttag #effectiveness #specification: A few Remarks on Putting Formal Specifications to Productive Use (JVG), pp. 370–380.
POPL-1981-Cartwright #testing: Formal Program Testing (RC), pp. 125–132.
ICALP-1980-EngelfrietF #attribute grammar #multi: Formal Properties of One-Visit and Multi-Pass Attribute Grammars (JE, GF), pp. 182–194.
TFDA-1980-Pedersen #ada #semantics: A Formal Semantics Definition of Sequential Ada (JSP), pp. 213–308.
POPL-1980-GuttagH #design #specification: Formal Specification as a Design Tool (JVG, JJH), pp. 251–261.
SDCG-1980-Donzeau-GougeKL #ada #on the: On the formal definition of ADA (VDG, GK, BL), pp. 475–489.
VLDB-1979-BaldisseraCPB #database #design #interactive #specification #verification: Interactive Specification and Formal Verification of User’s Views in Data Bases Design (CB, SC, GP, GB), pp. 262–272.
VLDB-1979-Santos #semantics: The Quest for Comprehensive Semantic Formalisms (CSdS), pp. 83–84.
ICALP-1979-Rozenberg #approach #formal method #parallel: A Systematic Approach to Formal Language Theory Through Parallel Rewriting (GR), pp. 471–478.
ICALP-1979-ShieldsL #concurrent #semantics: A Formal Semantics for Concurrent Systems (MWS, PEL), pp. 571–584.
SIGIR-1979-RaghavanB #clustering #effectiveness #process: A Clustering Strategy Based on a Formalism of the Reproductive Process in Natural Systems (VVR, KB), pp. 10–22.
ICSE-1979-BauerF #generative #testing #using: Test Plan Generation Using Formal Grammars (JAB, ABF), pp. 425–432.
SIGMOD-1978-Nicolas #dependence #first-order #formal method #functional #logic #multi: First Order Logic Formalization for Functional, Multivalued and Mutual Dependencies (JMN), pp. 40–46.
VDM-1978-HenhaplJ #algol: A Formal Definition of Algol 60 as Described in the 1975 Modified Report (WH, CBJ), pp. 305–336.
VDM-1978-Lucas #formal method #on the #programming language: On the Formalization of Programming Languages: Early History and Main Approaches (PL), pp. 1–23.
ICSE-1978-Panzl #automation #testing: Automatic Revision of Formal Test Procedures (DJP), pp. 320–326.
SIGMOD-1977-PaoliniP #database: Formal Definition of Mappings in a Data Base (PP, GP), pp. 40–46.
POPL-1976-GriffithsP #process #specification #verification: Verifying Formal Specifications of Synchronous Processes (PPG, CJP), pp. 192–208.
ICSE-1976-Jazayeri #automation #programming #specification: Formal Specification and Automatic Programming (MJ), pp. 293–296.
STOC-1975-EhrenfeuchtR #formal method #on the #predict: On (Un)predictability of Formal Languages (Extended Abstract) (AE, GR), pp. 117–120.
SOSP-1975-BelpaireN #architecture #recursion #virtual machine: Formal Properties of Recursive Virtual Machine Architectures (GB, NTH), pp. 89–96.
ICALP-1974-Leeuwen #formal method #theorem: A Generalisation of Parikh’s Theorem in Formal Language Theory (JvL), pp. 17–26.
POPL-1973-NolinR #formal method: Formalization of Exel (LN, GR), pp. 108–119.
SOSP-1973-PopekG #architecture #generative #requirements: Formal Requirements for Virtualizable Third Generation Architectures (GJP, RPG), p. 121.
ICALP-1972-Book #complexity #formal method: Complexity Classes of Formal Languages (Extended Abstract) (RVB), pp. 517–520.
STOC-1971-ConstableH #complexity: Complexity of Formal Translations and Speed-Up Results (RLC, JH), pp. 244–250.
STOC-1971-Stanat #formal method: Formal Languages and Power Series (DFS), pp. 1–11.
STOC-1970-Constable #on the #recursion #source code: On the Size of Programs in Subrecursive Formalisms (RLC), pp. 1–9.
STOC-1970-Cudia #decidability #problem: The Degree Hierarchy of Undecidable Problems of Formal Grammars (DFC), pp. 10–21.
STOC-1969-MannaP #formal method #recursion: Formalization of Properties of Recursively Defined Functions (ZM, AP), pp. 201–210.
STOC-1969-Zeiger #formal method #modelling #programming language: Formal Models for Some Features of Programming Languages (HPZ), pp. 211–215.
SHARE-1965-Falkoff #automation #design #process: Formal description of processes — the first step in design automation (ADF).