285 results on '"Mateescu, A"'
Search Results
2. Improving PSS Test Generation Using Model Checking and Conformance Testing.
3. Utilizing Cloud Solutions for Object Recognition in the Context of Industrial Robotics Sorting Tasks.
4. Testing Resource Isolation for System-on-Chip Architectures.
5. Evaluating User Experience in the Context of Cultural Heritage Dissemination Using Extended Reality: A Case Study of the Dacian Bronze Matrix with Hollow Design.
6. Learning control laws in simulated environments for motion gestures of humanoid robots.
7. Data Collectives as a means to Improve Accountability, Combat Surveillance and Reduce Inequalities.
8. Runtime performance of a GAMESS quantum chemistry application offloaded to GPUs.
9. Understanding Leadership in Agile Software Development Teams: Who and How?
10. Using Formal Conformance Testing to Generate Scenarios for Autonomous Vehicles.
11. Formally Modeling Autonomous Vehicles in LNT for Simulation and Testing.
12. Design and Deployment of Expressive and Correct Web of Things Applications.
13. R-MOZART: A Reconfiguration Tool for WebThings Applications.
14. Seamless Reconfiguration of Rule-based IoT Applications.
15. A Framework for Developing DevOps Operation Automation in Clouds using Components-off-the-Shelf.
16. MOZART: Design and Deployment of Advanced IoT Applications.
17. Automated Transition Coverage in Behavioural Conformance Testing.
18. Visualizing Progress Tracking for Software Teams on Large Collaborative Touch Displays.
19. Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities.
20. Is CADP an Applicable Formal Method?
21. Compositional verification of concurrent systems by combining bisimulations.
22. Collaboration on large interactive displays: a systematic review.
23. Adversarial Attacks on Human Vision.
24. Verifying Collision Risk Estimation using Autonomous Driving Scenarios Derived from a Formal Model.
25. Rigorous design and deployment of IoT applications.
26. IoT composer: composition and deployment of IoT applications.
27. Compositional Verification of Concurrent Systems by Combining Bisimulations.
28. Formal Validation of Probabilistic Collision Risk Estimation for Autonomous Driving.
29. Hunting Superfluous Locks with Model Checking.
30. Garbage Collection Algorithms for Meta Data Updates in NAND Flash.
31. Asynchronous Testing of Synchronous Components in GALS Systems.
32. Modeling an Asynchronous Circuit Dedicated to the Protection Against Physical Attacks.
33. Model-Checking Synthesizable SystemVerilog Descriptions of Asynchronous Circuits.
34. Mine, Yours, Ours: Coordination through Workspace Arrangements and Territoriality in Tabletop Interaction.
35. Correlation between Distance and Frequency Bands in Hybrid Air-Ground Sensor Networks.
36. Reflections on Bernhard Steffen's Physics of Software Tools.
37. Towards Robust File System Checkers.
38. TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation.
39. Models and analysis for user-driven reconfiguration of rule-based IoT applications.
40. Enhancing Agile Team Collaboration Through the Use of Large Digital Multi-touch Cardwalls.
41. The ContextAct@A4H Real-Life Dataset of Daily-Living Activities - Activity Recognition Using Model Checking.
42. A Formal TLS Handshake Model in LNT.
43. Towards Robust File System Checkers.
44. Recent advances in interactive and automated analysis.
45. On-the-fly model checking for extended action-based probabilistic operators.
46. Enabling devops for containerized data-intensive applications: an exploratory study.
47. The 8th CASCON Workshop on Cloud Computing.
48. Locally rewritable codes for resistive memories.
49. Spider Codes: Practical erasure codes for distributed storage systems.
50. Opening the Chrysalis: On the Real Repair Performance of MSR Codes.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.