yusuke1997/dblp-id-title huggingface dataset:
Sixth Working IEEE / IFIP Conference on Software Architecture (WICSA 2007), 6-9 January 2005, Mumbai, Maharashtra, India
Towards Architecting for Continuous Delivery
On the Meeting of Software Architecture and Reverse Engineering
Tackling Offshore Communication Challenges with Agile Architecture-Centric Development
2001 Working IEEE / IFIP Conference on Software Architecture (WICSA 2001), 28-31 August 2001, Amsterdam, The Netherlands
Evaluating the Software Architecture Competence of Organizations
A model to represent architectural design rationale
Modeling and Analyzing the Software Architecture of a Communication Protocol Using SAM
Reviewing architecture documents using question sets
Wishes and Boundaries for a Software Architecture Knowledge Community
Dynamic Reconfigurable Software Architecture: Analysis and Evaluation
Analysis of Architecture Pattern Usage in Legacy System Architecture Documentation
Real World Influences on Software Architecture - Interviews with Industrial System Experts
Proactive Detection of Higher-Order Software Design Conflicts
A Family of Software Architecture Implementation Frameworks
Automatic Reference Architecture Conformance Checking for SOA-Based Software Systems
DUALLY: Putting in Synergy UML 2.0 and ADLs
A consumer-centred approach for service-oriented product line development
Symphony: View-Driven Software Architecture Reconstruction
Using Architectural Perspectives
Architecting in Networked Organizations
Establishing Connectors as Integration Services
A Component-Based Software Architecture for Industrial Control
Supporting Model Maintenance in Component-based Product Lines
Architecting as a Risk- and Cost Management Discipline
Integration of Heterogeneous Software Architectures - An Experience Report
Empirical evaluation of the understandability of architectural component diagrams
VULCAN: architecture-model-based software development workbench
Missed Architectural Dependencies: The Elephant in the Room
Evaluation of dynamic adaptivity through metrics: an achievable target?
An Architecture for Coordinating Multiple Self-Management Systems
Architecture-aware Programming in Agile Environments
MORPHOSIS: A Lightweight Method Facilitating Sustainable Software Architectures
Collaboration-Based Design - Exemplified by the Internet Session Initiation Protocol (SIP)
The MeDICi Integration Framework: A Platform for High Performance Data Streaming Applications
Software Architecture Evaluation and Analysis Session Report
Multiple viewpoints architecture extraction
An Externalized Infrastructure for Self-Healing Systems
Creating Software Modernization Roadmaps: The Architecture Options Workshop
Enriching Architecture Knowledge with Technology Design Decisions
Evolution and Composition of Reusable Assets in Product-Line Architectures: A Case Study
Towards a HTML-UI-Compositor by Introducing the Wayland-Protocol into a Browser-Engine
Evolution styles: Foundations and tool support for software architecture evolution
Verifying architectural variabilities in software fault tolerance techniques
Context-Based Architectural Security Analysis
A Declarative Approach to Architectural Reflection
Architecting Cloud Computing Applications and Systems
Experiences with Semantic Wikis for Architectural Knowledge Management
Mature Architecting - A Survey about the Reasoning Process of Professional Architects
Runtime verification of state machines and defect localization applying model-based testing
A Unified Approach to Architecture Conformance Checking
Joint Working IEEE/IFIP Conference on Software Architecture 2009 and European Conference on Software Architecture 2009, WICSA/ECSA 2009, Cambridge, UK, 14-17 September 2009
Attempting to Understand the Progress of Software Architecture Decision-Making on Large Australian Defence Projects
Applying Patterns to Develop a Product Line Architecture for Statistical Analysis Software
Architectural Decision-Making in Open-Source Systems - Preliminary Observations
Rigorous Architectural Reasoning for Self-Adaptive Software Systems
Generalizing Consistency Checking between Software Views
"The 3+1 Views of Architecture (in 3D)": An Amplification of the 4+1 Viewpoint Framework
Using an Architecture Description Language to Model a Large-Scale Information System - An Industrial Experience Report
A Framework for Estimating the Impact of a Distributed Software System's Architectural Style on its Energy Consumption
Supporting ARINC 653-based Dynamic Reconfiguration
A classification of software reference architectures: Analyzing their success and effectiveness
Challenges of Variability in Model-Driven and Transformational Approaches: A Systematic Survey
Encapsulating Quality Attribute Knowledge
Ontology-driven visualization of architectural design decisions
The COMQUAD Component Container Architecture
Introducing Reflection in Architecture Description Languages
Modeling Software Architecutes and Styles with Graph Grammars and Constraint Solving
Understanding and Propagating Architecutural Changes
Tutorial Summary for Dependability Analysis in the Context of Component-Based System Architectures
The Boomeranged Software Architect
An Integrated Lightweight Software Architecture for Mobile Business Applications
Towards a generic architecture for multi-level modeling
Teaching Software Architecture Design
Semi-Automated Incremental Synchronization between Conceptual and Implementation Level Architectures
Defining Service-Oriented Software Architecture Models for a MDA-based Development Process at the PIM level
First International Workshop on Variability in Software Architecture (VARSA 2011)
Configurator-as-a-service: tool support for deriving software architectures at runtime
Classifying Software Architecture Quality Research
How Does the Architect's Role Change as the Software Ages?
Seventh Working IEEE / IFIP Conference on Software Architecture (WICSA 2008), 18-22 February 2008, Vancouver, BC, Canada
A Pattern-Based Approach to Development of Service Mediators for Protocol Mediation
Inconsistency Resolution in Merging Versions of Architectural Models
The Adaptive Object-Model Architectural Style
Weaving the Fabric of the Control Loop through Aspects
Producing Software Architecture Documentation to Suit Your Needs
On the Notion of Variability in Software Product Lines
On the Architecture of Liquid Software: Technology Alternatives and Design Space
Integration Problems of Core Components in a Web Product Line
Best Practices for Writing and Managing Performance, Reliability, and Availability Requirements
Towards a Reference Architecture to Provision Tools as a Service for Global Software Development
BUDGET: A Tool for Supporting Software Architecture Traceability Research
Architectural Decisions for HW/SW Partitioning Based on Multiple Extra-Functional Properties
Refactoring Methods
Relating Architectural Decay and Sustainability of Software Systems
Can Styles Improve Architectural Pattern Reuse?
A Study of Architectural Information Foraging in Software Architecture Documents
Towards an Evidence-Based Understanding of Emergence of Architecture through Continuous Refactoring in Agile Software Development
Viewpoints for modeling choreographies in service-oriented architectures
Plastic Partial Components: A solution to support variability in architectural components
Aligning architecture knowledge management with Scrum
DMDA - A Dynamic Service Architecture for Scientific Computing
Software Architecture for Mobile Distributed Computing
Issues Dealing with Non-Functional Requirements across the Contractual Divide
Forces on Architecture Decisions - A Viewpoint
Sparking Research Ideas from the Friction Between Doctrine and Reality
Exploring ontologies to support the establishment of reference architectures: An example on software testing
Defeasible Argumentation of Software Architectures
On the need of architectural patterns in AOSD for software evolution
Architecture Design Recovery of a Family of Embedded Software Systems
Software Architecture Pattern Morphology in Open-Source Systems
On the Composition and Reuse of Viewpoints across Architecture Frameworks
A Flexible Framework for Runtime Monitoring of System-of-Systems Architectures
An exploratory study of architectural practices and challenges in using agile software development approaches
Capabilities and Features: Linking Business and Application Architectures
Towards bridging the communication gap between consumers and providers in the cloud
Integrating Architecture-Centric Methods into Object-Oriented Analysis and Design
ImageBuilder Software
Evaluation of the Use of Quality Attribute Scenarios in a Plug-In Hybrid Electric Vehicle Controls System - Industrial Case Study
Component Replacement in a Long-Living Architecture: The 3RDBA Approach
Adaptation and Distribution of Pipeline-Based Context-Aware Web Architectures
Distilling Architectural Design Decisions and Their Relationships Using Frequent Item-Sets
On Timing Analysis of Component-Based Vehicular Distributed Embedded Systems at Various Abstraction Levels
A reference architecture template for software-intensive embedded systems
Automated Analysis and Code Generation for Domain-Specific Models
Design Principles for Effective Knowledge Discovery from Big Data
Unified analytics platform for big data
Capturing and Maintaining Architectural Knowledge Using Context Information
Evolutionary architecting of embedded automotive product lines: An industrial case study
Towards a Pervasive Infrastructure for Chemical-Inspired Self-organising Services
Case Study on Architecture-Centered Design for Monitoring Views at CERN
Introducing Aspect-oriented Space Containers for efficient publish/subscribe scenarios in Intelligent Transportation Systems
Analysis and Management of Architectural Dependencies in Iterative Release Planning
Documenting and Analyzing a Context-Sensitive Design Space
Using Architectural Patterns to Define Architectural Decisions
Aspects and Constraints for Implementing Configurable Product-Line Architectures
Architectural Analysis of MATLAB/Simulink Models with Artshop
Empirical Study of Architectural Knowledge Management Practices
A Variability Viewpoint for Enterprise Software Systems
Architecting Pervasive Computing Systems for Privacy: A Survey
Automated Reliability Prediction from Formal Architectural Descriptions
Architecture Adaptation Based on Belief Inaccuracy Estimation
Supporting the Evolution of Product Line Architectures with Variability Model Fragments
A Framework for Obtaining the Ground-Truth in Architectural Recovery
Architectural styles for runtime software adaptation
Mining Patterns to Support Software Architecture Evaluation
Towards component-based software engineering of cloud applications
A Conceptual Model for Architecting Mobile Applications
Layered architecture revisited - Comparison of research and practice
Specification and Refinement of Dynamic Software Architectures
5th Working IEEE/IFIP Conference on Software Architecture - TOC
The Need for a Multilevel Context-Aware Software Architecture Analysis and Design Method with Enterprise and System Architecture Concerns as First Class Entities
Modeling architectural change: Architectural scripting and its applications to reconfiguration
12th Working IEEE/IFIP Conference on Software Architecture, WICSA 2015, Montreal, QC, Canada, May 4-8, 2015
Flow Sensitive Slicing for MATLAB/Simulink Models
Empirical Research in Software Architecture: How Far have We Come?
Architecture Knowledge Management: Concepts, Technologies, Challenges
Towards a pattern language for self-adaptation of cloud-based architectures
Prioritizing Architectural Concerns
Defining execution viewpoints for a large and complex software-intensive system
Generalizing a Model of Software Architecture Design from Five Industrial Approaches
Building up and Exploiting Architectural Knowledge
Handling Variability in Software Architecture: Problems and Implications
Software Components Services for Embedded Real-Time Systems
PACE: An Architectural Style for Trust Management in Decentralized Applications
Assessing the Architectonics of Large, Software-Intensive Systems Using a Knowledge-Based Approach
Towards a formalization of mediating connectors for on the fly interoperability
Architectures and platforms for knowledge discovery from data: workshop at WICSA/ECSA 2012
A Model-Driven Approach to Extract Views from an Architecture Description Language
An architectural style for optimizing system qualities in adaptive embedded systems using Multi-Objective Optimization
Improving Testing in an Enterprise SOA with an Architecture-Based Approach
Architecture Description Leveraging Model Driven Engineering and Semantic Wikis
PRIDE - An Environment for Component-Based Development of Distributed Real-Time Embedded Systems
PADL2Java: A Java code generator for process algebraic architectural descriptions
Architectural decision identification in architectural patterns
A Proactive Support for Conceptual Interoperability Analysis in Software Systems
An Introduction to Effectively Evaluating Software Architectures
An Architectural Approach to Mobility - The Handover Case Study
A Comparison of Static Architecture Compliance Checking Approaches
Quantitative Observation and Theoretical Construction in Software Architecture
A Journey through the Land of Model-View-Design Patterns
An architecture design method for critical embedded systems
A metamodel for the support of semantically rich modular architectures in the context of static architecture compliance checking
A Recoverability-Oriented Analysis for Operations on Cloud Applications
Successful Architecture for Short Message Service Center
Integrating Variability Management and Software Architecture
The Functional Architecture Modeling Method Applied on Web Browsers
An Architectural Approach to Support Online Updates of Software Product Lines
Dedal-CDL: Modeling First-class Architectural Changes in Dedal
Designing Domain-Specific Software Architecture (DSSA): Towards a New Approach
Data management requirements for a knowledge discovery platform
Consistent Runtime Evolution of Service-Based Business Processes
On bridging the gap between practice and vision for software architecture reconstruction and evolution: a toolbox perspective
COAST: An Architectural Style for Decentralized On-Demand Tailored Services
Architecture Assessment Model for System Evolution
Value-Based Design Decision Rationale Documentation: Principles and Empirical Feasibility Study
Coordination in Software Architectures: an Aspect-Oriented Approach
Towards Software Assets Origin Selection Supported by a Knowledge Repository
Architecture Reconstruction in Practice
Is Architecture a Product that Can Be Packaged and Sold?
Statechart Simulator for Modeling Architectural Dynamics
An Experience Report on Detecting and Repairing Software Architecture Erosion
Event-Based Execution Architectures for Dynamic Software Systems
Understanding Architectural Assets
Patterns Transform Architectures
What Architects Should Know About Reverse Engineering and Rengineering
Describing Software Architecture with UML
A Context Model for Architectural Decision Support
Software Architecture Documentation: The Road Ahead
Introducing Software Product Lines in Model-Based Design Processes: An Industrial Experience
Modelling Architectural Decisions under Changing Requirements
uDesign: End-User Design Applied to Monitoring and Control Applications for Smart Spaces
Message-driven FP-growth
Architecture Knowledge for Evaluating Scalable Databases
Engineering Proprioception in SLA Management for Cloud Architectures
Developing Dependable Systems Using Software Architecture
Assessing Suitability of Cloud Oriented Platforms for Application Development
An architecture framework for application-managed scaling of cloud-hosted relational databases
DecDoc: A Tool for Documenting Design Decisions Collaboratively and Incrementally
Combining Pattern Languages and Reusable Architectural Decision Models into a Comprehensive and Comprehensible Design Method
A Network Architectural Style for Real-time Systems: NaSr
2012 Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture, WICSA/ECSA 2012, Helsinki, Finland, August 20-24, 2012
Lightweight Dependency Models to Manage Software Architecture
Updating IEEE 1471: Architecture Frameworks and Other Topics
Scapegoat: An Adaptive Monitoring Framework for Component-Based Systems
5th Working IEEE/IFIP Conference on Software Architecture - Cover
A Multiple Case Study of Continuous Architecting in Large Agile Companies: Current Gaps and the CAFFEA Framework
A Generic Platform for Enterprise Gamification
Pattern Oriented Software Architecture: Patterns for Resource Management
The Role of Platform Boundary Resources in Software Ecosystems: A Case Study
Specifying Architecture Behavior with SysADL
Extending SPQR to Architectural Analysis by Semi-Automated Training
Enabling Performance Antipatterns to Arise from an ADL-based Software Architecture
Towards Automation of Performance Architectural Tactics Application
5th Working IEEE/IFIP Conference on Software Architecture - Title
Quality-Driven Software Architecture Model Transformation
Continuous Architecting of Stream-Based Systems
The VerifyThis Collaborative Long-Term Challenge Series
Behind the Scene of the Model Checking Contest, Analysis of Results from 2018 to 2023
VerifyThis 2023: An International Program Verification Competition
TOOLympics Challenge 2023 - Updates, Results, Successes of the Formal-Methods Competitions, TOOLympics 2023, Paris, France
Competition of Solvers for Constrained Horn Clauses (CHC-COMP 2023)
The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems
Tools at the Frontiers of Quantitative Verification - QComp 2023 Competition Report
Verification of a Fault-Tolerant Property of a Multiprocessor System: A Case Study in Theorem Prover-Based Verification
Transformational Design in a Theorem Prover
Implementation of the Veritas Design Logic
An Automatic Generalization Method for the Inductive Proof of Replicated and Parallel Architectures
Synchronous Realization of Asynchronous Computations
Reasoning About Pipelines with Structural Hazards
Mechanized Verification of Refinement
Formal Verification of Characteristic Properties
A Reduced Instruction Set Proof Environment
Theorem Provers in Circuit Design - Theory, Practice and Experience, Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994, Proceedings
A Correctness Model for Pipelined Multiprocessors
FUNNEL and 2OBJ: Towards an Integrated Hardware Design Environment
Tutorial on Design Verification with Synchronized Transitions
Using the State Delta Verification System (SDVS) for Hardware Verification
Exploiting Structural Similarities in a BDD-Based Verification Method
Non-Restoring Integer Square Root: A Case Study in Design by Principled Optimization
Theorem Provers in Circuit Design, Proceedings of the IFIP TC10/WG 10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice and Experience, Nijmegen, The Netherlands, 22-24 June 1992, Proceedings
A Formal Framework for High Level Synthesis
The Veritas Design Logic: A User's View
Quantitative Evaluation of Formal Based Synthesis in ASIC Design
A Description Methodology for Parameterized Modules in the Boyer-Moore Logic
A Tutorial on Using PVS for Hardware Verification
A Compositional Circuit Model and Verification by Composition
Hierarchical Mixed-Mode Verification of Complex FSMs Described at the RT Level
Nuprl and Its Use in Circuit Design
Experience with Embedding Hardware Description Languages in HOL
Automatic Correctness Proof of the Implementation of Synchronous Sequential Circuits Using an Algebraic Approach
Extending Formal Reasoning with Support for Hardware Diagrams
Incremental Design and Formal Verification of Microcoded Microporcessors
Mechanized Verification of Speed-independence
Mechanized Verification of Circuit Descriptions Using the Larch Prover
Benchmark-Circuits for Hardware-Verification
Introduction to a Formally Defined Hardware Description Language
Modelling and Verification of Timing Conditions with the Boyer Moore Prover
Theorem Proving as an Industrial Tool for System Level Desgin
Effective Theorem Proving for Hardware Verification
Studies of the Single Pulser in Various Reasoning Systems
A Reconfigurable Switched-Capacitor DC-DC Converter and Cascode LDO for Dynamic Voltage Scaling and High PSR
Footstep detection and denoising using a single triaxial geophone
A 95-nA Quiescent-Current Fast-Transient Output-Capacitor-Less LDO with Enhanced Load Regulation for IoT Applications
Maximum Likelihood Timing and Carrier Frequency Offset Estimation for OFDM systems with Periodic Preambles
Relations on the bounds of the number of channels on multi-hop wireless networks
Design of Optimal Decimation and Interpolation Filters for Low Bit-Rate Image Coding
Hardware Trojan detection with linear regression based gate-level characterization
Background calibration algorithm for pipelined ADC with open-loop residue amplifier using split ADC structure
Improvement of Generalization Performance for Timber Health Monitoring using Machine Learning
Voltage-mode quadrature oscillator using VD-DIBA active elements
Unified HW/SW framework for efficient system level simulation
A Hitchhiker's Guide to the DFM Universe
A tunable transconductor with high linearity
A 104μW EMI-resisting bandgap voltage reference achieving -20dB PSRR, and 5% DC shift under a 4dBm EMI level
An improved low-power CMOS direct-conversion transmitter for GHz wireless communication applications
An 8T SRAM cell with column-based dynamic supply voltage for bit-interleaving
Frequency-to-voltage converter for temperature compensation of CMOS RC relaxation oscillator
A survey on the structures of current mobile humanoid robots
A 7.2mW 15Mbps ASK CMOS transmitter for ingestible capsule endoscopy
High-speed serial interconnect transceiver: Applications and design
Continuous-time symbol detector for IR-UWB rake receiver in 90 nm CMOS
VSIP : Implementation of Video Specific Instruction-set Processor
A block type decision algorithm for H.264/AVC intra prediction based on entropy feature
Packet loss concealment for VoIP based on Pitch Waveform Replication and Linear Predictive Coding
GPU accelerated fast FEM deformation simulation
Overlapped block-based adaptive bilateral motion estimation
IEEE Asia Pacific Conference on Circuits and Systems, APCCAS 2010, Kuala Lumpur, Malaysia, December 6-9, 2010
A fast CRAM SEU error detection scheme for FPGAs
VLSI Architecture for High-Speed / Low-Power Implementation of Multilevel Lifting DWT
A Time-domain Bandgap Reference with Continuous Output Voltage
A 2.4-GHz CMOS Tunable Image-Rejection Low-Noise Amplifier with Active Inductor
Error concealment using layer structure for JPEG2000 images
Realtime face object extraction algorithm for video phone
Performance evaluation of OFDM de-modulator with various multiplier architectures for UWB system
A tunable power amplifier employing digitally controlled accumulation-mode varactor array for 2.4-GHz short-range wireless communication
Compressor tree based processing element optimization in propagate partial SAD architecture
Powder RFID chip technology
Saliency detection improved by Principle Component Analysis and boundary scoring approach
Development of volumetric display based on multi-bit color LED
An ultra low-power delta-sigma modulator using charge-transfer amplifier technique
A Low-Complexity Reconfigurable FFT Processor for Four Data Overlapping Modes
Heart Rate Estimation from Ballistocardiography Based on Hilbert Transform and Phase Vocoder
Object recognition based on generalized linear regression classification in use of color information
Edge adaptive hybrid norm prior method for blurred image reconstruction
Lossless data hiding method using error correction code
Low complexity photo sensor dead pixel detection algorithm
An Algorithm for the Design of Multiplierless IIR Filters as a Parallel Connection of Two All-Pass Filters
Simple and concise photovoltaic power generation system installed in veranda
A highly parallel SAD architecture for motion estimation in HEVC encoder
A reduced area 1 GSPS FFT design using MRMDF architecture for UWB communication