Juliana Küster Filipe Bowles

According to our database1, Juliana Küster Filipe Bowles
  • authored at least 46 papers between 1998 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
A Flexible Approach for Finding Optimal Paths with Minimal Conflicts.
CoRR, 2017

Correct Composition of Dephased Behavioural Models.
CoRR, 2017

A Verified Algorithm Enumerating Event Structures.
CoRR, 2017

A Verified Algorithm Enumerating Event Structures.
Proceedings of the Intelligent Computer Mathematics - 10th International Conference, 2017

Formal Verification of CNL Health Recommendations.
Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

Correct Composition of Dephased Behavioural Models.
Proceedings of the Formal Aspects of Component Software - 14th International Conference, 2017

2016
Avoiding Medication Conflicts for Patients with Multimorbidities.
Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

Model checking cancer automata.
Proceedings of the 2016 IEEE-EMBS International Conference on Biomedical and Health Informatics, 2016

Mind the Gap: Addressing Behavioural Inconsistencies with Formal Methods.
Proceedings of the 23rd Asia-Pacific Software Engineering Conference, 2016

Weaving True-Concurrent Aspects Using Constraint Solvers.
Proceedings of the 16th International Conference on Application of Concurrency to System Design, 2016

2015
A Logical Approach for Behavioural Composition of Scenario-Based Models.
Proceedings of the Formal Methods and Software Engineering, 2015

2014
On Distributed Stochastic Logics for Mobile Systems.
Proceedings of the Logic, Language, Information, and Computation, 2014

Matching and Merging Scenarios Automatically with Alloy.
Proceedings of the Model-Driven Engineering and Software Development, 2014

Automated Composition of Sequence Diagrams via Alloy.
Proceedings of the MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7, 2014

A Strongly Consistent Transformation from UML Interactions to PEPA Nets.
Proceedings of the Computational Science and Its Applications - ICCSA 2014 - 14th International Conference, Guimarães, Portugal, June 30, 2014

2012
Strongly consistent transformation of partial scenarios.
ACM SIGSOFT Software Engineering Notes, 2012

Parametric Transformations for Flexible Analysis.
Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

2010
Preface.
Electr. Notes Theor. Comput. Sci., 2010

Synthesising PEPA nets from IODs for performance analysis.
Proceedings of the first joint WOSP/SIPEW International Conference on Performance Engineering, 2010

Formal Transformation from Sequence Diagrams to Coloured Petri Nets.
Proceedings of the 17th Asia Pacific Software Engineering Conference, 2010

2009
Preface.
Electr. Notes Theor. Comput. Sci., 2009

2008
When Things Go Wrong: Interrupting Conversations.
Proceedings of the Fundamental Approaches to Software Engineering, 2008

2007
Concurrent Logic and Automata Combined: A Semantics for Components.
Electr. Notes Theor. Comput. Sci., 2007

Preface.
Electr. Notes Theor. Comput. Sci., 2007

A Formal Model for Integrating Multiple Views.
Proceedings of the Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 2007

2006
Modelling concurrent interactions.
Theor. Comput. Sci., 2006

On a time enriched OCL liveness template.
STTT, 2006

Decomposing Interactions.
Proceedings of the Algebraic Methodology and Software Technology, 2006

Modelling Mobility with UML2.0 and PEPA Nets.
Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 2006

2005
Preface.
Electr. Notes Theor. Comput. Sci., 2005

Combining Sequence Diagrams and OCL for Liveness.
Electr. Notes Theor. Comput. Sci., 2005

The Effects of Timing and Collaboration on Dependability in the Neonatal Intensive Care Unit.
Proceedings of the Constituents of Modern System-safety Thinking, 2005

2004
Preface.
Electr. Notes Theor. Comput. Sci., 2004

Formalizing Liveness-Enriched Sequence Diagrams Using ASMs.
Proceedings of the Abstract State Machines 2004. Advances in Theory and Practice, 2004

Modelling Concurrent Interactions.
Proceedings of the Algebraic Methodology and Software Technology, 2004

2003
Guaranteeing Temporal Validity with a Real-Time Logic of Knowledg.
Proceedings of the 23rd International Conference on Distributed Computing Systems Workshops (ICDCS 2003 Workshops), 2003

Giving Life to Agent Interactions.
Proceedings of the Objects, 2003

2002
A logic-based formalization for component specification.
Journal of Object Technology, 2002

Limits in modelling evolving computer-based systems.
Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), 2002

Enriching OCL Using Observational Mu-Calculus.
Proceedings of the Fundamental Approaches to Software Engineering, 2002

2000
Foundations of a module concept for distributed object systems.
PhD thesis, 2000

Fundamentals of Module Logic for Distributed Object Systems.
Journal of Functional and Logic Programming, 2000

Optimizing Protocol Rewrite Rules of CIL Specifications.
Proceedings of the 13th IEEE Computer Security Foundations Workshop, 2000

Formal specification of Catalysis frameworks.
Proceedings of the 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 2000

1999
On Dynamic Aspects of OOD Frameworks in Component-Based Software Development in Computational Logic.
Proceedings of the Logic Programming Synthesis and Transformation, 1999

1998
The TROLL Approach to Conceptual Modeling: Syntax, Semantics and Tools.
Proceedings of the Conceptual Modeling, 1998


  Loading...