yusuke1997/dblp-id-title huggingface dataset:
Proceedings of the 1st International Workshop on Pattern-Driven Engineering of Interactive Computing Systems, PEICS '10, Berlin, Germany, July 20, 2010
Playbook: An Animation-Based Game for Improving Children's Creativity and Problem Solving Skills
A proposed risk categorisation model for human-machine teaming
What should adaptivity mean to interactive software programmers?
Reconciling Context-Oriented Programming and User Interface Adaptation
Joint Proceedings HCI Engineering 2019 - Methods and Tools for Advanced Interactive Systems and Integration of Multiple Stakeholder Viewpoints co-located with 11th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2019), Valencia, Spain, June 18, 2019
UI-driven test-first development of interactive systems
Pilot experiment of a 2D trajectory representation of quaternion-based 3D gesture tracking
Experience 2.0 and Beyond - Engineering Cross Devices and Multiple Realities
An Approach to Leverage Artificial Intelligence for Car-Parking Related Mobile Applications
Engineering mixed-criticality interactive applications
Formal Verification of Interactive Computing Systems: Opportunities, Challenges
Bridging the gulf between interaction engineering and human reliability assessment
Improving software effort estimation with human-centric models: a comparison of UCP and iUCP accuracy
Test case generation from mutated task models
Explaining Temporal Logic Model Checking Counterexamples Through the Use of Structured Natural Language
Model-driven development and evolution of customized user interfaces
The SHARC framework: utilizing personal dropbox accounts to provide a scalable solution to the storage and sharing of community generated locative media
ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS'12, Copenhagen, Denmark - June 25 - 28, 2012
A Software Toolbox for Deploying Deep Learning Decision Support Systems with XAI Capabilities
Bluewave: enabling opportunistic context sharing via bluetooth device names
A toolkit for analysis and prediction of touch targeting behaviour on mobile websites
Fear therapy for children: a mobile approach
Crafting Interactive Experiences with Non-programmers
Towards a multi-stakehoder engineering approach with adaptive modelling environments
Emergency Alert Management by means of DUIs
EICS 2025 Foreword
High Assurance on Cyber-Physical Interactive Systems
GISMO: a domain-specific modelling language for executable prototyping of gestural interaction
An ontology for reasoning on body-based gestures
Proceedings of the Workshop on Engineering Gestures for Multimodal Interfaces Co-located with the 6th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EGMI@EICS 2014, Rome, Italy, June 17, 2014
Initial evaluation of a bare-hand interaction technique for large displays using a webcam
Addressing web locator fragility: a case for browser extensions
Using profiled ontologies to leverage model driven user interface generation
An Intelligent Hierarchical Framework for Efficient Fault Detection and Diagnosis in Nuclear Power Plants
Proceedings of the Sixth Workshop on CPS&IoT Security and Privacy, Salt Lake City, UT, USA, October 14-18, 2024
Towards PLC-Specific Binary Analysis Tools: An Investigation of Codesys-Compiled PLC Software Applications
The Internet of Insecure Cows - A Security Analysis of Wireless Smart Devices Used for Dairy Farming
Keynote: Physics and Security: Then and Now
Transforming In-Vehicle Network Intrusion Detection: VAE-based Knowledge Distillation Meets Explainable AI
Detection of Wake Word Jamming
SweetCam: an IP Camera Honeypot
BT 2 X: Multi-Leveled Binary Transparency to Protect the Software Supply Chain of Operational Technology
"If You Build it, They will Come" - A Blueprint for ICS-focused Capture-The-Flag Competitions
Brain-Hack : Remotely Injecting False Brain-Waves with RF to Take Control of a Brain-Computer Interface
From DDoSim to DDoSimQ: Enhancing DDoS Attack Simulations Through Full System Emulation
Proceedings of the 5th Workshop on CPS&IoT Security and Privacy, Copenhagen, Denmark, 26 November 2023
Towards Linking Indicators of Compromise to Operational Resilience and Safety Requirements
Three Taps for Secure Machine-to-Machine Communication: Towards High Assurance yet Fully Local Machine Pairing
Remote Attestation of IoT Devices using Physically Unclonable Functions: Recent Advancements and Open Research Challenges
IntelliMD: A Hybrid Approach for Local Misbehaviour Detection in Cooperative Intelligent Transport Systems
Firmulti Fuzzer: Discovering Multi-process Vulnerabilities in IoT Devices with Full System Emulation and VMI
Detecting Mobile Crowdsensing Sybil Attackers via Presence Verification
Privacy through Diffusion: A White-listing Approach to Sensor Data Anonymization
ICSNet: A Hybrid-Interaction Honeynet for Industrial Control Systems
Towards Adversarial Process Control on Inertial Sensor Systems with Physical Feedback Side Channels
Exploring Usability of Data Flow Visualizations in a Privacy-focused Smart Home Dashboard
EmbedWatch: Fat Pointer Solution for Detecting Spatial Memory Errors in Embedded Systems
Stealthy Data Fabrication in Collaborative Vehicular Perception
Granular IoT Device Identification Using TF-IDF and Cosine Similarity
Water Risk-Proofed: Risk Assessment in Water Desalination
RTFM: How Hard are IoT Platform Providers Making it for their Developers?
Visualization and Mathematics, Experiments, Simulations and Environments, VisMath 1995, Berlin, Germany, May 30 - June 2, 1995
MRT - A Visualization Tool Addressing Problems 'outside' the Classical Rendering Domain
Linear Inductive Reductive Dataflow System for ViSC
Efficient Visualization of Data on Sparse Grids
Visualizing Nonlinear Electrodynamics
An Algorithm for Discrete Constant Mean Curvature Surfaces
Oorange: A Virtual Laboratory for Experimental Mathematics
Visualization of Parallel Data based on Procedural Access
The Use of Computer Graphics for Solving Problems in Singularity Theory
An Object-Oriented Interactive System for Scientific Simulations: Design and Applications
Numerical Methods, Simulations and Visualization for Compressible Flows
Computing Sphere Eversions
Using Symmetry Features of the Surface Evolver to Study Foams
Fast Line Integral Convolution for Arbitrary Surfaces in 3D
Zonotope Dynamics in Numerical Quality Control
Geometry of the Squared Distance Function to Curves and Surfaces
Constant Mean Curvature Surfaces Derived from Delaunay's and Wente's Examples
What Should a Surface in 4-Space Look Like?
Constructing Hamiltonian Triangle Strips on Quadrilateral Meshes
A Multiscale Fairing Method for Textured Surfaces
Support of Explicit Time and Event Flows in the Object-Oriented Visualization Toolkit MAM/VRS
Fast LIC with Piecewise Polynomial Filter Kernels
Identifying Vector Field Singularities Using a Discrete Hodge Decomposition
Morse Theory for Implicit Surface Modeling
Third International Workshop "Visualization and Mathematics", VisMath 2002, Berlin, Germany, May 22-25, 2002
Exploring Plane Hyperbolic Geometry
Visualizing Forman's Discrete Vector Field
Tetrahedra Based Volume Visualization
Clifford Algebra in Vector Field Visualization
Level Set Methods for Curvature Flow, Image Enchancement, and Shape Recovery in Medical Images
Alice on the Eightfold Way: Exploring Curved Spaces in an Enclosed Virtual Reality Theater
Exploring Low Dimensional Objects in High Dimensional Spaces
Visualization of Complex ODE Solutions
The Potentials of Math Visualization and their Impact on the Curriculum
Animation of Algebraic Surfaces
Accuracy in 3D Particle Tracing
Computation and Visualisation in the NumLab Numerical Laboratory
A Survey of Parallel Coordinates
3D Loop Detection and Visualization in Vector Fields
Planar Conformal Mappings of Piecewise Flat Surfaces
Fast Difference Schemes for Edge Enhancing Beltrami Flow and Subjective Surfaces
Hierarchical Techniques for Global Illumination Computations - Recent Trends and Developments
Constant Mean Curvature Surfaces with Cylindrical Ends
Finite Element Approximations and the Dirichlet Problem for Surfaces of Prescribed Mean Curvature
A Generic Approach to Computer Graphics
Straightest Geodesics on Polyhedral Surfaces
Visualizing Poincaré Maps together with the Underlying Flow
Discrete Differential-Geometry Operators for Triangulated 2-Manifolds
A Generic Programming Approach to Multiresolution Spatial Decompositions
Searching for Knotted Spheres in 4-dimensional Space
Visualization of Periodic Tilings
Generalized Block Iterative Methods
Subdivision Invariant Polynomial Interpolation
Mathematical Visualization, Algorithms, Applications and Numerics, VisMath 1997, Berlin, Germany, September 16-19, 1997
A Meta Scheme for Iterative Refinement of Meshes
Constructing Circle Patterns Using a New Functional
web Mathematica
Two-Dimensional Image Rotation
See what I mean? Using Graphics Toolkits to Visualise Numerical Data
Minkowski Geometric Algebra and the Stability of Characteristic Polynomials
Special Relativity in Virtual Reality
The Minimax Sphere Eversion
Auditory Morse Analysis of Triangulated Manifolds
Another Metascheme of Subdivision Surfaces
A Scheme for Edge-based Adaptive Tetrahedron Subdivision
A new 3D Graphics Library: Concepts, Implementation, and Examples
Mathematical Modelling and Visualisation of Complex Three-dimensional Flows
Mesh Optimization and Multilevel Finite Element Approximations
Numerical Algorithms and Visualization in Medical Treatment Planning
Discrete Rotational CMC Surfaces and the Elliptic Billiard
Films: A Communicating Tool for Mathematics
Efficient Calculation of Subdivision Surfaces for Visualization
Efficient Volume-Generation During the Simulation of NC-Milling
Proceedings of the 9th ACM SIGPLAN workshop on Erlang, Baltimore, Maryland, USA, September 30, 2010
Flow graphs for testing sequential Erlang programs
Proceedings of the 2004 ACM SIGPLAN Workshop on Erlang, Snowbird, Utah, USA, September 22, 2004
Parameterized modules in Erlang
Implementing an LTL-to-Büchi translator in Erlang: a protest experience report
Development of a distributed system applied to teaching and learning
Software agents mobility using process migration mechanism in distributed Erlang
Interfacing dynamically typed languages and the why tool: reasoning about lists and tuples
Faulterl: precise fault injection for the erlang VM, NIFs and linked-in drivers
Towards secure Erlang systems
Code Analysis at WhatsApp (Keynote)
A soft-typing system for Erlang
Dryverl: a flexible Erlang/C binding compiler
Synapse: automatic behaviour inference and implementation comparison for Erlang
iDeA: an immersive debugger for actors
Proceedings of the 23rd ACM SIGPLAN International Workshop on Erlang, Erlang 2024, Milan, Italy, 2 September 2024
Erlang '22: 21st ACM SIGPLAN International Workshop on Erlang, Ljubljana, Slovenia, 11 September 2022
Distributed computation on dynamo-style distributed storage: riak pipe
Concurrency oriented programming in termite scheme
Proceedings of the 20th ACM SIGPLAN International Workshop on Erlang, Erlang@ICFP 2021, Virtual Event, Korea, August 26, 2021
The Nifty way to call hell from heaven
Scalaris: reliable transactional p2p key/value store
A high performance Erlang Tcp/Ip stack
Testing telecoms software with quviq QuickCheck
CRDTs for the configuration of distributed Erlang systems
eqWAlizer: scaling Erlang development at WhatsApp with static typing (keynote)
Verifying fault-tolerant Erlang programs
Derflow: distributed deterministic dataflow programming for erlang
On shrinking randomly generated load tests
Distributed memory architecture for high-level synthesis of embedded controllers from Erlang
ARMISTICE: an experience developing management software with Erlang
An implementation of the SMB protocol in erlang
Bidirectional typing for Erlang
Modeling Erlang processes as Petri nets
Observing the consistency of distributed systems
Towards reliable and scalable robot communication
Concurrent caching
Optimising TCP/IP connectivity
Hierarchical module namespaces in Erlang
Actor scheduling for multicore hierarchical memory platforms
Using Erlang to implement a autonomous build and distribution system for software projects
Clojerl: the expressive power of Clojure on the BEAM
ErLLVM: an LLVM backend for Erlang
Modelling distributed Erlang within a single node
The Benefits of Tierless Elixir/Potato for Engineering IoT Systems
Riak PG: distributed process groups on dynamo-style distributed storage
The implementation and use of a generic dataflow behaviour in Erlang
Native code compilation of Erlang's bit syntax
A decade of Yaws
Environmentally Sustainable Software and Data Architectures (Keynote)
TinyMT pseudo random number generator for Erlang
Chain replication in theory and in practice
A stream library using Erlang binaries
A PropEr integration of types and function specifications with property-based testing
Priority messaging made easy
World-class product certification using Erlang
Linking unit tests and properties
Proceedings of the Twelfth ACM SIGPLAN Erlang Workshop, Boston, Massachusetts, USA, September 28, 2013
Troubleshooting a large erlang system
Generic load regulation framework for Erlang
Evaluating distributed functional languages for telecommunications software
Early fault detection with model-based testing
Nominal Types for Erlang
Recent improvements to the McErlang model checker
Towards automatic actor pinning on multi-core architectures
Programming distributed Erlang applications: pitfalls and recipes
Structuring Erlang BEAM control flow
InfERL: scalable and extensible Erlang static analysis
A more accurate semantics for distributed Erlang
Erlang as an implementation platform for BDI languages
Proceedings of the 2002 ACM SIGPLAN Workshop on Erlang, Pittsburgh, Pennsylvania, USA, October 7, 2002
Graft: general purpose raft consensus in Elixir
Analysis of preprocessor constructs in Erlang
Proceedings of the 22nd ACM SIGPLAN International Workshop on Erlang, Erlang 2023, Seattle, WA, USA, 4 September 2023
Testing a database for race conditions with QuickCheck
Controlled Scheduling of Concurrent Elixir Programs
Profiling actor utilization and communication in Akka
Scaling Erlang distribution: going beyond the fully connected mesh
Implementing a multiagent negotiation protocol in Erlang
Discovering parallel pattern candidates in Erlang
Co-ops: concurrent algorithmic skeletons for Erlang
Understanding formal specifications through good examples
Automatic testing of TCP/IP implementations using QuickCheck
Lux: an expect-like test tool written in Erlang: synchronised testing of multiple sessions
Learning programming with Erlang
Elixir-Powered Low-Income Animal Shelter Support: An Experience Report from Conception to Production
The Hera framework for fault-tolerant sensor fusion with Erlang and GRiSP on an IoT network
ooErlang: another object oriented extension to Erlang
Towards property-based testing of RESTful web services
What are the critical security flaws in my system?
On preserving term sharing in the Erlang virtual machine
The shared-memory interferences of Erlang/OTP built-ins
Jsongen: a quickcheck based library for testing JSON web services
EUnit: a lightweight unit testing framework for Erlang
An Erlang framework for autonomous mobile robots
ECT: an object-oriented extension to Erlang
Model checking erlang programs: the functional approach
Refactoring with wrangler, updated: data and process refactorings, and integration with eclipse
Getting Erlang to talk to the outside world
BEAMJIT: a just-in-time compiling runtime for Erlang
Erlang testing and tools survey
Towards automatic verification of Erlang programs by pi-calculus translation
Towards semi-automatic data-type translation for parallelism in Erlang
Disco: a computing platform for large-scale data analytics
Automatic assessment of failure recovery in Erlang applications
A semantics for distributed Erlang
A Semantics of Core Erlang with Handling of Signals
The evolution of Erlang drivers and the Erlang driver toolkit
From HTTP to HTML: Erlang/OTP experiences in web based service applications
A reliability benchmark for actor-based server languages
Towards hard real-time Erlang
Functional programming and the "megacore" era
Proceedings of the 19th ACM SIGPLAN International Workshop on Erlang, Erlang@ICFP 2020, Virtual Event, USA, August 23, 2020
A comparative evaluation of imperative and functional implementations of the imap protocol
Performance portability through semi-explicit placement in distributed Erlang
Proceedings of the 15th International Workshop on Erlang, Nara, Japan, September 18-22, 2016
Typing the wild in Erlang
Machine-checked natural semantics for Core Erlang: exceptions and side effects
Makina: a new QuickCheck state machine library
Proceedings of the 17th ACM SIGPLAN International Workshop on Erlang, ICFP 2018, St. Louis, MO, USA, September 23-29, 2018
Multicore profiling for Erlang programs using percept2
Turning web services descriptions into quickcheck models for automatic testing
Coordinating and visualizing independent behaviors in erlang
Erlang's exception handling revisited
A unified semantics for future Erlang
ERESYE: artificial intelligence in Erlang programs
On reducing interprocess communication overhead in concurrent programs
OTP in server farms
Proceedings of the 10th ACM SIGPLAN workshop on Erlang, Tokyo, Japan, September 23, 2011
Automated module interface upgrade
Remote controlling devices using instant messaging: building an intelligent gateway in Erlang/OTP
Proceedings of the 2005 ACM SIGPLAN Workshop on Erlang, Tallinn, Estonia, September 26-28, 2005
Extending the VoDKA architecture to improve resource modelling
Extracting QuickCheck specifications from EUnit test cases
Intro to web prolog for erlangers
Towards change-driven testing
Failover and takeover contingency mechanisms for network partition and node failure
Structured programming using processes
Teaching Erlang using robotics and player/stage
An external short message entity for gambling services
Proceedings of the 18th ACM SIGPLAN International Workshop on Erlang, Erlang@ICFP 2019, Berlin, Germany, August 18, 2019
Typed callbacks for more robust behaviours
Proceedings of the Thirteenth ACM SIGPLAN workshop on Erlang, Gothenburg, Sweden, September 5, 2014
Generation and Refinement of Testing Models
Introducing records by refactoring
TLS the Erlang/OTP Way (Experience Report)
Global scheduler properties derived from local restrictions
Gaining trust by tracing security protocols
Smother: an MC/DC analysis tool for Erlang
Attribute grammars in Erlang
Automatic detection of core Erlang message passing errors
Quickchecking refactoring tools
Proceedings of the 2007 ACM SIGPLAN Workshop on Erlang, Freiburg, Germany, October 5, 2007
Transformations towards clean functional code
Towards online profiling of Erlang systems
Bit-level binaries and generalized comprehensions in Erlang
Testing Erlang data types with quviq quickcheck
Verification of timed Erlang/OTP components using the process algebra mucrl
Testing blocking operations with QuickCheck's component library
Automatic generation of UML sequence diagrams from test counterexamples
Modeling Erlang Compiler IR as SMT Formulas
From test cases to FSMs: augmented test-driven development and property inference
Model-based testing of data types with side effects
A study of Erlang ETS table implementations and performance
Runtime type safety for erlang/otp behaviours
Investigating the scalability limits of distributed Erlang
Tools supporting green computing in Erlang
Proceedings of the 8th ACM SIGPLAN Workshop on Erlang, Edinburgh, Scotland, UK, September 5, 2009
Gradual typing of erlang programs: a wrangler experience
Towards an Isabelle/HOL formalisation of core Erlang
eAOP: an aspect oriented programming framework for Erlang
TypEr: a type annotator of Erlang code
Hansei: property-based development of concurrent systems
Accelerating race condition detection through procrastination
HiPE on AMD64
Construction and formal verification of a fault-tolerant distributed mutual exclusion algorithm
Proceedings of the 2006 ACM SIGPLAN Workshop on Erlang, Portland, Oregon, USA, September 16, 2006
Fifteen years of successfully dialyzing Erlang and Elixir code (invited talk)
Erla⁺: Translating TLA⁺ Models into Executable Actor-Based Implementations
All you wanted to know about the HiPE compiler: (but might have been afraid to ask)
Automated test generation for industrial Erlang applications
Cleaning up Erlang code is a dirty job but somebody's gotta do it
Proceedings of the 7th ACM SIGPLAN workshop on ERLANG, Victoria, BC, Canada, September 27, 2008
CAEFL: composable and environment aware federated learning models
Proceedings of the 16th ACM SIGPLAN International Workshop on Erlang, Oxford, United Kingdom, September 3-9, 2017
Model based testing of data constraints: testing the business logic of a Mnesia application with Quviq QuickCheck
On the scalability of the Erlang term storage
Erlang as an enabling technology for resilient general-purpose applications on edge IoT networks
Evaluation of database management systems for Erlang
High-performance technical computing with erlang
Comparing C++ and ERLANG for motorola telecoms software
Teaching practical realistic verification of distributed algorithms in Erlang with TLA+
Modeling growth and dynamics of neural networks via message passing in Erlang: neural models have a natural home in message passing functional programming languages
Troubleshooting the performance of a large Erlang system
On modelling agent systems with Erlang
Atom garbage collection
Executable contracts for Elixir
Is This Really a Refactoring? Automated Equivalence Checking for Erlang Projects
A scalable reliable instant messenger using the SD Erlang libraries
SFMT pseudo random number generator for Erlang
Proceedings of the 14th ACM SIGPLAN Workshop on Erlang 2015, Vancouver, BC, Canada, September 4, 2015
Trace analysis of Erlang programs
Proceedings of the 2003 ACM SIGPLAN Workshop on Erlang, Uppsala, Sweden, August 29, 2003
Modeling Erlang in the pi-calculus
Extending Erlang by utilising RefactorErl
Monitoring and state transparency of distributed systems
Scalable persistent storage for Erlang: theory and practice
Test-driven development of concurrent programs using concuerror
Erlang ETS tables and software transactional memory: how transactions make ETS tables more like ordinary actors
Making everybody comfortable with Erlang: a SCADA system for thermal control
Towards an abstraction for remote evaluation in Erlang
Implementation of sequence BDDs in Erlang
Erlang on TOAST: Generating Erlang Stubs with Inline TOAST Monitors
Secure design and verification of Erlang systems
More scalable ordered set for ETS using adaptation
Detecting oxbow code in Erlang codebases with the highest degree of certainty
A language for specifying type contracts in Erlang and its interaction with success typings
Mria: An Eventually Consistent Mnesia
Using many-core coprocessor to boost up Erlang VM
Proceedings of the Eleventh ACM SIGPLAN Erlang Workshop, Copenhagen, Denmark, September 14, 2012
EX11: a GUI in a concurrent functional language
A new leader election implementation
Same Same but Different: A Comparative Analysis of Static Type Checkers in Erlang
Evaluating Commercial Counter-Forensic Tools
Preparing for Large-Scale Investigations with Case Domain Modeling
Data Hiding in Journaling File Systems
Unification of Digital Evidence from Disparate Sources (Digital Evidence Bags)
Automated Digital Evidence Target Definition Using Outlier Analysis and Existing Evidence
Automatically Creating Realistic Targets for Digital Forensics Investigation
Reproducibility of Digital Evidence in Forensic Investigations
Risk Sensitive Digital Evidence Collection
Refereed Proceedings of the 5th Annual Digital Forensic Research Workshop, DFRWS 2005, Astor Crowne Plaza, New Orleans, Louisiana, USA, August 17-19, 2005
Monitoring Access to Shared Memory-Mapped Files
Scalpel: A Frugal, High Performance File Carver
File Hound: A Forensics Tool for First Responders
Design and Implementation of Zeitline: a Forensic Timeline Editor
Network Forensics Analysis with Evidence Graphs
Active 2-Axis Ankle-Foot Exoskeleton Using Single Actuator for Physiotherapy
Learning to Solve a Rubik's Cube with a Dexterous Hand