Search

Your search keyword '"Mateescu, A"' showing total 113 results

Search Constraints

Start Over You searched for: Author "Mateescu, A" Remove constraint Author: "Mateescu, A" Publication Type eBooks Remove constraint Publication Type: eBooks
113 results on '"Mateescu, A"'

Search Results

2. A Study on the Correlation Between EEG Wave Patterns and Conscientiousness

5. Understanding Leadership in Agile Software Development Teams: Who and How?

10. Automated Transition Coverage in Behavioural Conformance Testing

11. Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities

14. Asynchronous Testing of Synchronous Components in GALS Systems

15. Hunting Superfluous Locks with Model Checking

16. Compositional Verification of Concurrent Systems by Combining Bisimulations

17. Reflections on Bernhard Steffen’s Physics of Software Tools

20. TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation

22. The ContextAct@A4H Real-Life Dataset of Daily-Living Activities : Activity Recognition Using Model Checking

25. On-the-Fly Model Checking for Extended Action-Based Probabilistic Operators

28. Organizational Culture and Innovation: An Industrial Case Study

29. GRL: A Specification Language for Globally Asynchronous Locally Synchronous Systems

31. Verification of EB3 Specifications Using CADP

32. PIC2LNT: Model Transformation for Model Checking an Applied Pi-Calculus

33. Delayed Continuous-Time Markov Chains for Genetic Regulatory Circuits

34. Partial Model Checking Using Networks of Labelled Transition Systems and Boolean Equation Systems

36. Property-Dependent Reductions for the Modal Mu-Calculus

37. CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes

38. Ten Years of Performance Evaluation for Concurrent Systems Using CADP

39. Translating Pi-Calculus into LOTOS NT

40. A Study of Shared-Memory Mutual Exclusion Protocols Using CADP

43. Partial Order Reductions Using Compositional Confluence Detection

44. Approximation of Event Probabilities in Noisy Cellular Processes

45. Sliding Window Abstraction for Infinite Markov Chains

46. Hierarchical Adaptive State Space Caching Based on Level Sampling

48. AND/OR Multi-valued Decision Diagrams for Constraint Networks

50. A Model Checking Language for Concurrent Value-Passing Systems

Catalog

Books, media, physical & digital resources