Software analysis methods for resource-sensitive systems
Explore this paper's citation graph
Summary
In his dissertation, Rody Kersten presents innovative analysis methods that go beyond the validation of input-output behaviour and concerns mostly non-functional properties of embedded systems, such as wireless sensor nodes.
- Type
- dissertation
- Published
- 2015-01-01
- Cited by
- 23
- References
- 264
- Access
- Open access
- OpenAlex
- https://openalex.org/W1198909442
- Semantic Scholar
- https://api.semanticscholar.org/CorpusID:215747152
Keywords
Software, Energy consumption, Computer science, Resource (disambiguation), Set (abstract data type)
References
- Cryptographically-Enhanced Privacy for Recommender Systems
- Stochastic models for quality of service of component connectors
- Algorithms for cartographic visualization
- JTorX: exploring model-based testing
- The YICES SMT Solver
- Service-oriented discovery of knowledge: foundations, implementations and applications
- From computability to executability : a process-theoretic view on automata theory
- Automatic Generation of XSS and SQL Injection Attacks with Goal-Directed Model Checking
- The process matters: cyber security in industrial control systems
- Scalable multi-core model checking
- Web Service Growing Pains: Understanding Services and Their Clients
- Resilient in-network aggregation for vehicular networks
- Test Suite Comprehension for Modular and Dynamic Systems
- Soundness proof for a hoare logic for energy consumption analysis
- Performance Optimization of Multi-Tenant Software Systems
- The (in)security of proprietary cryptography
- Applications of Evolutionary Computation to Cryptology ; Primjene evolucijskog računarstva u kriptologiji
- Attribute-based identity management: [bridging the cryptographic design of ABCs with the real world]
- Documentation and formal mathematics : web technology meets theorem proving
- Automated Fault Localization for Service-Oriented Software Systems
Cited by
- The C standard formalized in Coq
- Physical Security Analysis of Embedded Devices
- Formal analysis and verification of embedded systems for healthcare
- DNA expressions - A formal notation for DNA
- From conceptual models to safety assurance : applying model-based techniques to support safety assurance
- Verification of interconnects
- Run-time resource management for component-based systems
- Reliable systems: fault tree analysis via Markov reward automata
- Green computing: efficient energy management of multiprocessor streaming applications via model checking
- Data structures for analyzing geometric data
- Reverse engineering source code: Empirical studies of limitations and opportunities
- Engineering the dynamic semantics of domain specific languages
- Active Model Learning for the Analysis of Network Protocols
- Modeling the dynamics of requirements process improvement
- Verification of Program Parallelization
- Response modeling:model refinements for timing analysis of runtime scheduling in real-time streaming systems
- A theory of executability : with a focus on the expressivity of process calculi
- Model-based design of baggage handling systems
- An Empirical Evaluation of Feedback-Driven Software Development
- Verification of concurrent systems in a model-driven engineering workflow
Related papers
- Analysis and Synthesis of Communication-Intensive Heterogeneous Real-Time Systems
- Bringing Modern Unit Testing Techniques to Sensornets
- An energy consumption framework for distributed java-based systems
- Optimization of secure embedded systems with dynamic task sets
- Tool Support for Distributed Real-Time Software
- SMT-Based Context-Bounded Model Checking for Embedded Systems: Challenges and Future Trends
- Network Architecture Recovery and Verification in the context of CAN Communication in Vehicles
- Model-based design of resource-efficient automotive control software