Stem regulatori$ (all stems)

28 papers:

TACAS-2015-GiacobbeGGHPP #model checking #network

Model Checking Gene Regulatory Networks (MG, CCG, AG, TAH, TP, TP), pp. 469–483.

CAiSE-2015-PalmieriCA #product line

Handling Regulatory Goal Model Families as Software Product Lines (AP, PC, DA), pp. 181–196.

MoDELS-2015-SunkleKK #case study #modelling

Model-driven regulatory compliance: A case study of “Know Your Customer” regulations (SS, DK, VK), pp. 436–445.

CAV-2015-FisherKPW #execution #network

Synthesising Executable Gene Regulatory Networks from Single-Cell Gene Expression Data (JF, ASK, NP, SW), pp. 544–560.

RE-2014-IngolfoSM #reasoning #requirements

Nòmos 3: Reasoning about regulatory compliance of requirements (SI, AS, JM), pp. 313–314.

RE-2014-MasseyRAS #ambiguity #identification #requirements

Identifying and classifying ambiguity for regulatory requirements (AKM, RLR, AIA, PPS), pp. 83–92.

REFSQ-2014-SannierB #analysis #approach #modelling #named #requirements

INCREMENT: A Mixed MDE-IR Approach for Regulatory Requirements Modeling and Analysis (NS, BB), pp. 135–151.

VMCAI-2014-AcunaAMS #approach #complexity #heuristic #modelling #network

Modeling Parsimonious Putative Regulatory Networks: Complexity and Heuristic Approach (VA, AA, AM, AS), pp. 322–336.

RE-2013-Gordon #requirements

The regulatory world and the machine: Harmonizing legal requirements and the systems they affect (DGG), pp. 381–384.

RE-2013-GordonB #modelling #requirements

Assessing regulatory change through legal requirements coverage modeling (DGG, TDB), pp. 145–154.

REFSQ-2013-BreauxG #analysis #requirements #specification #traceability #using

Regulatory Requirements Traceability and Analysis Using Semi-formal Specifications (TDB, DGG), pp. 141–157.

RE-2012-MaxwellAS #evolution #predict #requirements

Managing changing compliance requirements by predicting regulatory evolution (JCM, AIA, PPS), pp. 101–110.

RE-2012-TawhidBCAMSABR #security #towards

Towards outcome-based regulatory compliance in aviation security (RT, EB, NC, MA, GM, AS, DA, SAB, GR), pp. 267–272.

CAV-2012-GuetGHMS #markov #search-based

Delayed Continuous-Time Markov Chains for Genetic Regulatory Circuits (CCG, AG, TAH, MM, AS), pp. 294–309.

EDOC-2011-KharbiliMKP #modelling #named

CoReL: Policy-Based and Model-Driven Regulatory Compliance Management (MEK, QM, PK, EP), pp. 247–256.

CAV-2011-GrosuBFGGSB #network #search-based

From Cardiac Cells to Genetic Regulatory Networks (RG, GB, FHF, JG, CLG, SAS, EB), pp. 396–411.

CAiSE-2010-AbdullahSI #challenge #information management #research

Emerging Challenges in Information Systems Research for Regulatory Compliance Management (NSA, SWS, MI), pp. 251–265.

ICSE-2010-Cleland-HuangCGE #approach #machine learning #requirements

A machine learning approach for tracing regulatory codes to product specific requirements (JCH, AC, MG, JE), pp. 155–164.

SAC-2009-KontosB #modelling #network #visual notation

An improved shrinkage estimator to infer regulatory networks with Gaussian graphical models (KK, GB), pp. 793–798.

SAC-2009-SherminO #network #using

Using dynamic bayesian networks to infer gene regulatory networks from expression profiles (AS, MAO), pp. 799–803.

EDOC-2008-Fabry #database #requirements

Database Vault: Enforcing Separation of Duties to Meet Regulatory Compliance Requirements (HWF).

VLDB-2007-SionW #data transformation

Regulatory-Compliant Data Management (RS, MW), pp. 1433–1434.

TACAS-2007-BattBW #liveness #model checking #network #search-based

Model Checking Liveness Properties of Genetic Regulatory Networks (GB, CB, RW), pp. 323–338.

VLDB-2006-MitraHW #keyword

Trustworthy Keyword Search for Regulatory-Compliant Record Retention (SM, WWH, MW), pp. 1001–1012.

RE-2006-BreauxVA #requirements #towards

Towards Regulatory Compliance: Extracting Rights and Obligations to Align Requirements with Regulations (TDB, MWV, AIA), pp. 46–55.

SAC-2006-MaC #algorithm #array #data mining #mining #network #novel

A novel data mining algorithm for reconstructing gene regulatory networks from microarray data (PCHM, KCCC), pp. 202–203.

KDD-2000-Senator #case study #detection #information management #scalability

Ongoing management and application of discovered knowledge in a large regulatory organization: a case study of the use and impact of NASD Regulation’s Advanced Detection System (RADS) (TES), pp. 44–53.

HCI-CC-1997-Silva #interactive #named

Apoptosis: A Regulatory Model of Interaction (ARFdS), pp. 717–720.