https://alessandro-pinto.github.io/2030-06-01T13:00:00+00:00weeklyhttps://alessandro-pinto.github.io/talk/example-talk/2030-06-01T13:00:00+00:00weeklyhttps://alessandro-pinto.github.io/event/2030-06-01T13:00:00+00:00weekly2025-10-28T00:00:00+00:00weeklyhttps://alessandro-pinto.github.io/publication-type/1/2025-10-28T00:00:00+00:00weeklyhttps://alessandro-pinto.github.io/publication-type/2/2025-10-28T00:00:00+00:00weekly2025-10-28T00:00:00+00:00weeklyhttps://alessandro-pinto.github.io/publication/aiaa2025_schueller/2025-10-28T00:00:00+00:00weeklyhttps://alessandro-pinto.github.io/publication/lca_2025/2025-10-28T00:00:00+00:00weekly2025-10-28T00:00:00+00:00weekly2025-10-28T00:00:00+00:00weekly2025-10-28T00:00:00+00:00weekly2025-10-28T00:00:00+00:00weeklyhttps://alessandro-pinto.github.io/publication_types/2025-10-28T00:00:00+00:00weeklyhttps://alessandro-pinto.github.io/publication/2025-10-28T00:00:00+00:00weeklyhttps://alessandro-pinto.github.io/publication/early_dse_aerospace_2025/2025-03-25T00:00:00+00:00weekly2025-03-25T00:00:00+00:00weekly2025-03-25T00:00:00+00:00weekly2024-12-16T00:00:00+00:00weekly2024-12-16T00:00:00+00:00weekly2024-12-16T00:00:00+00:00weeklyhttps://alessandro-pinto.github.io/publication/cdc-2024-1/2024-12-16T00:00:00+00:00weeklyhttps://alessandro-pinto.github.io/publication/cdc-2024-2/2024-12-16T00:00:00+00:00weekly2024-12-16T00:00:00+00:00weeklyhttps://alessandro-pinto.github.io/publication/hhcn_req_2024/2024-10-22T00:00:00+00:00weeklyhttps://alessandro-pinto.github.io/publication/aace_2023/2023-11-10T00:00:00+00:00weekly2023-11-10T00:00:00+00:00weekly2023-11-10T00:00:00+00:00weekly2023-11-10T00:00:00+00:00weekly2023-11-10T00:00:00+00:00weekly2023-11-10T00:00:00+00:00weekly2023-11-10T00:00:00+00:00weekly2023-11-10T00:00:00+00:00weekly2023-11-10T00:00:00+00:00weekly2023-11-10T00:00:00+00:00weeklyhttps://alessandro-pinto.github.io/publication/ac_gen_sassur_2023/2023-09-19T00:00:00+00:00weeklyhttps://alessandro-pinto.github.io/publication-type/4/2023-07-31T08:31:39-07:00weeklyhttps://alessandro-pinto.github.io/publication/survey-hms-2023/2023-07-31T08:31:39-07:00weekly2023-05-29T17:25:47-07:00weekly2023-05-29T17:25:47-07:00weeklyhttps://alessandro-pinto.github.io/publication/pinto-icaa-2023/2023-05-29T17:25:47-07:00weeklyhttps://alessandro-pinto.github.io/publication/smcit-2023/2023-05-29T17:09:53-07:00weeklyhttps://alessandro-pinto.github.io/publication/feather-icaa-2023-2/2023-05-29T13:12:39-07:00weekly2023-05-29T13:12:39-07:00weeklyhttps://alessandro-pinto.github.io/publication-type/6/2022-07-18T10:03:19-07:00weeklyhttps://alessandro-pinto.github.io/publication/pinto-analysis-2022/2022-07-18T10:03:19-07:00weeklyhttps://alessandro-pinto.github.io/publication/wang-hierarchical-2022/2022-07-18T10:03:21-07:00weekly2022-07-18T10:03:21-07:00weekly2022-07-18T10:03:15-07:00weeklyhttps://alessandro-pinto.github.io/publication/bhatia-automated-2021/2022-07-18T10:03:15-07:00weeklyhttps://alessandro-pinto.github.io/publication/pinto-requirement-2021/2022-07-18T10:03:17-07:00weeklyhttps://alessandro-pinto.github.io/tag/academic/2020-12-13T00:00:00+00:00weekly2020-12-13T00:00:00+00:00weeklyhttps://alessandro-pinto.github.io/categories/2020-12-13T00:00:00+00:00weeklyhttps://alessandro-pinto.github.io/category/demo/2020-12-13T00:00:00+00:00weeklyhttps://alessandro-pinto.github.io/post/2020-12-13T00:00:00+00:00weeklyhttps://alessandro-pinto.github.io/tags/2020-12-13T00:00:00+00:00weeklyhttps://alessandro-pinto.github.io/post/getting-started/2020-12-13T00:00:00+00:00weekly2020-12-13T00:00:00+00:00weeklyhttps://alessandro-pinto.github.io/tag/%E5%BC%80%E6%BA%90/2020-12-13T00:00:00+00:00weeklyhttps://alessandro-pinto.github.io/category/%E6%95%99%E7%A8%8B/2020-12-13T00:00:00+00:00weeklyhttps://alessandro-pinto.github.io/slides/2019-02-05T00:00:00+00:00weeklyhttps://alessandro-pinto.github.io/slides/example/2019-02-05T00:00:00+00:00weeklyhttps://alessandro-pinto.github.io/publication/pinto-open-2019/2022-07-18T10:03:13-07:00weeklyhttps://alessandro-pinto.github.io/publication/jha-explaining-2019/2022-07-18T10:03:12-07:00weekly2022-07-18T10:03:12-07:00weekly2022-07-18T10:03:12-07:00weekly2022-07-18T10:03:12-07:00weekly2022-07-18T10:03:12-07:00weekly2022-07-18T11:51:27-07:00weeklyhttps://alessandro-pinto.github.io/publication/pinto-csl-4-p-2017/2022-07-18T10:03:08-07:00weeklyhttps://alessandro-pinto.github.io/publication/jha-learning-2017/2022-07-18T10:03:10-07:00weeklyhttps://alessandro-pinto.github.io/publication/srivastava-metaphysics-2015/2022-07-18T10:03:06-07:00weekly2022-07-18T10:03:06-07:00weekly2022-07-18T10:03:06-07:00weekly2022-07-18T10:03:05-07:00weekly2022-07-18T10:03:05-07:00weekly2022-07-18T10:03:05-07:00weeklyhttps://alessandro-pinto.github.io/publication/pinto-computing-2014/2022-07-18T10:03:03-07:00weekly2022-07-18T10:03:03-07:00weeklyhttps://alessandro-pinto.github.io/publication/ding-hierarchical-2014/2022-07-18T10:03:05-07:00weekly2022-07-18T10:03:05-07:00weeklyhttps://alessandro-pinto.github.io/publication/guo-complexity-2013/2022-07-18T10:02:59-07:00weekly2022-07-18T10:02:59-07:00weekly2022-07-18T10:02:59-07:00weeklyhttps://alessandro-pinto.github.io/publication/ding-strategic-2013/2022-07-18T10:02:57-07:00weekly2022-07-18T10:02:57-07:00weekly2022-07-18T10:02:56-07:00weeklyhttps://alessandro-pinto.github.io/publication/xu-correct-by-construction-2012/2022-07-18T10:03:01-07:00weekly2022-07-18T10:02:56-07:00weeklyhttps://alessandro-pinto.github.io/publication/pinto-methods-2012/2022-07-18T10:02:54-07:00weekly2022-07-18T10:03:01-07:00weekly2022-07-18T10:03:01-07:00weeklyhttps://alessandro-pinto.github.io/publication/cherepinsky-stringent-2012/2022-07-18T10:02:56-07:00weekly2022-07-18T10:02:48-07:00weeklyhttps://alessandro-pinto.github.io/publication/mozumdar-hierarchical-2011/2022-07-18T10:02:41-07:00weekly2022-07-18T10:02:41-07:00weekly2022-07-18T10:02:48-07:00weekly2022-07-18T10:02:46-07:00weekly2022-07-18T10:02:52-07:00weekly2022-07-18T10:02:48-07:00weekly2022-07-18T10:02:48-07:00weekly2022-07-18T10:02:46-07:00weekly2022-07-18T10:02:48-07:00weekly2022-07-18T11:51:27-07:00weekly2022-07-18T10:02:41-07:00weekly2022-07-18T10:02:41-07:00weekly2022-07-18T10:02:48-07:00weekly2022-07-18T10:02:43-07:00weeklyhttps://alessandro-pinto.github.io/publication/maasoumy-model-based-2011/2022-07-18T10:02:43-07:00weekly2022-07-18T10:02:46-07:00weeklyhttps://alessandro-pinto.github.io/publication/mathew-optimal-2011/2022-07-18T10:02:38-07:00weeklyhttps://alessandro-pinto.github.io/publication/cizelj-probabilistically-2011/2022-07-18T10:02:46-07:00weeklyhttps://alessandro-pinto.github.io/publication/banaszuk-scalable-2011/2022-07-18T10:02:48-07:00weeklyhttps://alessandro-pinto.github.io/publication/mathew-stochastic-2011/2022-07-18T10:02:50-07:00weeklyhttps://alessandro-pinto.github.io/publication/leonardi-synthesis-2011/2022-07-18T10:02:52-07:00weekly2022-07-18T10:02:48-07:00weekly2022-07-18T10:02:48-07:00weekly2022-07-18T10:02:46-07:00weeklyhttps://alessandro-pinto.github.io/publication/yang-design-2010/2022-07-18T10:02:31-07:00weeklyhttps://alessandro-pinto.github.io/publication/pinto-model-based-2010/2022-07-18T10:02:33-07:00weeklyhttps://alessandro-pinto.github.io/publication/surana-analysis-2010/2022-07-18T10:02:19-07:00weeklyhttps://alessandro-pinto.github.io/publication/pinto-correct-by-construction-2010/2022-07-18T10:02:22-07:00weeklyhttps://alessandro-pinto.github.io/publication/becz-design-2010/2022-07-18T10:02:24-07:00weeklyhttps://alessandro-pinto.github.io/publication/pinto-developing-2010/2022-07-18T10:02:26-07:00weekly2022-07-18T10:02:24-07:00weekly2022-07-18T10:02:24-07:00weeklyhttps://alessandro-pinto.github.io/publication/mathew-markov-2010/2022-07-18T10:02:29-07:00weekly2022-07-18T10:02:31-07:00weekly2022-07-18T10:02:24-07:00weekly2022-07-18T10:02:24-07:00weekly2022-07-18T10:02:33-07:00weekly2022-07-18T10:02:33-07:00weekly2022-07-18T10:02:31-07:00weeklyhttps://alessandro-pinto.github.io/publication/leonardi-case-2009/2022-07-18T10:02:15-07:00weeklyhttps://alessandro-pinto.github.io/publication/pinto-methodology-2009/2022-07-18T10:02:13-07:00weeklyhttps://alessandro-pinto.github.io/publication/carloni-accurate-2009/2022-07-18T10:02:36-07:00weekly2022-07-18T10:02:36-07:00weekly2022-07-18T10:02:36-07:00weekly2022-07-18T10:02:36-07:00weekly2022-07-18T10:02:36-07:00weeklyhttps://alessandro-pinto.github.io/publication/pinto-synthesis-2009/2022-07-18T10:02:17-07:00weekly2022-07-18T10:02:08-07:00weekly2022-07-18T10:02:11-07:00weeklyhttps://alessandro-pinto.github.io/publication/pinto-cosi-2008/2022-07-18T10:02:04-07:00weekly2022-07-18T10:02:11-07:00weeklyhttps://alessandro-pinto.github.io/publication/carloni-interconnect-2008/2022-07-18T10:02:06-07:00weekly2022-07-18T10:02:06-07:00weekly2022-07-18T10:02:08-07:00weekly2022-07-18T10:02:11-07:00weekly2022-07-18T10:02:08-07:00weeklyhttps://alessandro-pinto.github.io/publication/dangelo-outage-based-2008/2022-07-18T10:02:08-07:00weekly2022-07-18T10:02:06-07:00weeklyhttps://alessandro-pinto.github.io/publication/pinto-synthesis-2008/2022-07-18T10:02:11-07:00weeklyhttps://alessandro-pinto.github.io/publication/pinto-communication-2007/2022-07-18T10:01:59-07:00weeklyhttps://alessandro-pinto.github.io/publication/davare-next-generation-2007/2022-07-18T10:02:01-07:00weekly2022-07-18T10:02:01-07:00weekly2022-07-18T10:02:01-07:00weekly2022-07-18T10:02:01-07:00weekly2022-07-18T10:02:01-07:00weekly2022-07-18T10:02:01-07:00weekly2022-07-18T10:01:50-07:00weekly2022-07-18T10:01:50-07:00weeklyhttps://alessandro-pinto.github.io/publication/pinto-interchange-2006/2022-07-18T10:01:54-07:00weeklyhttps://alessandro-pinto.github.io/publication/pinto-interchange-2006-1/2022-07-18T10:01:57-07:00weeklyhttps://alessandro-pinto.github.io/publication/carloni-languages-2006/2022-07-18T10:01:52-07:00weekly2022-07-18T10:01:50-07:00weekly2022-07-18T10:01:57-07:00weeklyhttps://alessandro-pinto.github.io/publication/pinto-system-2006/2022-07-18T10:01:50-07:00weeklyhttps://alessandro-pinto.github.io/publication/balarin-formal-2005/2022-07-18T10:01:40-07:00weekly2022-07-18T10:01:47-07:00weekly2022-07-18T10:01:43-07:00weeklyhttps://alessandro-pinto.github.io/publication/sangiovanni-vincentelli-overview-2005/2022-07-18T10:01:38-07:00weeklyhttps://alessandro-pinto.github.io/publication/sangiovanni-vincentelli-embedded-2005/2022-07-18T10:01:43-07:00weekly2022-07-18T10:01:40-07:00weekly2022-07-18T10:01:47-07:00weeklyhttps://alessandro-pinto.github.io/publication/pinto-interchange-2005/2022-07-18T10:01:45-07:00weekly2022-07-18T10:01:47-07:00weeklyhttps://alessandro-pinto.github.io/publication/sprinkle-partitioning-2005/2022-07-18T10:01:47-07:00weekly2022-07-18T10:01:47-07:00weeklyhttps://alessandro-pinto.github.io/publication/pinto-efficient-2003/2022-07-18T10:01:36-07:00weeklyhttps://alessandro-pinto.github.io/publication/pinto-constraint-driven-2002/2022-07-18T11:51:27-07:00weekly