Simon Ware - Concepedia

Author

Simon Ware

Nanyang Technological University ORCID

Also Known As

I. Simon, Ian Ware Simon, SIMON WARE, Simon Ware, Ware, Simon

Publications

335

Citations

H-Index

Concepts

All Affiliations

Nanyang Technological University University of Waikato Chalmers University of Technology

About

Simon Ware is an author at Nanyang Technological University specializing in systems engineering, engineering, and computer science.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	12	13	262
2	Computer Science	10	10	187
3	Computer Engineering	7	7	167
4	Health Sciences	1	1	10
5	Language Studies	1	1	15

Simon Ware

Publications

262

Citations

H-Index

Page 1

	Year	Citations
Decomposition methods for manufacturing system scheduling: a survey Fajun Yang, Kaizhou Gao, Simon Ware, IEEE/CAA Journal of Automatica Sinica Mathematical ProgrammingEngineeringIndustrial EngineeringMechanical EngineeringDigital Manufacturing	2018	37
Supervisor Synthesis for Networked Discrete Event Systems With Communication Delays and Lossy Channels Yuting Zhu, Liyong Lin, Simon Ware, EngineeringDiscrete Event SystemNetworked ControlEvent-driven ProgrammingAutomation	2019	37
Synthesis of Supremal Successful Normal Actuator Attackers on Normal Supervisors Liyong Lin, Sander Thuijsman, Yuting Zhu, Successful AttackEngineeringInformation SecurityAttack ModelFormal Methods	2019	28
Time Optimal Synthesis Based Upon Sequential Abstraction and Its Application to Cluster Tools Simon Ware, Rong Su IEEE Transactions on Automation Science and Engineering Mathematical ProgrammingEngineeringCluster ToolsComputational ComplexitySystem Synthesis	2016	27
Efficient Approach to Scheduling of Transient Processes for Time-Constrained Single-Arm Cluster Tools With Parallel Chambers Fajun Yang, Yan Qiao, Kaizhou Gao, IEEE Transactions on Systems Man and Cybernetics Systems Cluster ComputingEngineeringIndustrial EngineeringCluster ToolsComputer Architecture	2018	25
Compositional synthesis of discrete event systems using synthesis abstraction Sahar Mohajerani, Robi Malik, Simon Ware, Logical AutomatonEngineeringDiscrete Event SystemAutomated ReasoningEvent-driven Programming	2011	17
The Use of language projection for compositional verification of discrete event systems Simon Ware, Robi Malik EngineeringDiscrete Event SystemsLanguage ProjectionVerificationComputer-aided Verification	2008	15
On the use of observation equivalence in synthesis abstraction Sahar Mohajerani, Robi Malik, Simon Ware, EngineeringVerificationSystem SynthesisFormal VerificationSystems Engineering	2011	15
Conflict-preserving abstraction of discrete event systems using annotated automata Simon Ware, Robi Malik Discrete Event Dynamic Systems Logical AutomatonEngineeringDiscrete Event SystemAutomated ReasoningEvent-driven Programming	2012	13
Synthesis of Successful Actuator Attackers on Supervisors Liyong Lin, Sander Thuijsman, Yuting Zhu, arXiv (Cornell University) EngineeringInformation SecurityResilient Control SystemFormal VerificationAttack Simulation	2018	13

Page 1