Muhammad Rizwan A. Profile

OBJEVUJTE

0,0

(0 recenze)

Nyní sledujete

Chyba při sledování uživatele.

Tento uživatel neumožňuje ostatním uživatelům, aby jej sledovali.

Tohoto uživatele již sledujete.

Váš členský plán povoluje pouze 0 sledovaných. Aktualizujte zde.

Úspěšně odebráno sledování

Při rušení sledování uživatele došlo k chybě.

Úspěšně jste doporučili uživatele

Chyba při doporučování uživatele.

Došlo k chybě. Obnovte stránku a zkuste to znovu.

E-mail byl úspěšně ověřen.

$10 USD / hodinu

bergen,

norway

$10 USD / hodinu

Aktuálně je zde 11:37 dop.

Připojil se prosince 10, 2019

0 Doporučení

Muhammad Rizwan A.

@razihvl

0,0

(0 recenze)

0,0

$10 USD / hodinu

bergen,

norway

$10 USD / hodinu

Nedostupné

Úspěšně realizované projekty

Nedostupné

V rámci rozpočtu

Nedostupné

Včas

Nedostupné

Poměr opětovného zaměstnání

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.

Zobrazit všechny C Programmers v Norway

Kontaktujte Muhammad Rizwan A. ohledně vaší práce

Přihlaste se a proberte všechny podrobnosti prostřednictvím chatu.

Recenze

Změny byly uloženy

K dispozici nejsou žádné recenze.

Zkušenosti

Høgskolen i Bergen

říj 2019 - Současnost

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

zář 2014 - říj 2019 (5 roků, 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.

Vzdělání

PhD

Høgskolen i Bergen,

Norway

2019 - 2024

(5 roků)

MS Computer Science

COMSATS Institute of Information Technology,

Pakistan

2015 - 2017

(2 roky)

BS Computer Science

University of the Punjab, Lahore,

Pakistan

2010 - 2014

(4 roky)

Kvalifikace

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.

Publikace

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.