Farokh B. Bastani
According to our database1,
Farokh B. Bastani
authored at least 215 papers
between 1979 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
1980
1985
1990
1995
2000
2005
2010
2015
2020
0
5
10
2
1
2
2
1
1
1
1
1
2
2
3
2
3
1
2
2
2
1
2
2
1
5
2
1
1
4
2
3
1
1
1
2
1
2
1
10
5
7
6
4
2
2
5
7
9
6
10
7
7
10
6
5
5
5
2
2
4
3
4
5
3
3
1
1
3
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
2023
Proceedings of the 15th IEEE International Symposium on Autonomous Decentralized System, 2023
Proceedings of the International Conference on Information Networking, 2023
2022
TLETA: Deep Transfer Learning and Integrated Cellular Knowledge for Estimated Time of Arrival Prediction.
Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2022
2021
Proceedings of the 27th IEEE International Conference on Parallel and Distributed Systems, 2021
Proceedings of the 14th IEEE International Conference on Cloud Computing, 2021
2020
CoRR, 2020
Concurr. Comput. Pract. Exp., 2020
Proceedings of the 13th IEEE International Conference on Cloud Computing, 2020
2019
Invited Paper: Semantic IoT Data Description and Discovery in the IoT-Edge-Fog-Cloud Infrastructure.
Proceedings of the 13th IEEE International Conference on Service-Oriented System Engineering, 2019
Proceedings of the 12th IEEE Conference on Service-Oriented Computing and Applications, 2019
Proceedings of the Services Computing - SCC 2019, 2019
Proceedings of the 24th ACM Symposium on Access Control Models and Technologies, 2019
Proceedings of the 2019 IEEE International Smart Cities Conference, 2019
Proceedings of the 2019 IEEE International Conference on Web Services, 2019
Efficient Multi-Keyword Based Service Discovery Routing in Peer-to-Peer IoT Networks.
Proceedings of the 25th IEEE International Conference on Parallel and Distributed Systems, 2019
Proceedings of the 21st IEEE International Conference on High Performance Computing and Communications; 17th IEEE International Conference on Smart City; 5th IEEE International Conference on Data Science and Systems, 2019
Proceedings of the 19th IEEE International Symposium on High Assurance Systems Engineering, 2019
Proceedings of the 43rd IEEE Annual Computer Software and Applications Conference, 2019
2018
Proceedings of the IEEE Symposium on Service-Oriented System Engineering, 2018
Proceedings of the 2018 IEEE International Conference on Information Reuse and Integration, 2018
Proceedings of the 2018 IEEE International Conference on Web Services, 2018
Improving the Smartness of Cloud Management via Machine Learning Based Workload Prediction.
Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018
Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018
2017
Proceedings of the 2017 IEEE Symposium on Service-Oriented System Engineering, 2017
Proceedings of the 11th IEEE International Conference on Semantic Computing, 2017
SaaS for Automated Job Performance Appraisals Using Service Technologies and Big Data Analytics.
Proceedings of the 2017 IEEE International Conference on Web Services, 2017
Proceedings of the 2017 IEEE International Conference on Web Services, 2017
Automated Holistic Service Composition: Modeling and Composition Reasoning Techniques.
Proceedings of the 2017 IEEE International Conference on Web Services, 2017
Proceedings of the Serviceology for Services - 5th International Conference, 2017
Proceedings of the 23rd IEEE International Conference on Parallel and Distributed Systems, 2017
2016
Role-Based Integrated Access Control and Data Provenance for SOA Based Net-Centric Systems.
IEEE Trans. Serv. Comput., 2016
Ann. Math. Artif. Intell., 2016
Proceedings of the 2016 IEEE Symposium on Service-Oriented System Engineering, 2016
Proceedings of the Tenth IEEE International Conference on Semantic Computing, 2016
Proceedings of the 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2016
Proceedings of the IEEE International Conference on Web Services, 2016
Proceedings of the 2016 IEEE International Conference on Image Processing, 2016
Proceedings of the 9th IEEE International Conference on Cloud Computing, 2016
2015
Proceedings of the Twelfth IEEE International Symposium on Autonomous Decentralized Systems, 2015
A Smart Physical World Based on Service Technologies, Big Data, and Game-Based Crowd Sourcing.
Proceedings of the 2015 IEEE International Conference on Web Services, 2015
Proceedings of the 2015 IEEE International Conference on Web Services, 2015
An Access and Information Flow Control Paradigm for Secure Information Sharing in Service-Based Systems.
Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015
2014
Int. J. Artif. Intell. Tools, 2014
Proceedings of the 2014 IEEE International Conference on Image Processing, 2014
Proceedings of the 2014 IEEE International Conference on Image Processing, 2014
2013
Data Placement in P2P Data Grids Considering the Availability, Security, Access Performance and Load Balancing.
J. Grid Comput., 2013
Proceedings of the Fifth International Conference on Service Science and Innovation, 2013
Proceedings of the 2013 IEEE Sixth International Conference on Cloud Computing, Santa Clara, CA, USA, June 28, 2013
2012
Optimization models for assessing the peak capacity utilization of intelligent transportation systems.
Eur. J. Oper. Res., 2012
Proceedings of the 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2012
Proceedings of the 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2012
Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012
Proceedings of the 14th International IEEE Symposium on High-Assurance Systems Engineering, 2012
Proceedings of the 15th IEEE International Conference on Computational Science and Engineering, 2012
2011
Role-based integrated access control and data provenance for SOA based net-centric systems.
Proceedings of the IEEE 6th International Symposium on Service Oriented System Engineering, 2011
Proceedings of the 5th IEEE International Conference on Semantic Computing (ICSC 2011), 2011
A Highly Resilient Framework for Autonomous Robotic Swarm Systems Operating in Unknown, Hostile Environments.
Proceedings of the 10th International Symposium on Autonomous Decentralized Systems, 2011
Simple and Fast Strong Cyclic Planning for Fully-Observable Nondeterministic Planning Problems.
Proceedings of the IJCAI 2011, 2011
Proceedings of the IEEE 23rd International Conference on Tools with Artificial Intelligence, 2011
Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011
Proceedings of the IEEE International Conference on Cloud Computing, 2011
2010
Serv. Oriented Comput. Appl., 2010
Proceedings of the 29th IEEE Symposium on Reliable Distributed Systems (SRDS 2010), New Delhi, Punjab, India, October 31, 2010
A Framework for QoS and Power Management in a Service Cloud Environment with Mobile Devices.
Proceedings of the Fifth IEEE International Symposium on Service-Oriented System Engineering, 2010
Proceedings of the Fifth IEEE International Symposium on Service-Oriented System Engineering, 2010
Proceedings of the 6th World Congress on Services, 2010
Proceedings of the 6th World Congress on Services, 2010
Proceedings of the 4th IEEE International Conference on Semantic Computing (ICSC 2010), 2010
Proceedings of the 16th IEEE International Conference on Parallel and Distributed Systems, 2010
Proceedings of the 16th IEEE International Conference on Parallel and Distributed Systems, 2010
Proceedings of the 12th IEEE High Assurance Systems Engineering Symposium, 2010
2009
Extending service model to build an effective service composition framework for cyber-physical systems.
Proceedings of the IEEE International Conference on Service-Oriented Computing and Applications, 2009
Proceedings of the 3rd IEEE International Conference on Semantic Computing (ICSC 2009), 2009
Optimal Adaptive System Health Monitoring and Diagnosis for Resource Constrained Cyber-Physical Systems.
Proceedings of the ISSRE 2009, 2009
Proceedings of the International Symposium on Autonomous Decentralized Systems (ISADS 2009), 2009
Proceedings of the ICTAI 2009, 2009
Toward a Smart Cyber-Physical Space: A Context-Sensitive Resource-Explicit Service Model.
Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009
2008
Empirical Assessment of Machine Learning Based Software Defect Prediction Techniques.
Int. J. Artif. Intell. Tools, 2008
Computer, 2008
Proceedings of the IEEE International Conference on Sensor Networks, 2008
Proceedings of the 2008 IEEE World Congress on Services, 2008
Proceedings of the 2th IEEE International Conference on Semantic Computing (ICSC 2008), 2008
Proceedings of the 14th IEEE Pacific Rim International Symposium on Dependable Computing, 2008
Proceedings of the 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2008), 2008
Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium, 2008
Automated Discovery of Loop Invariants for High-Assurance Programs Synthesized Using AI Planning Techniques.
Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium, 2008
Proceedings of the Ninth Mexican International Conference on Computer Science, 2008
Proceedings of the 4th annual workshop on Cyber security and information intelligence research, 2008
Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008
2007
IEEE Trans. Knowl. Data Eng., 2007
Softw. Qual. J., 2007
Evaluating Dependable Distributed Storage Systems.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2007
Proceedings of the Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs, 2007
An Optimization Model for Rigorously Assessing Efficient Heuristics for Traffic Coordination at Intersections.
Proceedings of the IEEE Intelligent Transportation Systems Conference, 2007
Proceedings of the Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), 2007
Proceedings of the Embedded and Ubiquitous Computing, International Conference, 2007
Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007
Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007
2006
IEEE Trans. Knowl. Data Eng., 2006
Int. J. Softw. Eng. Knowl. Eng., 2006
Proceedings of the IEEE International Conference on Sensor Networks, 2006
Proceedings of the 2006 International Workshop on Service Oriented Software Engineering (IW-SOSE '06), 2006
Proceedings of the Ninth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2006), 2006
Proceedings of the 18th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2006), 2006
Proceedings of the 18th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2006), 2006
Proceedings of the 18th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2006), 2006
Proceedings of the Seventh Mexican International Conference on Computer Science, 2006
2005
Automated Aspect-Oriented Decomposition of Process-Control Systems for Ultra-High Dependability Assurance.
IEEE Trans. Software Eng., 2005
A study of the model and algorithms for handling location-dependent continuous queries.
Knowl. Inf. Syst., 2005
Proceedings of the 2005 IEEE International Workshop on Service-Oriented System Engineering (SOSE 2005), 2005
Meta Code Pattern and Its Refinement.
Proceedings of the International Conference on Software Engineering Research and Practice, 2005
A Formal Foundation of Code Pattern Based Development.
Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 2005
Toward a UML Profile to Support Component-Based Distributed Adaptive Systems.
Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 2005
An Object-Oriented Modeling Learning Support System With Inspection Comments.
Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 2005
Proceedings of the 11th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2005), 2005
Proceedings of the Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2005), 2005
Proceedings of the 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), 2005
Proceedings of the 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), 2005
Proceedings of the 11th International Conference on Parallel and Distributed Systems, 2005
2004
Systematic Reliability Analysis of a Class of Application-Specific Embedded Software Frameworks.
IEEE Trans. Software Eng., 2004
Int. J. Softw. Eng. Knowl. Eng., 2004
A dynamically growing self-organizing tree (DGSOT) for hierarchical clustering gene expression profiles.
Bioinform., 2004
Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004
Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004
Proceedings of the 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2004), 2004
An Effective Support Vector Machines (SVMs) Performance Using Hierarchical Clustering.
Proceedings of the 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2004), 2004
Decomposition of Fairness and Performance Aspects for High-Assurance Continuous Process-Control Systems.
Proceedings of the 8th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2004), 2004
Proceedings of the 8th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2004), 2004
2003
Automated Software Design of Process-Control Systems.
Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2003), 2003
Relational Program Architecture for High Quality Software Development.
Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2003), 2003
Composition Analysis of QoS Properties for Adaptive Integration of Embedded Software Components.
Proceedings of the 14th International Symposium on Software Reliability Engineering (ISSRE 2003), 2003
Proceedings of the 14th International Symposium on Software Reliability Engineering (ISSRE 2003), 2003
Code Parameterization for Satisfaction of QoS Requirements in Embedded Software.
Proceedings of the International Conference on Engineering of Reconfigurable Systems and Algorithms, June 23, 2003
2002
Int. J. Softw. Eng. Knowl. Eng., 2002
Proceedings of the 13th International Symposium on Software Reliability Engineering (ISSRE 2002), 2002
Proceedings of the 5th International Symposiun on Object Oriented Real-Time Distributed Computing, 2002
An Architecture-Based Comparison of Verification and Statistical Reliability Assessment Methods for Embedded Software Systems.
Proceedings of the 5th International Symposiun on Object Oriented Real-Time Distributed Computing, 2002
Proceedings of the 14th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2002), 2002
Proceedings of the 14th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2002), 2002
2001
Design of Multi-Invariant Data Structures for Robust Shared Accesses in Multiprocessor Systems.
IEEE Trans. Software Eng., 2001
Introducing the New Editor-in-Chief of the IEEE Transactions on Knowledge and Data Engineering.
IEEE Trans. Knowl. Data Eng., 2001
Proceedings of the 20th Symposium on Reliable Distributed Systems (SRDS 2001), 2001
Reliability of Systems of Independently Developable End-User Assessable Logical (IDEAL) Programs.
Proceedings of the 12th International Symposium on Software Reliability Engineering (ISSRE 2001), 2001
Proceedings of the 13th IEEE International Conference on Tools with Artificial Intelligence, 2001
Proceedings of the 6th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2001), 2001
Proceedings of the 25th International Computer Software and Applications Conference (COMPSAC 2001), 2001
2000
Proceedings of the 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 2000
Proceedings of the 24th International Computer Software and Applications Conference (COMPSAC 2000), 2000
1999
Relational Programs: An Architecture for Robust Real-Time Safety-Critical Process-Control Systems.
Ann. Softw. Eng., 1999
1998
IEEE Trans. Knowl. Data Eng., 1998
1997
IEEE Trans. Knowl. Data Eng., 1997
High-Assurance Systems (Introduction to the Special Section).
Commun. ACM, 1997
Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems (WORDS '97), 1997
Proceedings of the 21st International Computer Software and Applications Conference (COMPSAC '97), 1997
1996
Proceedings of WORDS'96. The Second Workshop on Object-Oriented Real-Time Dependable Systems, 1996
Efficient Monte Carlo Method for Generating Random Test Data from Irregular Test Regions".
Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering, 1996
On reducing the sensitivity of software reliability to variations in the operational profile.
Proceedings of the Seventh International Symposium on Software Reliability Engineering, 1996
Proceedings of the 1st High-Assurance Systems Engineering Workshop (HASE '96), 1996
1995
IEEE Trans. Knowl. Data Eng., 1995
J. Parallel Distributed Comput., 1995
On efficiently tolerating general failures in autonomous decentralized multiserver systems.
Proceedings of the Second International Symposium on Autonomous Decentralized Systems, 1995
Proceedings of IPPS '95, 1995
Proceedings of the 19th International Computer Software and Applications Conference (COMPSAC'95), 1995
1994
IEEE Trans. Software Eng., 1994
Proceedings of WORDS '94. The First Workshop on Object-Oriented Real-Time Dependable Systems, 1994
Proceedings of the 5th International Symposium on Software Reliability Engineering, 1994
Proceedings of the 8th International Symposium on Parallel Processing, 1994
Systematic Incorporation of Efficient Fault Tolerance in Systems of Cooperating Parallel Programs.
Proceedings of the Digest of Papers: FTCS/24, 1994
1993
Int. J. Softw. Eng. Knowl. Eng., 1993
IEEE Parallel Distributed Technol. Syst. Appl., 1993
Reliability of uniprocessor and multiprocessor real-time artificial intelligence planning systems.
Proceedings of the Fourth International Symposium on Software Reliability Engineering, 1993
A hybrid architecture for mobile robots based on decentralized, parallel path planning.
Proceedings of the International Symposium on Autonomous Decentralized Systems, 1993
Proceedings of the International Symposium on Autonomous Decentralized Systems, 1993
Proceedings of the Seventh International Parallel Processing Symposium, 1993
Experimental Evaluation of a Fuzzy-Set Based Measure of Software Correctness Using Program Mutation.
Proceedings of the 15th International Conference on Software Engineering, 1993
1992
Guest Editors' Introduction: Self-Organizing Knowledge and Data Representation in Distributed Environment.
IEEE Trans. Knowl. Data Eng., 1992
Proceedings of the 6th International Parallel Processing Symposium, 1992
Algorithmic Mapping of Neural Networks with Multiactivation Production Units onto SIMD Machines.
Proceedings of the Fourth International Conference on Tools with Artificial Intelligence, 1992
Proceedings of the Sixteenth Annual International Computer Software and Applications Conference, 1992
1991
Comput. J., 1991
Proceedings of the Fifth International Parallel Processing Symposium, Proceedings, Anaheim, California, USA, April 30, 1991
Proceedings of the Third International Conference on Tools for Artificial Intelligence, 1991
Proceedings of the Third International Conference on Tools for Artificial Intelligence, 1991
1990
Proceedings of the Fourteenth Annual International Computer Software and Applications Conference, 1990
1989
Performance Analysis of Periodic and Concurrent Data Structure Maintenance Strategies for Network Servers.
IEEE Trans. Software Eng., 1989
1988
IEEE Trans. Software Eng., 1988
Neural Networks, 1988
Comput. J., 1988
Proceedings of the First International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems, 1988
1987
Computer, 1987
Commun. ACM, 1987
Proceedings of the Third International Conference on Data Engineering, 1987
Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow, 1987
Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow, 1987
1986
Performance Analysis of Concurrent Maintenance Policies for Servers in a Distributed Environment.
Proceedings of the Fall Joint Computer Conference, November 2-6, 1986, Dallas, Texas, USA, 1986
1985
IEEE Trans. Software Eng., 1985
IEEE Trans. Software Eng., 1985
1984
IEEE Trans. Software Eng., 1984
1982
1981
Application of a Methodology for the Development and Validation of Reliable Process Control Software.
IEEE Trans. Software Eng., 1981
1979
On A Systematic Approach to the Development and Validation of Critical Software for Nuclear Power Plants.
Proceedings of the 4th International Conference on Software Engineering, 1979