Ammar Boucherit
عمار بوشريطAssociate professor (A)
8
Research output
16
Citations
2
h-index
Rate this researcherNo rating yet
The average shows from 3 ratings.
Weighted concepts mined from titles, abstracts and topics of the research output, grouped by field.
Computer Science
Psychology
Business, Management and Accounting
Medicine
Health Professions
Engineering
Keyphrases
- rewriting logic
- critical systems
- formal verification
- chatbots
- psychological support
- people with disabilities
- caregivers
- family caregivers
- cognitive behavioral therapy
- psychosocial support
- referral systems
- model checking
- property-based testing
- Petri nets
- UML
- Object Constraint Language
- safety-critical software
- software architecture
- scalability
- high-level Petri nets
- semantics
- discrete event systems
- complex dynamics
- firing rules
- formal semantics
- multi-agent systems
- safety-critical systems
- model-driven engineering
- secure software development
- formal specification
- traceability