9 citations · 11 across the 3 of their papers we have counts for
4 papers
On the Uniform Distribution of Regular Expressions
Sabine Broda, António Machiavelo, Nelma Moreira +1
Although regular expressions do not correspond univocally to regular languages, it is still worthwhile to study their properties and algorithms. For the average case analysis one o…
The G-ACM Tool: using the Drools Rule Engine for Access Control Management
João Sá, Sandra Alves, Sabine Broda
In this paper we explore the usage of rule engines in a graphical framework for visualising dynamic access control policies. We use the Drools rule engine to dynamically compute pe…
Partial Derivative Automaton for Regular Expressions with Shuffle
Sabine Broda, António Machiavelo, Nelma Moreira +1
We generalize the partial derivative automaton to regular expressions with shuffle and study its size in the worst and in the average case. The number of states of the partial deri…
Deciding KAT and Hoare Logic with Derivatives
Ricardo Almeida, Sabine Broda, Nelma Moreira
Kleene algebra with tests (KAT) is an equational system for program verification, which is the combination of Boolean algebra (BA) and Kleene algebra (KA), the algebra of regular e…