Atif Mashkoor
Researcher / author (OpenAlex)
Facts
2 properties- Affiliation
- Johannes Kepler University Linzas of 2026-09-23
where from?
- Source
- OpenAlex
- Edition
- 20260923 · as of 2026-09-23
- Licence
- CC0 1.0 Universal
- Bronze
- not in the catalog
- Transform
- 4ort-mint · openalex:20260923 · version not recorded
🔖 Identifiers · 2
- ORCID iD
- 0000-0003-1210-5953
- OpenAlex ID
- A5089811302as of 2026-09-23
where from?
- Source
- OpenAlex
- Edition
- 20260923 · as of 2026-09-23
- Licence
- CC0 1.0 Universal
- Bronze
- not in the catalog
- Transform
- 4ort-mint · openalex:20260923 · version not recorded
📚 Sources · 1
📜 Data licence
Source: OpenAlex (openalex.org), snapshot of 2026-09-23. CC0 1.0 Universal. CC0 1.0 Universal · OpenAlex
🔗 Connections
Author of 10
Artificial Intelligence and Software Engineering: Are We Ready?,
Collaboratively enhanced consistency checking in a cloud-based engineering environment,
Design and validation of a C++ code generator from Abstract State Machines specifications,
Discovery and classification of user interests on social media,
Evaluating the suitability of state‐based formal methods for industrial deployment,
Generation of C++ Unit Tests from Abstract State Machines Specifications,
Instant and global consistency checking during collaborative engineering,
Live and global consistency checking in a collaborative engineering environment
+2 more
← Authored by 10
Artificial Intelligence and Software Engineering: Are We Ready?,
Collaboratively enhanced consistency checking in a cloud-based engineering environment,
Design and validation of a C++ code generator from Abstract State Machines specifications,
Discovery and classification of user interests on social media,
Evaluating the suitability of state‐based formal methods for industrial deployment,
Generation of C++ Unit Tests from Abstract State Machines Specifications,
Instant and global consistency checking during collaborative engineering,
Live and global consistency checking in a collaborative engineering environment
+2 more
Affiliated with 2
Press Enter · cited answer in seconds
0 sources
Summary
Atif Mashkoor is a human[1].