yusuke1997/dblp-id-title huggingface dataset:
Das Rechenzentrum für Remotestations-orientierte Datenverarbeitung in einem großen Industrieunternehmen
File Access Monitor System in CMS
Konzept für eine anlagenunabhängige Betriebsstatistik von Datenverarbeitungssystemen
Offene Architektur für verteilte heterogene Systeme
Das Campus-Netz MEDUSA - Erfahrungen und zukünfige Entwicklungen
Ein Vorschlag zur Leistungsbeschreibung von Interaktiven DV-Systemen
Terminalsysteme für wissenschaftliche Anwender - Schlußfolgerungen aus den Erfahrungen mit AMOS
Systemmanagement in verteilten DV-Umgebungen
SECUVISOR - Ein technisches Schutzkonzept für lokale Netzwerke
Das Rechenzentrum als aktive Kraft im Business Process Reengineering
Software-Maintenance in LAN-/WAN-Umgebungen: Probleme und Lösungsansätze
Vom Rechenzentrum zum Zentrum für Informations- und Kommunikationstechnik
Die Anwendung des CIM-Konzeptes auf den DV-Betrieb, dargestellt am Beispiel der Produktionsplanung und -steuerung
Einsatz und Wartung eines wissensbasierten Benutzerführungssystems am Rechenzentrum: Erfahrungen und Problematik aus Sicht des Informationsmanagements
Zentrale Datensicherung bei dezentraler Datenhaltung
/sw - Software-Installation und -Verteilung in einem heterogenen UNIX-Netz
Betrieb von DV-Systemen in der Zukunft, 5. GI-Fachgespräch über Rechenzentren, Tübingen, 17.-18. März 1983, Proceedings
Storage-Management-Lösungen
Computergestützte Dokumentation des Datenschutzbeauftragten
Prozeß- und Verfahrenseinführung in dezentralen UNIX-Systemen
Sicherheit der Datenverarbeitung
Information Center bei IBM Deutschland GmbH - Erfahrungsbericht
Netzwerkmanagement -Eine Herausforderung-
Automatisierung des Rechenzentrumsbetriebes
AVAS: Ein Auftragsverwaltungs- und -abwicklungssystem für das Betriebssystem BS2000
Effektive Nutzung von Parallelrechnern in Rechenzentrumsumgebungen
Einfluß und Ausmaß der Forderung nach Wirtschaftlichkeit in der Organisation von Rechenzentren
"Organizational Fit" der DV-Organisation Gestaltungsempfehlungen und Planungsverfahren
Management mobiler Endsysteme: Anforderungen bei der Integration in bestehende Managementsysteme
Organisation der Datenverarbeitung, an der Schwelle der 90er Jahre, 8. GI-Fachgespräch über Rechenzentren, Düsseldorf, 2.-3. März 1989, Proceedings
Datensicherung beim PC
Rationeller Austausch von Geschäftsdaten in der Konsumgüterwirtschaft
Workstation und Rechenzentrum: La Belle et la Bête
Die neue Rolle von Speichersystemen im IT-Service-Zentrum
Modellierung von Konfigurationsvorgängen für das Management von Netzkomponenten
ASAP - ein neues Verfahren zur Ausführung parallelisierbarer Programme in durchsatzorientierten Umgebungen
Ein Sicherheitskonzept für verteilte Systeme
Beherrschbarkeit und Grenzen der dezentralen DV
Ein Ansatz zur Abwehr von Computerviren
Landessystemkonzept Baden-Württemberg - Vereinheitlichung der Kommunikation, Rechenzentren und Datenhaltung
Dienstleistungsabrechnung bei zentraler und dezentraler Verarbeitung
Systems of Measure for Evaluation of Computer Centre Performance as a Tool for its Management
The Role of the Network in Disaster Recovery Planning
Verteilte Datensicherung bei der Dr. Materna GmbH oder Wie man ein lokales Netz effizient sichert
Das Aufgabenspektrum im Informationsmanagement - ein Meinungsbild in deutschen Unternehmen
Informationstechnik- und Unternehmensstrategie im Wechselspiel - Outsourcing und strategische Allianzen als wichtige Alternativen (Hauptvortrag)
Ein Begleitpapier zur Materialflußsteuerung im RZ
Lastverteilung in verteilten Systemen
Hochgeschwindigkeitsnetze: Evolution, Alternativen, Einsatz in einer universitären Rechenzentrumsumgebung
Weiterbelastung von RZ-Kosten
Das Rechenzentrum - eine überholte Organisationsform Versuch eines Resümees
Dezentraler Zugriff für Dialog- und Stapelverarbeitung eines Universitätsrechenzentrums mit Hilfe eines Kleinrechnernetzes
Bildschirmtext und Rechenverbund
Kapazitätsplanung von Rechenzentren mit Hilfe analytischer Modellierungsverfahren - Beispiele zur Konfigurationsplanung
Rechnergestütztes Problem-Management: Aufgaben und Funktionen in einer heterogenen DV-Umgebung
RSA basierte Sicherheitsdienste für die Kommunikationstechnik
Die Explosion der Datenmengen und ihre Handlung in wissenschaftlichen Instituten unter der Berücksichtigung der Forderung nach isochroner Präsentation
Zusammenarbeit Rechenzentrum Hochschulverwaltung
Verteilte Systeme - Organisation und Betrieb, Proceedings des 10. GI-Fachgesprächs über Rechenzentren am 16.-17. September 1993 in Gießen
Schlichten statt Richten. Das Schlichtungsverfahren der Deutschen Gesellschaft für Informationstechnik und Recht
IBIS - Intelligente Betriebsüberwachung mit integrierter Systemsteuerung
Die Risiko-Profil-Methode als ganzheitliche Sicherheitskonzeption für den EDV-Bereich und das Unternehmen
WWW-Server/Browser als Informationsdrehscheibe im Lokalen Netzwerk
Vom Rechenzentrum zum Kommunikations- und Informationszentrum - Betrieb von Informationssystemen in den 90er Jahren
Volltextsuche bei der Benutzerberatung
Verteilte Online-Informationssysteme
Anforderungen an das Rechenzentrum der Zukunft
Rightsizing mit Sun: Eine heterogene Client-Server-Umgebung am Beispiel des neuen Münchener Flughafens MUC II
Entwicklungstendenzen wissenschaftlicher Rechenzentren, Kolloquium, Göttingen, 19.-20. June 1980
Der Betrieb von Software-Testrechenzentren
Automatisierung der Hochschulverwaltung in den USA
Das Salzgitter-Modell - Ein Beispiel für die Zusammenarbeit zwischen Hochschule und Industrie bei der Entwicklung komplexer Software-Systeme
Die Übergabe von Informationssystemen in die Verantwortung eines RZ
Portabilität numerischer Software
Strategische Planung von Informationssystemen
Rechenzentren, Raumplanung und Gebäudetechnik, Entwicklungstendenzen für die nächsten Jahren
System Migration and Migration Tools
Betriebsablauf in einer RZ-GMBH
Software für das Rechenzentrum - Analyse des Bedarfs und Angebots
Beispiele für moderne Benutzerumgebungen durch verteilte Datenverarbeitung
Interaktive Datenverarbeitung im Bereich Entwicklung und Forschung
Entwicklung der zentralen und dezentralen Datenverarbeitung im technisch-wissenschaftlichen Bereich eines Unternehmens des Großanlagenbaues
Systemoptimierung mit Hilfe von synthetischen Belastungsprofilen
Netzmanagement in heterogenen Systemen - Status quo und Tendenzen
Durchführung von Wirtschaftlichkeitsbeurteilungen bei neuen Informations- und Kommunikationstechniken
Betrieb von Rechenzentren, Workshop der GI, Karlsruhe, 23./24. September 1975, Proceedings
Ablaufkontrolle und Installations-Management in einem Mehrzweckrechenzentrum
Der Betriebsablauf in einem Konzern-RZ
Commercial Internet and the need for security
Sind verteilte Systeme beherrschbar?
ECFILE-Datenhaltung in einem verteilten Rechensystem
OSI-Standards zur Unterstützung für den Transfer multimedialer Informationen
Softwarewartung als Organisations- und Managementaufgabe - Probleme, empirische Befunde und Lösungsvorschläge -
Eine Sicherheitsarchitektur für verteilte Systeme am Beispiel von DSSA
Anwenderorientierte Messungen in verteilten Datenverarbeitungssystem
Zur Beurteilung der Verfügbarkeit von Rechensystemen und die Absicherung im Wartungsvertrag
Aufgaben und Organisation des Rechenzentrums in der industriellen Forschung
Durchsatzmessungen auf einem Breitbandnetz
Einführung verteilter Systeme in einem Unternehmen der Markenartikelindustrie - Organisatorische Konsequenzen
ICOMA - Ein Werkzeug für ein integriertes Konfigurationsmanagement
Zur Qualitätssicherung in Rechenzentren
Das Medizinische Rechenzentrum in Gegenwart und Zukunft
Der Service des Rechenzentrums und der Gesamtablauf der EDV-Projekte der Benutzer
Planung und Realisierung eines neuen Rechenzentrums
Ist die Datenverarbeitung im Hochschulbereich noch koordinierbar?
Bemerkungen zur Rechenbedarfs- und Rechenzeitentwicklung
Die Textverarbeitung und das Hochschulrechenzentrum
Zentrale Sicherung dezentraler Daten
Ablaufsicherung und Abstimmkontrolle von Batch-Läfen
Strukturelle Veränderungen im RZ bei Einbeziehung von Fernverarbeitung und Rechnerverbund
Anwendungsentwicklung für Client-Server-Architekturen
Rechnerplanung im Münchener Hochschulbereich
Bewertung der analytischen Modellbindung für Performance-Überwachung und Kapazitätsplanung aus Praxissicht
Rationalisierung im Outputmanagement - ein Erfahrungsbericht
Probleme und Realisierung eines unbedienten RechenzentrumsBetriebes
Systems Management Middleware: Verteilte objektorientierte Technologien für das Systemmanagement
RZ-Outsourcing in Verbindung mit lokalen Netzwerk-Architekturen
Einsatz von Datenbanken im universitären Bereich
Arbeitsvorbereitung als Möglichkeit zur Steigerung der Effizienz auch im Hochschulrechenzentrum
Automatisierung des Betriebs von Hochleistungsdruckern in einem Druckerzentrum
Integration eines Systems zur Abrechnung personeller Dienste in ein Abrechnungssystem maschineller Leistungen
Open Software Foundation: Standards für verteilte Systemumgebungen
Kosten und Nutzen von Rechnernetzen in Hochschulen
Installation und Wartung eines homogenen UNIX-Netzes
Bildschirmtext-Rechnerverbund im Ausbildungsbereich der Fernuniversität
IM - Erfahrung bei der Hypobank AG - Stand und Planung
Ein Algorithmus zur Ermittlung der kostengünstigsten Anzahl von Bildschirmgeräten
Datenservices an einem Höchstleistungsrechenzentrum
vom Operateur zum qualifizierten EDV-Mitarbeiter
Leistungsmessung mit Hilfe von Accounting-Daten
Transparenz und Flexibilität bei der Bedienung des Benutzers
KIT200x - Eine Expertenumfrage über die Zukunft der Kommunikations- und Informationstechnik jenseits der Jahrtausendwende
MV/Open: Ein konzeptioneller Rahmen für die Entwicklung offener Anwendungen in verteilten Systemen
Rechenzentrum der Zukunft -Organisation und Betrieb eines BS2000-Softwareentwicklungsrechenzentrums
Flächenentwicklung von Rechenzentren
Die dezentrale Datenverarbeitung -Chance oder Überforderung der Verwaltung -
Computing in der Großforschung, Ziele und Struktur des Jülicher Systems
Unterstützung der Benutzer von Statistikpaketen, insbesondere Erleichterung der Anwendung von SPSS durch eine Methodenbankumgebung
DV - Zentrale ohne Hardware? Konzepte für eine zukunftsweisende DV - Struktur
Zentrum für Kommunikation und Informationsverarbeitung Anspruch, Wirklichkeit und Ausblick
Ressourcen-Dezentralisierung als Alternative für große Multiuser-Systeme
debis-iISMA-integrated Information Systems Management Architecture
Probleme des Datenschutzes und der Datensicherheit im Information Center-Konzept
Massenspeichersysteme - ein erster Schritt auf dem Weg zum operateurlosen Betrieb
Datensicherungsmaßnahmen und Objektschutz in einem zentralen Rechenzentrum
Organisation und Führung großer Datenbestände
Changemanagement der OfDV -Systemverwaltung-
Netzdokumentationssysteme - Realisierungsstand und Erfahrungen
Rechtliche Probleme in Datennetzen und Rechenzentren
Entscheidungskriterien für den Einsatz und die Auswahl von dezentralen Arbeitsplatzsystemen in Hochschulumgebung
Ein Vorentscheidungsmodell zur Bestimmung des Zentralisations- bzw. Dezentralisationsgrades für Informationssysteme
Datenschutz und Datensicherung
Zur Verteilung der Rechnerressourcen auf die Anwender
Prozeßorientiertes Controlling der Dienstleistungsqualität von Rechenzentren
Möglichkeiten der Produktionssteuerung in einer Datenfabrik
Das IBM Megazentrum - Eine europäische Konsolidierung
Die Göttinger Rechenmaschinen G1, G2, G3
Empirische Untersuchungen über das Nachfrageprofil für EDV-Leistungen an Universitäten
Sicherheit in UNIX
Einsatz zentraler Massenspeichersysteme zur automatischen Datenverwaltung
Maschinelle Zusammenstellung des Jobstreams als Vorselektion für ein Betriebssystem bei Multiprogramming (Modell CUSEP)
Aufgaben wissenschaftlicher Rechenzentren auf dem Gebiet der Informationstechnik
Theoretische Spezifika der Kostenrechnung in DV-Kompetenzzentren
Supercomputer als Mehrprozessoranlage -Erfahrungen und Ergebnisse-
Last- und Systemregelung im BS 2000
Struktur und Leistungsspektrum innovativer Rechenzentren, Vorträge der 12. GI-Fachtagung über Rechenzentren, Stuttgart-Möhringen, 19. und 20. Juni 1997
Kommunikation dezentraler betrieblicher Anwendungen (Hauptvortrag)
Aufgaben und Lösungswege für die DV in einem Forschungszentrum
Überlassung von Standardprogrammen - Was darf der Anwender tun?
Computer-Aided-Selling in dezentralisierten Vertriebsorganisationen
Die Rolle des hierarchischen Speicher-Management bei modernen Betriebssystemen
Die Rolle des Anwenders aus der Sicht eines naturwissenschaftlichen Universitätsinstitutes
Geschützter Teilbereich in einem verteilten System - Pilotprojekt der Max-Planck-Gesellschaft
Abrechnungsverfahren auf verteilten Systemen
Strukturprobleme wissenschaftlicher Rechenzentren
Bewertbarkeit der Dienstleistungen des Rechenzentrums
Aufgaben und Organisation eines Benutzerservice-Zentrums -Erfahrungsbericht eines Information Centre-
Zukünftige Entwicklung der Rechnerversorgung an Hochschulen
Das Deutsche Forschungsnetz - Konzept zur Integration schneller kommunikationsdienste
Probleme und Methoden der Ablaufplanung im RZ
Massnahmen zur RZ-Automatisierung und Rationalisierung bei DATEV
Sicherer Zugang zu Betriebssystemen mit der Chip-Karte
Teleservice
Plattformübergreifendes Drucken
Überlegungen zur technisch-organisatorischen Zusammenarbeit in einem Verbundsystem
Vorgehensweise bei Erstellung eines Katastrophenplanes für Rechenzentren
Sicherheit durch Netzwerktrennung
Sicherheitsprobleme vernetzter UNIX-Systeme
24-Stunden-Dialog-Betrieb für eine IMS-Datenbank-Anwendung in einem industriellen Großrechenzentrum
Das Programmdokumentationssystem PROGDOK des Regionalen RZ der Universität Hamburg
Externe Wartung von PC-Netzwerken
Leistungsbewertungsstrategie für Timesharing-Systeme
Sicherheitseinrichtungen in modernen GPC-Betriebssystemen
Kompabilitätsprobleme bei Editoren in verteilten Rechnersystemen
Auswirkungen der organisatorischen und technischen Entwicklungstendenzen auf Großrechenzentren
Auf dem Weg zum ISDN? - Erfahrungsbericht von der Inbetriebnahme/dem Betrieb einer PABX (Nixdorf DVS 8818) an der TU-Berlin
Das DV-Versorgungskonzept einer ingenieurwissenschaftlichen Großforschungseinrichtung
Einsatz von VAX-Systemen als Server in lokalen PC-Netzwerken - Erfahrungen bei Aufbau und Betrieb von IBM PC- und IBM Token-Ring Netzwerken im Verbund mit VAX-Rechnersystemen
Desastertolerante verteilte Systeme
Organisation und Betrieb von DV-Versorgungssystemen an Fachhochschulen
Verteilung von Sicherheitsfunktionen in Datennetzen
Der Einsatz von Mikrorechnern im Hochschulbereich
Rechner, Netze, Experten: die ständige Migration
Unterstützung dezentraler Workstation-Cluster durch zentrale Dienste
Integration eines massiv-parallelen Rechners in die Produktionsumgebung eines Rechenzentrums
Einsatz von Timesharing Systemen als Arbeitsmittel in der Arbeitsvorbereitung eines RZ
Zum Betriebsablauf in einem Industrie-Forschungs-Rechenzentrum
Das Information-Center als Teil des Informationsmanagements im Unternehmen
Konzeptionelle Überlegungen zum Thema Messen und Tunen in Großrechensystemen
Konzept für ein Diagnose- und Gestaltungsinstrumentarium zur Rationalisierung von Rechenzentren
Wissenschaftliche Datenkommunikation an der TU "Otto von Guericke" Magdeburg
RZ-Automatisierung mit Methoden der 4. Generation
Sicherheit in Client-Server-Architekturen
Eckwerte für Leistungsmessung und Kapazitätsplanung - Absichten in Niedersachsen -
Generic Management Architecture (GEMA) - ein neuer Netzwerkmanagementansatz
Das Rechenzentrums-Personal der Zukunft
Organisation und Betrieb von Rechenzentren, Fachgespräch der GI, Erlangen, 12./13. März 1981, Proceedings
Datenverbund in einem Rechenzentrum mit mehreren Rechnern Verschiedener Hersteller
Praktische Back-up-Lösungen zur Sicherung der Kontinuität der Datenverarbeitung
Organisatorische Anforderungen an ein Netzmanagementsystem zur Verwaltung heterogener Netze
Zukünftige Aufgaben und Organisationsformen von Universitäts-Rechenzentren im Blick auf die technische Entwicklung bei steigender Resourcennachfrage und weiteren Haushaltskürzungen
Performance Evaluation by Monitoring
Change Management - Organisation und Steuerung von Änderungsanforderungen an das Rechenzentrum
Empirische Ergebnisse der Kostenrechnung in einem DV-Kompetenzzentrum
Integrierte Dienste zum Netzmanagement - Definition - Konzepte - Lösungen -
Integriertes Information-Management: Der Weg von der Benutzerberatung zum Informations- und Kommunikationszentrum
Erfahrungen bei der Glasfaserverkabelung im Universitätsbereich
Integration von verteilten PC-Workstations in die Organisation und den Betrieb der Informationsverarbeitung
Die Entwicklung der Rechnerkonfiguation im EZMW
Dezentralisierung in Universitätsrechenzentren - Gründe, Schritte und Erfahrungen
Haben Hochschulrechenzentren eine Zukunft?
Zukünftige Entwicklung von Rechenzentren
Organisation und Betrieb von Informationssystemen, 9. GI-Fachgespräch über Rechenzentren, Dortmund, 14.-15. März 1991, Proceedings
RZ - ein Produktionsbetrieb
Offene Kommunikationssysteme - eine Chance für einheitlichen Zugang zu Rechenzentren
Organisation und Betrieb der Informationsverarbeitung, 6. GI-Fachgespräch über Rechenzentren, Kassel, 21./22. März 1985, Proceedings
Die Kostenrechnung der DV unter Berücksichtigung des Job-Accounting
Technische und organisatorische Integration heterogener Hardware- und Softwarekomponenten in einem einheitlichen Informations-Sicherheitssystem
Organisation von Rechenzentren, Fachgespräch der GI, Göttingen, 11./12. Oktober 1977, Proceedings
Organisatorische und technische Maßnahmen gleitender Rechnerablösung
Aufbau eines deutschen Forschungsnetzes
Reducing Costs While Increasing Quality
A Framework for Inherent Vacuity
Hardware and Software: Verification and Testing - 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
Trace-Based Run-Time Analysis of Message-Passing Go Programs
Test Case Generation for Ultimately Periodic Paths
Special Session on Security Verification
Parallel Symbolic Execution: Merging In-Flight Requests
DynaMate: Dynamically Inferring Loop Invariants for Automatic Full Functional Verification
PASS: String Solving with Parameterized Array and Interval Automaton
Predator Shape Analysis Tool Suite
Constraint Patterns and Search Procedures for CP-Based Random Test Generation
Benchmarking and Testing OSD for Correctness and Compliance
Embedded Functions for Test Design Automation
Partial-Order Reduction for Multi-core LTL Model Checking
HAVEN: An Open Framework for FPGA-Accelerated Functional Verification of Hardware
The Safety Simple Subset
Reduction of Resolution Refutations and Interpolants via Subsumption
The Advantages of Post-Link Code Coverage
Verification Challenges of Workload Optimized Hardware Systems
Limited Mobility, Eventual Stability
Efficient Analysis of Reliability Architectures via Predicate Abstraction
Improving Post-silicon Validation Efficiency by Using Pre-generated Data
Pioneering the Future of Verification: A Spiral of Technological and Business Innovation
Domain Types: Abstract-Domain Selection Based on Variable Usage
GenUTest: A Unit Test and Mock Aspect Generation Tool
Hazards of Verification
SAT-Based Explicit LTL Reasoning
Coverage-Driven Verification - An Approach to Verify Code for Robots that Directly Interact with Humans
Can We Verify an Elephant?
Using Coarse-Grained Abstractions to Verify Linearizability on TSO Architectures
ExpliSAT: Guiding SAT-Based Software Verification with Explicit States
Verification Failures: What to Do When Things Go Wrong
IIS-Guided DFS for Efficient Bounded Reachability Analysis of Linear Hybrid Automata
Dynamic Deadlock Analysis of Multi-threaded Programs
Synthesis of Admissible Shields
Optimal Algorithmic Debugging and Reduced Coverage Using Search in Structured Domains
Scaling Commercial Verification to Larger Systems
Verifying Real-Time Software Is Not Reasonable (Today) - Abstract of Invited Talk
Production-Testing of Embedded Systems with Aspects
SPIN as a Linearizability Checker under Weak Memory Models
Understanding Transactional Memory (Extended Abstract)
A Novel Approach for Implementing Microarchitectural Verification Plans in Processor Designs
Computing Interpolants without Proofs
Test Case Generation by Grammar-Based Fuzzing for Model-Driven Engineering
Advancing Software Model Checking Beyond Linear Arithmetic Theories
ACAT: A Novel Machine-Learning-Based Tool for Automating Android Application Testing
MicroTESK: Specification-Based Tool for Constructing Test Program Generators
Preprocessing and Inprocessing Techniques in SAT
Practical Considerations Concerning HL-to -RT Equivalence Checking
SMT in Verification, Modeling, and Testing at Microsoft
Probabilistic Fault Localisation
Predicting Serializability Violations: SMT-Based Search vs. DPOR-Based Search
d-TSR: Parallelizing SMT-Based BMC Using Tunnels over a Distributed Framework
Combining Theorem Proving and Symbolic Trajectory Evaluation in THM&STE
Improving Priority Promotion for Parity Games
An Interaction Concept for Program Verification Systems with Explicit Proof Object
Functional Test Generation with Distribution Constraints
Structural Contradictions
Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
Synthesizing Test Models from Test Cases
Formal Verification of Secure User Mode Device Execution with DMA
LRA Interpolants from No Man's Land
Testing Concurrent Software
Enhancing Scenario Quality Using Quasi-Events
A Complete Bounded Model Checking Algorithm for Pushdown Systems
Towards Verification of Robot Design for Self-localization
Special Session on Debugging
Testing the Machine in the World
Efficient Combinatorial Test Generation Based on Multivalued Decision Diagrams
Path-Based System Level Stimuli Generation
Function Summaries in Software Upgrade Checking
An Explanation-Based Constraint Debugger
RATCOP: Relational Analysis Tool for Concurrent Programs
Assume-Guarantee Abstraction Refinement Meets Hybrid Systems
Specification and Quantitative Analysis of Probabilistic Cloud Deployment Patterns
Lazy Symbolic Execution through Abstraction and Sub-space Search
Iterative Delta Debugging
Verifying Parametrised Hardware Designs Via Counter Automata
Towards Beneficial Hardware Acceleration in HAVEN: Evaluation of Testbed Architectures
On the Architecture of System Verification Environments
Is Verification Getting Too Complex?
Reaching Coverage Closure in Post-silicon Validation
Diagnosability of Pushdown Systems
Improving Representative Computation in ExpliSAT
Extracting a Simplified View of Design Functionality Based on Vector Simulation
Reverse Coverage Analysis
A New Test-Generation Methodology for System-Level Verification of Production Processes
Automated Detection and Repair of Concurrency Bugs
KERIS: A CT Tool of the Linux Kernel with Dynamic Memory Analysis Capabilities
From Hardware Verification to Software Verification: Re-use and Re-learn
XSpeed: Accelerating Reachability Analysis on Multi-core Processors
FudgeFactor: Syntax-Guided Synthesis for Accurate RTL Error Localization and Correction
Locating Regression Bugs
Statistical Model Checking of Mixed-Analog Circuits with an Application to a Third Order Delta-Sigma Modulator
Read, Write and Copy Dependencies for Symbolic Model Checking
Synthesizing Solutions to the Leader Election Problem Using Model Checking and Genetic Programming
vlogsl: A Strategy Language for Simulation-Based Verification of Hardware
The Verification Cockpit - Creating the Dream Playground for Data Analytics over the Verification Process
Synthesizing Finite-State Protocols from Scenarios and Requirements
Dataflow Analysis for Properties of Aspect Systems
Stacking-Based Context-Sensitive Points-to Analysis for Java
APSL: A Light Weight Testing Tool for Protocols with Complex Messages
Model-Driven Development with the jABC
Detecting Design Flaws in UML State Charts for Embedded Software
SAT-Solving Based on Boundary Point Elimination
Using Domain Specific Languages to Support Verification in the Railway Domain
Environment-Friendly Safety
Statistical Model Checking for Safety Critical Hybrid Systems: An Empirical Evaluation
Debugging Unrealizable Specifications with Model-Based Diagnosis