Muhammad Rizwan A. Profile

RAZIŠČI

0,0

(0 ocen)

ne sledite

Napaka pri sledenju uporabnika.

Ta uporabnik drugim uporabnikom ne dovoli, da mu sledijo.

Temu uporabniku že sledite.

Vaš paket članstva omogoča samo 0 sledenj. Nadgradite tukaj.

Sledenje je bilo uspešno preklicano

Napaka pri preklicu sledenja uporabnika.

Uspešno ste priporočili

Napaka pri priporočanju uporabnika.

Nekaj je šlo narobe. Osvežite stran in poskusite znova.

E-naslov uspešno verificiran.

$10 USD/uro

bergen,

norway

$10 USD/uro

Trenutno je 12:11 dop. tukaj

Datum pridružitve december 10, 2019

0 Priporočila

Muhammad Rizwan A.

@razihvl

0,0

(0 ocen)

0,0

$10 USD/uro

bergen,

norway

$10 USD/uro

Ni relevantno

Opravljeno delo

Ni relevantno

V okviru proračuna

Ni relevantno

Pravočasno

Ni relevantno

Stopnja ponovnega najema

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.

Glej vse C Programmers v Norway

Stopite v stik s/z Muhammad Rizwan A. glede vašega dela

Prijavite se, da se o podrobnostih pogovorite v klepetu.

Ocene

Spremembe shranjene

Tukaj ni nobenih ocen!

Izkušnje

Høgskolen i Bergen

okt. 2019 - Trenutno

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

sep. 2014 - okt. 2019 (5 let, 1 mesec)

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.

Izobrazba

PhD

Høgskolen i Bergen,

Norway

2019 - 2024

(5 let)

MS Computer Science

COMSATS Institute of Information Technology,

Pakistan

2015 - 2017

(2 leti)

BS Computer Science

University of the Punjab, Lahore,

Pakistan

2010 - 2014

(4 leta)

Kvalifikacije

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.

Publikacije

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.