Muhammad Rizwan A. Profile

탐색

0.0

(0 건의 리뷰)

를 팔로우 했습니다.

팔로우 서비스의 지정 과정에서 문제가 발생하였습니다.

이 사용자의 경우에는 다른 사용자들의 팔로우 서비스를 허용하지 않고 있습니다.

이 사용자에 대한 팔로우 서비스를 이미 이용하고 계십니다.

고객님의 현재 멤버십 등급으로는 0 건까지만 팔로우가 가능합니다. 멤버십 서비스의 업그레이드는 여기에서 하시면 됩니다.

성공적으로 언팔로우했습니다

팔로우 서비스에 대한 지정 해제 과정에서 문제가 발생하였습니다.

님에 대한 고객님의 추천 절차가 모두 완료되었습니다.

사용자 추천 과정에서 문제가 발생하였습니다.

원인을 알 수 없는 문제가 발생하였습니다. 현재의 페이지에서 다시 읽기 버튼을 클릭하신 후에 재시도하여 주시기 바랍니다.

이메일에 대한 인증 절차가 완료되었습니다.

$10 USD / 시간

bergen,

norway

$10 USD / 시간

현지시간은 2:41 PM입니다

12월 10, 2019에 가입했습니다

0 추천

Muhammad Rizwan A.

@razihvl

0.0

(0 건의 리뷰)

0.0

$10 USD / 시간

bergen,

norway

$10 USD / 시간

해당 사항 없음.

작업 완료

해당 사항 없음.

예산 준수

해당 사항 없음.

기한 준수

해당 사항 없음.

재고용률

IBM-Certified Full Stack Developer, PhD Scholar

As an IBM-certified Full Stack Developer and academic with teaching and research experience, I specialize in bridging theoretical knowledge with practical expertise. With a forthcoming PhD, I bring a deep understanding of computer science principles to freelance projects, delivering innovative solutions that meet both academic rigour and industry standards.

C Programmers 분야의 전체 프리랜서 확인 (대상 국가: Norway)

직업에 관해 Muhammad Rizwan A.님에게 연락해보세요

채팅으로 자세한 내용을 논의하려면 로그인하세요.

리뷰

수정 사항에 대한 저장 완료

여기에는 더 확인하실 만한 리뷰 건이 없습니다!

경력

Høgskolen i Bergen

10월 2019 - 현재

At Høgskolen i Bergen, I am currently serving as a research fellow. During this tenure, I have made significant contributions, including the definition of Rpl, a Java-like formal modelling language for business workflows. Additionally, I have developed RplTool, a simulation and static analysis tool tailored for Rpl models. These endeavours showcase my commitment to advancing research and innovation within the field.

University of Central Punjab, Pakistan

9월 2014 - 10월 2019 (5 , 1 )

At UCP (2014-2019), as a Lecturer, I specialized in C++ and Java courses (ITC, PF, OOP, DSA, OOAD), supervised bachelor's projects, and engaged in administrative roles, enhancing academic and operational excellence.

교육

PhD

Høgskolen i Bergen,

Norway

2019 - 2024

(5 )

MS Computer Science

COMSATS Institute of Information Technology,

Pakistan

2015 - 2017

(2 )

BS Computer Science

University of the Punjab, Lahore,

Pakistan

2010 - 2014

(4 )

자격증

IBM

2023

I am also professionally certified by IBM, having successfully cleared the IBM Full Stack Software Developer Professional Certificate. This certification underscores my comprehensive skills and knowledge in full-stack development, further enhancing my technical expertise in this field.

출판물

A Static Analyser for Resource Sensitive Workflow Models

Lecture Notes in Computer Science, vol 13931. Springer

Cross-organizational workflows are complex and prone to negative impacts from minor modifications. This paper introduces a tool, RplTool, that enables planners to model and simulate these workflows using a resource-sensitive formal language. Equipped with a static analyzer, the tool approximates worst-case execution time, aiding decision-making to prevent deadline violations.

Petri Net based modeling and analysis for improved resource utilization in cloud computing

2021, PeerJ Computer Science

Cloud computing provides vast resources but faces challenges like data replication costs. CAROM, a hybrid system, combines replication and erasure codes to lower latency and bandwidth use. This research formally analyses the CAROM model and provides the first formal performance analysis, enhancing cloud resource utilization.

Towards a Resource-Aware Formal Modelling Language for Workflow Planning

Communications in Computer and Information Science, vol 1481, 2021, Springer.

In healthcare, digitalizing workflows is crucial. Yet, manual planning persists due to domain-specific knowledge needs. This paper proposes automating workflow planning using a resource-sensitive modelling language, enabling efficient cross-organizational workflow management through static analyses.

Cost Analysis for an Actor-Based Workflow Modelling Language

Foundations and Applications. SBMF 2021. Lecture Notes in Computer Science(), vol 13130. Springer

Workflow planning, often manual due to domain-specific knowledge requirements, faces challenges in cross-organizational settings. Minor changes can propagate adverse impacts. This paper introduces a resource-sensitive modelling language, aiding planners in estimating collaborative workflow changes' execution time costs. A proposed static analysis computes worst-case execution times, enhancing understanding and mitigating adverse effects.

Cost analysis for a resource sensitive workflow modelling language

Science of Computer Programming, volume 225, 2023

This paper introduces Rpl, a formal modelling language for analyzing cross-organizational workflows, addressing the challenge of minor changes causing significant impacts due to domain experts' limited view. Rpl features task dependencies, resource assessment, and execution deadlines, enabling analysts to estimate change effects on execution time. A proposed static analysis computes the worst-case execution time by translating Rpl models into cost equations, aiding in mitigating adverse impacts.