yusuke1997/dblp-id-title huggingface dataset:
Das Paradigma der Event-Driven Architecture als Grundlage für ein entscheidungsunterstützendes IT-System im Zivil- und Katastrophenschutz
2. Workshop Lehre für Requirements Engineering (LehRE)
NLCI - A Natural Language Command Interpreter
A Generic Difference Algorithm for UML Models
Ein Ansatz zum Erkennen von Schleifen in Graphersetzungssystemen mit Hilfe einer aussagenlogischen Kodierung und seine Anwendung auf Haskell
Flexible Access Control for JavaScript
3rd Workshop on Continuous Software Engineering (CSE)
Clean Code: On the Use of Practices and Tools to Produce Maintainable Code for Long-Living Software
A Seamless Model-Based Development Process for Automotive Systems
Ein gutes Bild erfordert mindestens 1000 Worte - Daten-Visualisierungen in der Praxis
Generating Review Models to Validate Safety Requirements
An Approach for Logic-based Knowledge Representation and Automated Reasoning over Underspecification and Refinement in Safety-Critical Cyber-Physical Systems
Hallway: ein Erweiterbares Digitales Soziales Netzwerk
Workshop Produktlinien im Kontext: Technologie, Prozesse, Business und Organisation
Modeling and Verification of Evolving Cyber-Physical Spaces
Modellbasierter Test mit FitNesse - Ein Erfahrungsbericht aus der Praxis
Collaborative Software Modeling in Virtual Reality
Just test what you cannot verify!
Positionspapier zur Masterarbeit "Ortsbezogene Dienste im Paradigma des Web 2.0"
C# durch die Brille des Software-Entwicklers
Reconfigurable Computing Hypervisors: State-of-the-Art and Ways Ahead
4th Workshop on Avionics Systems and Software Engineering (AvioSE'22)
Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März - 20. März 2015, Dresden, Germany
Workshop Requirements Engineering und Business Process Management - REBPM 2009
Inwieweit sind Spezifikationssprachen Programmiersprachen? Versuch eines systematischen Ansatzes
Quantum Software Ecosystem Design
MD-DSL - eine domänenspezifische Sprache zur Beschreibung und Generierung mobiler Anwendungen
Methodological Principles for Reproducible Performance Evaluation in Cloud Computing
Test Sequence Generation From Formally Verified SysML Models
Traceability - Nutzung und Nutzen
Anforderungsmanagement in Enterprise Systems-Projekten
Selektionswerkzeug zur Auswahl projektspezifischer Vorgehensstrategien
Durchführung von Modultests durch den Auftraggeber in Softwareentwicklungsprojekten mittels jCUT
Component and Connector Views in Practice
Software-Produktqualität modellieren und bewerten: Der Quamoco-Ansatz
Badger: Complexity Analysis with Fuzzing and Symbolic Execution
Tool Support for Integrated Development of Component-based Embedded Systems
Effekte modellbasierter Test- und Analyseverfahren in Unternehmen - Ergebnisse einer großangelegten empirischen Evaluation mittels industrieller Fallstudien
Ranged Program Analysis: A Parallel Divide-and-Conquer Approach for Software Verification
An Empirical Study of Flaky Tests in Python
Parametric DeltaJ 1.5: Propagating Feature Attributes into Implementation Artifacts
SW-Architektur, SW-Sharing & Standardisierung
Data-Driven Design and Evaluation of SMT Meta-Solving Strategies
CPSSC - 1st International Workshop on Cyber-Physical Systems in the Context of Smart Cities
Das Link-System: Von Weblinks zu universellen, sensitiven Hyperlinks
Documenting Assumptions About the Operational Context of Long-Living Collaborative Embedded Systems
Using JOANA for Information Flow Control in Java Programs - A Practical Guide
PLASMA/D - Eine Sprache für den Systementwurf
Certification of transformation algorithms in model-driven software development
Separation of concerns in AJAX-based web applications - a brief overview about the current situation
On the Anatomy of Real-World R Code for Static Analysis
Detecting Information Flow by Mutating Input Data
UNICASE Trace Client: A CASE Tool Integrating Requirements Engineering, Project Management and Code Implementation
Die Objektorientierte Hülle - Erweiterbarkeit imperativ-prozeduraler Altsysteme durch Verschalung
Eine Multikanal-Architektur für adaptive, webbasierte Frontendsysteme und deren Erweiterbarkeit durch Variantenbildung
Automatic generation of machine emulators: Efficient synthesis of robust virtual machines for legacy software migration
Are "Non-functional" Requirements really Non-functional?
Requirements Engineering und Business Process Management - Konvergenz, Synonym oder doch so wie gehabt? (REBPM 2009)
Accurate profiling in the presence of dynamic compilation
Agiles Testen: Auch Anwender können Unit Tests
Process Improvement - When the Fog Clears, Business Success Counts
Unterstützung von BPMN durch Lösungen der SAP
Kognitive Belastung als lokales Komplexitätsmaß in Geschäftsprozessmodellen
pylibjit: A JIT Compiler Library for Python
Isolating cause-effect chains in computer systems
LehRE: 2. Workshop "Lehre für Requirements Engineering"
Software-Entwicklung im Umbruch - Industrialisierung und Globalisierung
Secure Data-Flow Compliance Checks between Models and Code based on Automated Mappings
Managing the Transition of Educational Technology from a Research Project to Productive Use
Statistical Testing within the Scope of the System Validation of a RIS/PACS System
Strategies and Best Practices for MBSE Adoption in Embedded Systems Industry
Counterfactual Explanations for Models of Code
A Graph-Based Framework for Model-Driven Optimization Facilitating Impact Analysis of Mutation Operator Properties
Specmate: Automated Creation of Test Cases from Acceptance Criteria
Organisation von GUI-Testvideos aus verhaltensgetriebener Entwicklung zur Gewinnung von Stakeholder-Feedback
Collaborative Development of Knowledge Bases in Distributed Requirements Elicitation
How to Improve Decision Documentation in Software Evolution?
Abstraktion von GUI-Komponenten für plattformübergreifende funktionale Tests
Zertifizierung einer Sicherungskomponente mittels durchgängig formaler Modellierung
Zur Integration von Struktur- und Verhaltensmodellierung mit OCL
WG3: Vergleich und Versionierung von UML-Modellen
A Formal Framework for Incremental Model Slicing
Standardisierung von Spezifikationen in einem Softwarehaus
Featuregesteuerte Architekturgestaltung zwecks Wartbarkeit und Evolution von Produktlinien
Early Timing Analysis based on Scenario Requirements and Platform Models (Extended Abstract)
System Testing and Program Verification
Software Architecture Documentation for Developers: A Survey
Open Source als Triebfeder für erfolgreiche Softwareprojekte in der öffentlichen Verwaltung
Input Invariants
MoFuzz: A Fuzzer Suite for Testing Model-Driven Software Engineering Tools
Semantisch beschriebene Grid-Dienste in einem Semantik Webservice Framework
Explainable Online Reinforcement Learning for Adaptive Systems
Development issues for speech-enabled mobile applications
Fortgeschrittene Syntaxerweiterungen durch virtuelle Operatoren in MOSTflexiPL
Naming the pain in requirements engineering: A survey design and German results
6. Arbeitstagung Programmiersprachen (ATPS 2013)
Produktlinien im Kontext: Technologie, Prozesse, Business und Organisation (PIK 2012)
Ein Konzept zur organisationsübergreifenden Integration von IT-Systemen für die zivile Sicherheit
Evolutionäre Software- und Systementwicklung - Methoden und Erfahrungen (ESoSyM-2011)
Anforderungen von Leitbranchen der deutschen Industrie an Variantenmanagement und Wiederverwendung und daraus resultierende Forschungsfragestellungen
20th Workshop on Automotive Software Engineering (ASE'23)
Automatic Test Case Generation from UML Models and OCL Expressions
On the Prediction of the Mutual Impact of Business Processes and Enterprise Information Systems
Erfolgsbedingungen für Anfänger zum Erlernen der Programmierung portabler GUIs in einem Semester
Herausforderungen an das Software Engineering in der Versicherungswirtschaft
Analysis and Propagation of Feature Revisions in Preprocessor-based Software Product Lines
Projectional Editing of Product Lines
Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015, Dresden, Germany, 17.-18. März 2015
Flexible software process lines in practice: A metamodel-based approach to effectively construct and manage families of software process models
Towards Creating Flexible Tool Chains for the Design and Analysis of Multi-Core Systems
Teaching Clean Code
Mobile Scrum
Combining Structural and Functional Test Case Generation
IT Managers' Perspective on Technical Debt Management
BRIEF: Systematisches Prozess-Briefing und -Debriefing. Ein bei der Erstellung komplexer Automobilsoftware praxiserprobtes Entwicklungsvorgehen, das Elemente klassischer und agiler Modelle kombiniert
Using Collaborative Business Process Models for the Configuration of Distributed Workflow Environments
Mining Domain-Specific Edit Operations from Model Repositories with Applications to Semantic Lifting of Model Differences and Change Profiling
Konzeption eines Austauschformates für AUTOSAR Diagramme
Integration of GPU RTL IP into System-level Simulation through TLM: A Case Study with Vortex RISC-V GPU in the METASAT Platform Digital Twin
Markup-basiertes Spezifikations- und Anforderungsmanagement in agilen Softwareprojekten
WG0: Nachwuchsworkshop
Digitalisierung technischer Innovationen - Eine besondere Chance für das Software Engineering oder sollte man lieber die Annahme seines Konferenzpapiers optimieren?
Wo liegen die Grenzen der praktischen Anwendung formaler Methoden für die Anforderungsdefinition und funktionale Spezifikation?
Introducing model-based testing techniques in industrial projects
Verifying Component and Connector Models against Crosscutting Structural Views
Smarte Systeme und Services für Freiheit, Recht und Ordnung
WH5: Wie viel Requirements Engineering steckt im Software Engineering?
Building Secure Systems Using a Security Engineering Process and Security Building Blocks
Rahmenbedingungen für Informationssysteme im Kontext der nicht-polizeilichen Gefahrenabwehr
Software-Produktlinien agilisieren: Ein Transformationsmodell für große Unternehmen
Serious Games for Software Refactoring
Positionsstatement: Über die Rolle von formalem Beweis und Entwicklung im Zertifizierungsprozeß
New test approach for embedded applications
Holistic testing with basic statecharts
Datenstrukturiertes Entwerfen von Realtime-Software
Evolutionäre Entwicklung einer Web-Anwendung im kirchlichen Umfeld
Software Engineering und Software Management 2018
Developers' Visuo-spatial Mental Model and Program Comprehension
Ein strukturierter Ansatz zur Ableitung methodenspezifischer UML/SysML-Profile am Beispiel des SPES 2020 Requirements Viewpoints
Path Constraint Construction with Lookahead
Optimierte Fehlerfindung im Funktionstest durch automatisierte Analyse von Testprotokollen
TaintBench: Automatic Real-World Malware Benchmarking of Android Taint Analyses
Simulating Microservice-based Architectures for Resilience Assessment Enriched by Authentic Container Orchestration
Lessons Learned in Aligning Data and Model Evolution in Collaborative Information Systems - A Summary Report
MatchBox: A Framework for Dynamic Configuration of Service Matching Processes
Experience Report: A Comparison between Commercial and Open Source Reference Implementations for the Rugby Process Model
Leichtgewichtiges Anforderungsmanagement in der Automotive Vorentwicklung
Load Balancing For High Performance Computing Using Quantum Annealing
Mehr sehen mit sira - Mit einem Blick IT-Projekte durchleuchten
A System for Seamless Abstraction Layers for Model-based Development of Embedded Software
Usefulness and usability of heuristic walkthroughs for evaluating domain-specific developer tools in industry: Evidence from four field simulations
Vom modellbasierten Architekturentwurf über die Simulation verteilter Systeme zum Serienprojekt
Challenges in the Development of Mobile Online Services in the Automotive Industry - A Case Study
How Much Does Unused Code Matter for Maintenance?
Generating Explanations for Algorithmic Decisions of Usage-Based Insurances using Natural Language Generation
Proceedings of the Workshops of the Software Engineering Conference 2019, Stuttgart, Germany, February 19, 2019
Erster Workshop zur Zukunft der Entwicklung softwareintensiver, eingebetteter Systeme (ENVISION2020)
Über die Auswirkungen nicht-funktionaler Anforderungen beim Entwurf eines Rahmenwerkes zur Anbindung von Smart Items an ERP-Systeme
Replay-basiertes Testen von MOST-Bus-Anwendungen im Automotive-Umfeld
Qualitätsverbesserung durch gewichtete Teilaspekte im Image Retrieval
Workshop Modellgetriebene Softwarearchitektur -Evolution, Integration und Migration
Assessing Relations between Non-Functional Requirements
Towards API Usability Engineering as a Software Engineering Paradigm
A DSL-based approach for event-based monitoring of systems of systems
Online Performance Prediction with Architecture-Level Performance Models
Towards a Pattern Catalogue for E-Assessment System Integration
Vergleich und Kombination von Techniken des Predictive Business Process Monitoring
Konsistenzprüfung von Architekturbeschreibungen mit Anforderungen mittels linguistischer Analyse
Detecting Deadlock in Programs with Data-Centric Synchronization
Paisley: A Pattern Matching Library for Arbitrary Object Models
Data Lineage Goes Traceability - oder was Requirements Engineering von Business Intelligence lernen kann
Automating Product Derivation in Software Product Line Engineering
Improving Knowledge Sharing in Distributed Teams by Capturing and Recommending Informal Knowledge
TIME - Tracking Intra- and Inter-Model Evolution
Herausforderungen für das IT-Produktmanagement durch externe Plattformen
Reduktion von Testsuiten für Software-Produktlinien
Anforderungsbasierte Erkennung von Feature-Interaktionen in der Produktlinienentwicklung
A Closer Look on the Difficulties to Determine the Quality of Software Requirements
Software Engineering 2012: Fachtagung des GI-Fachbereichs Softwaretechnik, 27. Februar - 2. März 2012 in Berlin
Processes, Methods, and Tools in Model-based Engineering - A Qualitative Multiple-Case Study
Vudenc: Vulnerability Detection with Deep Learning on a Natural Codebase for Python - Summary
Predicting How to Test Requirements: An Automated Approach
Dynamische Analyse mit dem Software-EKG
Concept-Based Engineering of Situation-Specific Migration Methods
Software-Werkzeuge - Grundlage für effiziente, komplexe Entwicklungsprozesse
Zur Spezifikation von Datentypen
Component-Based Refinement and Verification of Information-Flow Security Policies for Cyber-Physical Microservice Architectures
Messung der Strukturellen Komplexität von Feature-Modellen
Measuring Program Comprehension with Functional Magnetic Resonance Imaging
Collaborative Program Comprehension in Extended Reality
Tailoring and Evaluating Non-Functional Interests Towards Task-Oriented Functional Requirements
Verknüpfung von kombinatorischem Plattform- und individuellem Produkt-Test für Software-Produktlinien
Vom Forschungsprototypen zur industriellen Nutzung einer qualitätsgesicherten medizinischen Softwarekomponente - Technologietransfer im CMSSE
How to Educate a Computer Scientist
Optimizing the Deployment of Software in the Cloud
Search strategies for functional logic programming
EditQL: A Textual Query Language for Evolving Models
Adding Semantics to Social Software Engineering: (Re-)Using Ontologies in a Community-oriented Requirements Engineering Environment
Opening up the Verification and Validation of Safety-Critical Software
Software Traceability in the Automotive Domain: Challenges and Solutions
Fallstudie zur Modellierung von Software-Entwicklungsprozessen auf Basis von SPEM 2.0
Eine Pilotstudie zur empirischen Untersuchung eines Ansatzes zur dreidimensionalen Visualisierung von objektorientierten Code-Strukturen
Mining Sandboxes for Security - Automatisches Sandboxing für Software-Sicherheit
Improving Productivity in the Development of Software-based Systems
Enactment of Adaptation in Data Stream Processing with Latency Implications
Guidelines for Using Empirical Studies in Software Engineering Education
On Knowledge Transfer Skill in Pair Programming
Professionalisation in ERP Selection
Sensor Supervision and Control Value Limitations in Networked Intensive Care
Towards an Architectural Style for Multi-tenant Software Applications
Inwieweit sind Spezifikationssprachen Programmiersprachen?
5th Workshop on Avionics Systems and Software Engineering (AvioSE'23)
Tackling combinatorial explosion: a study of industrial needs and practices for analyzing highly configurable systems
Social BPM: Software Engineering in agilen Business Communities
Architecture-driven Incremental Code Generation for Increased Developer Efficiency
Effiziente Erstellung von Software-Factories
Architecture-based Propagation Analyses Regarding Security
Naming in Deployment Pipelines for SaaS
AnchorMine: An Efficient Graph Pattern Matching System for Specific Vertex Matching
MobileHAR: A Lightweight and Efficient Human Activity Recognition Model based on Inverted Residual Inception Block
Supporting Emergency Service by Retasking Delay-Tolerant Network Architecture
Privacy-Preserving Recoverable Photo Sharing in Mobile Social Network
Area Localization Algorithm for Mobile Nodes in Wireless Sensor Networks Based on Support Vector Machines
Compact Unknown Tag Identification for Large-Scale RFID Systems
Design of Wireless Sensors for Automobiles
[Invited] LoRaCTP: a LoRa based Content Transfer Protocol for sustainable edge computing
Towards Energy-Efficient Algorithm-Based Estimation in Wireless Sensor Networks
Routing Transient Traffic in Mobile Ad Hoc Networks
Facade-Manager: Digital Twin Manage System for Glass Facade Leveraging Multimodal Large Model
Energy-Efficient Data Gathering in High-Voltage Transmission Line Monitoring System
A Framework of Temporal Data Retrieval for Unreliable WSNs Using Distributed Fountain Codes
Sixth International Conference on Mobile Ad-hoc and Sensor Networks, MSN 2010, Hangzhou, China, December 20-22, 2010
A Low Overhead Ad Hoc Routing Protocol with Route Recovery
A Federated Transfer Learning Framework with Multi-Scale Aggregation for Surface Defect Classification in IIoT
Content-Centric Community-Aware Mobile Social Network Routing Scheme
A Distributed Efficient Clustering Approach for Ad Hoc and Sensor Networks
Analytical Throughput for the Channel MAC Paradigm
Deadline Monotonic Policy over 802.11 Throughput and Average Service Time
Localized Mobility Control Routing in Robotic Sensor Wireless Networks
On Uplink Superposition Coding and Multi-user Diversity for Wireless Mesh Networks
On-Demand Anonymous Routing with Distance Vector Protecting Traffic Privacy in Wireless Multi-hop Networks
LiDAR based Cooperative Sensing in Vehicular Edge Computing
Intra-flow Network Coding Based Multipath Routing Protocol for Event-Driven Wireless Sensor Networks
A Self-ORganizing Trust Model Based on HP2P
Magic Wand: Towards Plug-and-Play Gesture Recognition on Smartwatch
The Research and Application of Dynamic Compatibilization Technology Based on the Optical Fiber Sensing
An Authenticated Key Agreement Protocol for Mobile Ad Hoc Networks
A Backoff-Based Energy Efficient Clustering Algorithm for Wireless Sensor Networks
Blockchain-based Access Control Model to Preserve Privacy for Students' Credit Information
An Algorithm for Constructing Virtual Backbone Network under Routing Cost Constraint for Heterogeneous Wireless Sensor Networks
TSA: A Two-Phase Scheme Against Amplification DDoS Attack in SDN
A New Privacy-Aware Mutual Authentication Mechanism for Charging-on-the-Move in Online Electric Vehicles
Collecting LoRa Data with an Energy-Budgeted UAV: A Bi-Criteria Approximate Solution
A Hierarchical Incentive Mechanism for Coded Federated Learning
A Randomized Algorithm for Roadside Units Placement in Vehicular Ad Hoc Network
A Signal-Time Coding Approach to Relay Networks
Towards a Flaw Function Heuristic Vulnerability Static Analysis Framework for Executable File
Unsupervised Federated Adversarial Domain Adaptation for Heterogeneous Internet of Things
Load-Aware Relay Selection in LTE - A System via Global Differentiated-Fairness Control
Joint Node Scheduling and Radio Switching for Energy Efficiency in Multi-radio WLAN Mesh Networks
A Path Reliable Routing Protocol in Mobile Ad Hoc Networks
RTSS: Robust Tuple Space Search for Packet Classification
Efficient Side-Channel Attack through Balanced Labels Compression and Variational Autoencoder
NDA-CoMBS: Network Demand-Aware Autonomous Cooperative Decision-Making for Mobile Base Stations
A Self Organizing Multihop Clustering Protocol for Wireless Sensor Networks
Harnessing Edge Computing Resources for Accelerating Industrial Tasks
Visual Secret Sharing Scheme with (k, n) Threshold Based on QR Codes
DPoSt: Dynamic Proof of Storage-time
Influence Maximization with Trust Relationship in Social Networks
Robot Pose Estimation and Accuracy Analysis Based on Stereo Vision
Towards Efficient Video Inpainting Based on Implicit Neural Representation
Integer Programming Scheme for Target Coverage in Heterogeneous Wireless Sensor Networks
Adaptive Progressive Image Enhancement for Edge-Assisted Mobile Vision
Shrew Attack in Cloud Data Center Networks
Energy-Saving Cluster Formation Algorithm in Wireless Sensor Networks
Lifetime Improvements of Smart Sensors Maintenance Protocol in Prospect of IoT-based Rampal Power Plant
QoS Topology Control with Minimal Total Energy Cost in Ad Hoc Wireless Networks
QoS Optimization of DNN Serving Systems Based on Per-Request Latency Characteristics
IMFi: IMU-WiFi based Cross-modal Gait Recognition System with Hot-Deployment
Improving the Response Time of SDN Controllers Based on Vertical Handover
The Coverage of Dynamic Area in Mobile Sensor Networks
Dual Binding Update with Additional Care of Address in Network Mobility
iWEP: An Intelligent WLAN Early Warning Platform Using Edge Computing
An Energy-Balanced Strategy for Clustering Protocols in Wireless Sensor Networks
Impact of Radio Irregularities on Connectivity of Wireless Networks with Log-Normal Shadowing
High Performance Power-Efficient Gate-Based CAM for Reconfigurable Computing
A Tracking Range Based Ant-Colony Routing Protocol for Mobile Wireless
Load Migrating for the Hot Spots in Wireless Sensor Networks Using CTP
Evaluating the Energy Consumption of RFID Tag Collision Resolution Protocols
A Holistic Routing Protocol Design in Underground Wireless Sensor Networks
Greedy Geographic Routing Algorithms in Real Environment
Achieving Communication Effectiveness of Web Authentication Protocol with Key Update
A Scalable Power-Efficient Data Gathering Protocol with Delay Guaranty for Wireless Sensor Networks
Dandelion: An Online Testbed for LoRa Development
Design of P2P Application Layer Protocol
FedHe: Heterogeneous Models and Communication-Efficient Federated Learning
ConvMixed-ViT Architecture Based on LoRA for Compressive Sense in 6G-AIoT at Resource Constrained Environment
Collaborative Topology Control for Lifetime Maximization
Configuration of the C-V2X Mode 4 Sidelink PC5 Interface for Vehicular Communication
ZBMRP: A Zone Based Multicast Routing Protocol for Mobile Ad Hoc Networks
Public Transportation Assisted Data Delivery Scheme in Vehicular Delay Tolerant Networks
Minimum-Energy Multicast Using Random Linear Network Coding
MM-QUIC: Mobility-aware Multipath QUIC for Satellite Networks
SASAK: Shrinking the Attack Surface for Android Kernel with Stricter "seccomp" Restrictions
A Hierarchical Framework for Evaluation of Cloud Service Qualities
Soft Actor-Critic Algorithm for 360-Degree Video Streaming with Long-Term Viewport Prediction
Improved AP Clustering Algorithm Based on Target Segmentation
A Priority Task Scheduling Algorithm based on Residual Energy in EH-WSNs
Enable Online LoRa Decoding Under Partially Overlapping Interference
Low-Complexity Authentication Scheme Based on Cellular Automata in Wireless Network
Clapping and Broadcasting Synchronization in Wireless Sensor Network
Handover Analysis with Spatially Correlated Blockage Model
Accurate IoT Device Identification from Merely Packet Length
A Cross-Layer AOMDV Routing Protocol for V2V Communication in Urban VANET
An Efficient and Secure Authentication Scheme for In-vehicle Networks in Connected Vehicle